1. A computer program product embodied as a plurality of computer-executable instructions recorded on non-transitory computer readable media, said instructions, when executed by at least one computer system, causing the system to perform a method for evaluating degradation of service risk for a service provided by at least one digital data processing device, the method comprising: accessing recorded data in a service requirements specification for a service, said service being a service provided by a set of digital data processing resources on behalf of at least one client, said service requirements specification specifying a plurality of digital data processing resources required to provide said service; accessing recorded data in a configuration specification, said configuration specification specifying a configuration of digital data processing resources of a service provider available to provide said service on behalf of said at least one client; accessing recorded reliability data for digital data resources specified in said configuration specification; using said data in said service requirements specification, said data in said configuration specification, and said resource reliability data to automatically determine a risk of degradation of the service specified in said service requirements specification when provided by the configuration of digital data processing resources specified in said configuration specification; and providing results of said using said service requirements specification, said configuration specification, and said resource reliability data to automatically determine a risk of degradation of the service to a user; wherein using said data in said service requirements specification, said data in said configuration specification, and said resource reliability data to automatically determine a risk of degradation of the service specified in said service requirements specification when provided by the configuration of digital data processing resources specified in said configuration specification comprises: generating a plurality of resource states of resources identified in said configuration specification; pruning resource states which do not meet requirements of said service requirements specification; and using said resource reliability data to automatically assign a probability to unpruned resource states.