An interface theory for service-oriented design
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
An interface theory for service-oriented design
Theoretical Computer Science
| Hi-index | 0.00 |
Web services are essentially black box components froma composerýs or a mediatorýs perspective. The behaviouraldescription of any service can be asserted by the composer,only through interface predicates exposed by the serviceprovider. Normally for proving properties of service compositions,pre/post conditions are found to be sufficient. Howeverthese properties, are assertions only on the initial andfinal states of the service respectively. They do not helpin specifying/verifying ongoing behaviour of an individualservice or a composed system. We propose a frameworkfor enriching service descriptions with two compositionalassertions: assumption and commitment that facilitate reasoningabout service composition and verification of theirintegration. The technique is based on Interval TemporalLogic (ITL), a sound formalism for specifying and provingtemporal properties of systems.