Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Communications of the ACM - Service-oriented computing
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Compatibility Verification for Web Service Choreography
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Theoretical foundations for compensations in flow composition languages
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
WWW '05 Proceedings of the 14th international conference on World Wide Web
Verifiable Web Services with Hierarchical Interfaces
ICWS '05 Proceedings of the IEEE International Conference on Web Services
An Interface Theory Based Approach to Verification of Web Services
COMPSAC '06 Proceedings of the 30th Annual International Computer Software and Applications Conference - Volume 02
Executable semantics for compensating CSP
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Failure-divergence semantics and refinement of long running transactions
Theoretical Computer Science
| Hi-index | 0.00 |
The accuracy of interface description is very important to service composition and dynamic selection of service-oriented systems. It is desirable to describe Web service formally so as to improve the ability of service orchestration. This paper presents a formal interface theory for specifying Web service by extending the existing with the ability to model interface behaviour with transactions at the levels of signature, conversation and protocol. Signature interface and conversation interface model the static invocation relations in Web service interfaces, and protocol interface describes the temporal invocation information. A formal semantics of protocol interface is presented. Based on the semantics, the protocol interface can be transformed into a Labeled Transition System (LTS). Additionally, the compatibility and substitutivity relation conditions between Web services are also proposed.