Theoretical Computer Science
Conversation specification: a new approach to design and analysis of e-service composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Web Services and Service-Oriented Architectures
ICDE '05 Proceedings of the 21st International Conference on Data Engineering
Automatic composition of transition-based semantic web services with messaging
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Timed Modelling and Analysis inWeb Service Compositions
ARES '06 Proceedings of the First International Conference on Availability, Reliability and Security
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
A lower bound on web services composition
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
When are two web services compatible?
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Dynamic Web Services Provisioning with Constraints
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Timed Properties-Aware Asynchronous Web Service Composition
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Model driven orchestration: design for service compatibility
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
An evaluation of process mediation approaches in web services
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
Design for service compatibility
Software and Systems Modeling (SoSyM)
From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation
International Journal of Web Services Research
From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation
International Journal of Web Services Research
| Hi-index | 0.00 |
Web services are becoming one of the main technologies for designing and building complex inter-enterprise business applications. Usually, a business application cannot be fulfilled by one Web service but by coordinating a set of them. In particular, to perform a coordination, one of the important investigations is the compatibility analysis. Two Web services are said compatible if they can interact correctly. In the literature, the proposed frameworks for the services compatibility checking rely on the supported sequences of messages. The interaction of services depends also on other properties, such that the exchanged data flow. Thus, considering only supported sequences of messages seems to be insufficient. Other properties on which the services interaction can rely on, are the temporal constraints. In this paper, we focus our interest on the compatibility analysis of Web services regarding their (1) supported sequences of messages, (2) the exchanged data flow, (3) constraints related to the exchanged data flow and (4) the temporal requirements. Based on these properties, we study three compatibility classes: (i) absolute compatibility, (ii) likely compatibility and (iii) absolute incompatibility.