A Compositional Framework for the Specification, Verification and Runtime Validation of Reactive Web Services

The Specification and validation/verification of behavioural properties has remained one of the most widely researched themes in the domain of Web services. Current efforts however consider only "static” aspects of service behaviours. XML-based standards/Ontologies for services are limited to specifying interface predicates as precondition, effect or postcondition. These properties do not support specification of "ongoing behaviour” which is as important as the initial/final state properties, especially in the context of reactive Web services. Secondly, the development of most specification languages is based on an informal model of computation. The semantics are buried in the execution engines which are bundled with the languages. Further, most of the research in the area of validation/verification has been directed towards design time model checking of services. Little attention has been paid to asserting useful properties about service composition at runtime In this thesis, we propose an architecture based on a "Compositional” approach, for the specification, verification and runtime validation of reactive services and their composition. We present a sound computational model and a wide spectrum language. Abstract Service Design Language (ASDL), with well defined semantics in terms of our underlying logical framework, for designing service oriented systems. Fundamental to our approach is the notion of Compositionality. To achieve this, we augment Web service specifications with properties called assumption and commitment. We show how runtime validation of service composition can be achieved using an interpreter for. Tempura, an executable subset of Interval Temporal Logic (ITL). Finally we present "TeSCO-S”: Temporal Semantics for OWL enabled Services, a framework along with tool support for enriching Web service interface specifications, described as OWL ontologies with the temporal assertions of assumption and commitment.

Name dc:type.qualificationname

PhD

Level dc:type.qualificationlevel

Doctoral

Grantor dc:publisher.institution

De Montfort University

Year dc:date.issued

2005

Author dc:creator

• Solanki, Monika

Licence

• https://dora.dmu.ac.uk/bitstreams/b3ea57cd-d2ba-4fd4-9e7c-8a7c88bce426/download