25.09.2008

Compositional Specification, Verification and Runtime Validation of Semantic Web services

Distributed computing across enterprise boundaries has shifted from tightly coupled, monolithic, proprietary applications to loosely coupled, dynamically bound service based systems. The Semantic Web initiative on the other hand focuses on enriching data and service interfaces on the web with semantics through standards such as OWL-S, WSMO and WSDL-S. One of the most interesting and challenging task associated with Web services is their composition. In this talk we discuss current research problems facing service composition. We then propose:

1. An architecture based on a "Compositional" approach, for the specification, verification and runtime validation of reactive services and their composition.
2. A technique for runtime validation of service composition using an interpreter for, Tempura, an executable subset of Interval Temporal Logic (ITL).
3. "TeSCO-S": Temporal SemantiCs for OWL enabled Services, a framework along with tool support for enriching Web service interface specifications, described as OWL ontologies.