Analysis and applications of timed service protocols

ACM Transactions on Software Engineering and Methodology

Volumn 19, Issue 4, 2010, Pages

  Ponge, Julien ^a   Benatallah, Boualem ^a   Casati, Fabio ^b   Toumani, Farouk ^a  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

^b UNIVERSITY OF TRENTO   (Italy)

Author keywords

Compatiblity and replaceability analysis; Timed automata; Timed business protocols; Web services

Indexed keywords

BUSINESS PROTOCOLS; COMPLEMENTATION; MODEL-DRIVEN; SERVICE DESCRIPTION; SERVICE OPERATIONS; SERVICE PROTOCOLS; TIME WINDOWS; TIMED AUTOMATA; TIMING CONSTRAINTS; WORK FOCUS;

ROBOTS; TIMING CIRCUITS; TRANSLATION (LANGUAGES); WEB SERVICES;

INTERNET PROTOCOLS;

EID: 77951783955     PISSN: 1049331X     EISSN: 15577392     Source Type: Journal    
DOI: 10.1145/1734229.1734230     Document Type: Article

References (51)

1. AALST, W. 1998. The application of Petri Nets to workflow management. J. Circuits Syst. Com-put. 8, 1, 21-66.
2. ALUR, R. AND DILL, D. L. 1994. A theory of timed automata. Theor. Comput. Sci. 126, 2, 183-235.
3. ALUR, R., FIX, L., AND HENZINGER, T. A. 1999. Event-clock automata: A determinizable class of timed automata. Theor. Comput. Sci. 211, 1-2, 253-273.
4. ALUR, R. AND MADHUSUDAN, P. 2004. Decision problems for timed automata: A survey. In Proceedings of the 4th International School of Formel Methods for the Design of Computer Communication and Software Systems: Red Time (SFM). 1-24.
5. BÄINA, K., BENATALLAH, B., CASATI, F., AND TOUMANI, F. 2004. Model-driven Web service development. In Proceedings of the Conference on Advanced Information Services Engineering (CAiSE). 290-306.
6. BEHRMANN, G., DAVID, A., AND LARSEN, K. G. 2004. A tutorial on UPPAAL. In Proceedings of the 4th International School of Formal Methods for the Design of Computer Communication and Software Systems: Red Time (SFM). 200-236.
7. BENATALLAH, B., CASATI, F., GRIGORI, D., NEZHAD, H. R. M., AND TOUMANI, F. 2005. Developing adapters for web services integration. In Proceedings of the Conference on Advanced Information Services Engineering (CAiSe). 415-429.
8. BENATALLAH, B., CASATI, F., PONGE, J., AND TOUMANI, F. 2005a. Compatibility and replaceability analysis for timed web service protocols. In Proceedings of the Conférence Bases de Données Advancées (BDA).
9. BENATALLAH, B., CASATI, F., PONGE, J., AND TOUMANI, F. 2005b. On temporal abstractions of web service protocols. In Proceedings of (CAiSe) Short Paper.
10. BENATALLAH, B., CASATI, F., AND TOUMANI, F. 2004a. Analysis and Management of Web Services Protocols. In Proceedings of the International Conference on Conceptual Modeling ER.
11. BENATALLAH, B., CASATI, F., AND TOUMANI, F. 2004b. Web service conversation modeling: A cornerstone for e-business automation. IEEE Internet Comput. 08, 1, 46-54.
12. BENATALLAH, B., CASATI, F., AND TOUMANI, F. 2006a. Representing, analysing and managing web service protocols. Data Knowl. Engin. 58, 3, 327-357.
13. BENATALLAH, B., CASATI, F., TOUMANI, F., AND HAMADI, R. 2003. Conceptual modeling of web service conversations. In Proceedings of the Conference on Advanced Information Services Engineering (CAiSe). 449-467.
14. BENATALLAH, B., CASATI, F., TOUMANI, F., PONGE, J., AND NEZHAD, H. R. M. 2006b. Service mosaic: A model-driven framework for web services life-cycle management. IEEE Internet Comput. 10, 4, 55-63.
15. BÉRARD, B. AND DUFOURD, C. 2000. Timed automata and additive clock constraints. Inform. Proc. Lett. 75, 1-2, 1-7.
16. BÉRARD, B., PETIT, A., DIEKERT, V., AND GASTIN, P. 1998. Characterization of the expressive power of silent transitions in timed automata. Fundam. Inform. 36, 2-3, 145-182.
17. BERARDI, D. 2002. Automatic composition services: models, techniques and tools, Ph.D. thesis. Universita di Roma La Sapienza, Roma, Italy.
18. BERARDI, D., ROSA, F. D., SANTIS, L. D., AND MECELLA, M. 2004. Finite state automata as conceptual model for e-services. J. Integr. Des. Proc. Sci. 8, 2, 105-121.
19. BERNSTEIN, P. A., MELNIK, S., PETROPOULOS, M., AND QUIX, C. 2004. Industrial-strength schema matching. SIGMOD Rec. 33, 4, 38-43.
20. BETTINI, C., WANG, X. S., AND JAJODIA, S. 2002. Temporal reasoning in workflow systems. Distrib. Parall. Datab. 11, 3, 269-306.
21. BEYER, D., CHAKRABARTI, A., AND HENZINGER, T. A. 2005. Web service interfaces. In Proceedings of the World Wide Web Conference (WWW). 148-159.
22. BOUYER, P., DUFOURD, C., FLEURY, E., AND PETIT, A. 2004. Updatable timed automata. Theor. Com-put. Sci. 321, 2-3, 291-345.
23. BOUYER, P., HADDAD, S., AND REYNIER, P.-A. 2007. Undecidability results for timed automata with silent transitions. Res. rep. LSV-07-12, Laboratoire Spécification et Vérification, ENS Cachan, France.
24. BOUYER, P., LAROUSSINIE, F., AND REYNIER, P.-A. 2005. Diagonal constraints in timed automata: Forward analysis of timed systems. In Proceedings of the International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS). 112-126.
25. BULTAN, T. 2006. Modeling interactions of web software (invited paper). In Proceedings of the International Workshop on Automated Specification and Verification of Web Systems (WWV).
26. BULTAN, T., SU, J., AND FU, X. 2006. Analyzing conversations of Web services. IEEE Internet Comput. 10, 1, 18-25.
27. BUSSLER, C. 2002. Process inheritance. In Proceedings of the Conference on Advanced Information Services Engineering (CAiSE). Lecture Notes in Computer Science, vol.2348. Springer, 701-705.
28. CANAL, C., FUENTES, L., PIMENTEL, E., TROYA, J. M., AND VALLECILLO, A. 2003. Adding roles to CORBA objects. IEEE Trans. Softw. Engin. 29, 3, 242-260.
29. DE MARIA, E., MONTANARI, A., AND ZANTONI, M. 2006. An automaton-based approach to the verification of timed workflow schemas. In (TIME). 87-94.
30. D́IAZ, G., CAMBRONERO, M.-E., PARDO, J. J., VALERO, V., AND CUARTERO, F. 2006. Automatic generation of correct web services choreographies and orchestrations with model checking techniques. In Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW). 186.
31. DIEKERT, V., GASTIN, P., AND PETIT, A. 1997. Removing epsilon-transitions in timed automata. In Proceedings of the Annual Symposium on Theoretical Aspects of Computer Science (STACS). 583-594.
32. FOSTER, H., UCHITEL, S., MAGEE, J., AND KRAMER, J. 2005. Leveraging eclipse for integrated model-based engineering of web service compositions. In Proceedings of Eclipse Technology Exchange Workshop (ETX). 95-99.
33. FU, X., BULTAN, T., AND SU, J. 2004. Analysis of interacting BPEL Web services. In Proceedings of the 13th International Conference on World Wide Web (WWW). ACM Press, New York, NY, 621-630. (Pubitemid 40752796)
34. GIRAULT, C. AND VALK, R. 2001. Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications. Springer-Verlag, Berlin.
35. HOPCROFT, J. E., MOTWANI, R., AND ULLMAN, J. D. 2000. Introduction to Automata Theory, Languages, and Computation 2nd Ed. Addison Wesley.
36. KAZHAMIAKIN, R., PANDYA, P. K., AND PISTORE, M. 2006. Timed modelling and analysis in web service compositions. In Proceedings of the International Conference on Availibility Realibility and Security (ARES). 840-846. (Pubitemid 44732729)
37. KONGDENFHA, W., SAINT-PAUL, R., BENATALLAH, B., AND CASATI, F. 2006. An aspect-oriented framework for service adaptation. In Proceedings of the International Conference on Service-Oriented Computiong (ICSOC). 15-26.
38. MECELLA, M., PERNICI, B., AND CRACA, P. 2001. Compatibility of e-services in a cooperative multi-platform environment. In Proceedings of the International Workshop on Technologies for E-Service (TES). Springer-Verlag, London, UK, 44-57.
39. MOTAHARI, H. R. N., SAINT-PAUL, R., BENATALLAH, B., CASATI, F., PONGE, J., AND TOUMANI, F. 2007. Servicemosaic: Interactive analysis and manipulation of service conversations. In Proceedings of the International Conference on Data Engineering (ICDE). 1497-1498.
40. NEJATI, S., SABETZADEH, M., CHECHIK, M., EASTERBROOK, S. M., AND ZAVE, P. 2007. Matching and merging of statechart specifications. In Proceedings of the International Conference on Software Engineering (ICSE). 54-64.
41. NEZHAD, H. R. M., BENATALLAH, B., MARTENS, A., CURBERA, F., AND CASATI, F. 2007a. Semi-automated adaptation of service interactions. In Proceedings of the 16th International Conference on World Wide Web (WWW). ACM, New York, NY, USA, 993-1002.
42. NEZHAD, H. R. M., SAINT-PAUL, R., BENATALLAH, B., AND CASATI, F. 2007b. Protocol discovery from imperfect service interaction logs. In Proceedings of the International Conference on Data Engineering (ICDE). 1405-1409
43. OASIS. 2007. Web Services Business Process Execution Language Version 2.0. http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html.
44. PAPAZOGLOU, M. P. AND GEORGAKOPOULOS, D. 2003. Special issue on service oriented computing. Comm. ACM 46, 10, 24-28.
45. PONGE, J., BENATALLAH, B., CASATI, F., AND TOUMANI, F. 2007. Fine-grained compatibility and re-placeability analysis of timed web service protocols. In Proceedings of the International Conference on Conceptual Modeling (ER). 599-614.
46. QIU, Z., ZHAO, X., CAI, C., AND YANG, H. 2007. Towards the theoretical foundation of choreography. In Proceedings of the International Conference on World Wide Web (WWW). 973-982.
47. RAHM, E. AND BERNSTEIN, P. A. 2001. A survey of approaches to automatic schema matching. VLDB J. 10, 4, 334-350
48. ROSETTANET. 2008. RosettaNet PIP Directory. http://www.rosettanet.org/.
49. TIPLEA, F. L. AND MACOVEI, G. I. 2006. E-timed workflow nets. In Proceedings of the International Network on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). 423-429.
50. VAN DER AALST, W. 2003. Inheritance of business processes: A journey visiting four notorious problems. In Petri Net Technology for Communication-Based Systems: Advances in Petri Nets, H. Ehrig, W. Reisig, G. Rozenberg, H. Weber, Eds., Springer Verlag.
51. YELLIN, D. AND STORM, R. 1997. Protocol Specifications and Component Adaptors. ACM Trans. Program. Lang. Syst. 19, 2 (Mar.), 292-333.