Theoretical Computer Science
Timed Modelling and Analysis inWeb Service Compositions
ARES '06 Proceedings of the First International Conference on Availability, Reliability and Security
Representation, Verification, and Computation of Timed Properties in Web
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Temporal Conformance of Federated Choreographies
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
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:
Timed Model Checking Based Approach for Web Services Analysis
ICWS '09 Proceedings of the 2009 IEEE International Conference on Web Services
Verification of Web Services with Timed Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Fine-grained compatibility and replaceability analysis of timed web service protocols
ER'07 Proceedings of the 26th international conference on Conceptual modeling
When are two web services compatible?
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Hi-index | 0.00 |
Web services are the main pillar of the Service Oriented Computing (SOC) paradigm which enables applications integration within and across business organizations. One of the important features of the Web services is the choreography aspect which allows to capture collaborative processes involving multiple services. In this context, one of the important investigations is the choreography compatibility analysis . We mean by the choreography compatibility the capability of a set of Web services of actually interacting by exchanging messages in a proper manner. Whether a set of services are compatible depends not only on their sequences of messages but also on quantitative properties such as timed properties . In this paper, we investigate an approach that deals with checking the timed compatibility of a choreography in which the Web services support asynchronous timed communications .