Abstract
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.
Chapter PDF
Similar content being viewed by others
References
Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)
Benatallah, B., Casati, F., Ponge, J., Toumani, F.: On temporal abstractions of web service protocols. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520. Springer, Heidelberg (2005)
Benatallah, B., Casati, F., Toumani, F.: Analysis and management of web service protocols. In: 23rd International Conference on Conceptual Modeling (November 2004)
Bordeaux, L., Salaün, G., Berardi, D., Mecella, M.: When are two web services compatible? In: Shan, M.-C., Dayal, U., Hsu, M. (eds.) TES 2004. LNCS, vol. 3324, pp. 15–28. Springer, Heidelberg (2005)
Diaz, G., Pardo, J.-J., Cambronero, M.-E., Valero, V., Cuartero, F.: Verification of web services with timed automata. In: Proceedings of the International Workshop on Automated Specification and Verification of Web Sites (WWV 2005). ENTCS, vol. 157, pp. 19–34 (2005)
Eder, J., Tahamtan, A.: Temporal conformance of federated choreographies. In: Bhowmick, S.S., Küng, J., Wagner, R. (eds.) DEXA 2008. LNCS, vol. 5181, pp. 668–675. Springer, Heidelberg (2008)
Guermouche, N., Godart, C.: Timed model checking based approach for compatibility analysis of synchronous web services. Research report (2008)
Guermouche, N., Godart, C.: Timed properties-aware asynchronous web service composition. In: Proceedings of the 16th International Conference on Cooperative Information Systems (CoopIS 2008), Monterrey, Mexico, November 9-14, 2008, pp. 44–61 (2008)
Guermouche, N., Perrin, O., Ringeissen, C.: Timed specification for web services compatibility analysis. In: International Workshop on Automated Specification and Verification of Web Systems (WWV 2007), San Servolo island, Venice, Italy, December 14, 2007, pp. 155–170 (2007)
Kazhamiakin, R., Pandya, P.K., Pistore, M.: Representation, verification, and computation of timed properties in web service compositions. In: Proceedings of the IEEE International Conference on Web Services (ICWS), pp. 497–504 (2006)
Kazhamiakin, R., Pandya, P.K., Pistore, M.: Timed modelling and analysis in web service compositions. In: Proceedings of the The First International Conference on Availability, Reliability and Security, ARES, pp. 840–846. IEEE Computer Society Press, Los Alamitos (2006)
Ponge, J.: A new model for web services timed business protocols. In: Atelier (Conception des systèmes d’information et services Web) SIWS-Inforsid) (2006)
Ponge, J., Benatallah, B., Casati, F., Toumani, F.: Fine-grained compatibility and replaceability analysis of timed web service protocols. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol. 4801, pp. 599–614. Springer, Heidelberg (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Guermouche, N., Godart, C. (2009). Asynchronous Timed Web Service-Aware Choreography Analysis. In: van Eck, P., Gordijn, J., Wieringa, R. (eds) Advanced Information Systems Engineering. CAiSE 2009. Lecture Notes in Computer Science, vol 5565. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02144-2_30
Download citation
DOI: https://doi.org/10.1007/978-3-642-02144-2_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02143-5
Online ISBN: 978-3-642-02144-2
eBook Packages: Computer ScienceComputer Science (R0)