OWL and OWL-S for Dependability-Explicit Service-Centric Computing

In this position paper an attempt is made to relate dependability-explicit computing to the semantic web. The machine understandable nature of the semantic web suggests a way to reconcile the increasingly autonomous nature of service-based systems with the need to verify that, once deployed, systems conform to a dependability specification.