{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:32:08Z","timestamp":1759638728470,"version":"3.41.0"},"reference-count":50,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2010,4,1]],"date-time":"2010-04-01T00:00:00Z","timestamp":1270080000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2010,4]]},"abstract":"<jats:p>\n            Web services are increasingly gaining acceptance as a framework for facilitating application-to-application interactions within and across enterprises. It is commonly accepted that a service description should include not only the interface, but also the business protocol supported by the service. The present work focuses on the formalization of an important category of protocols that includes time-related constraints (called\n            <jats:italic>timed protocols<\/jats:italic>\n            ), and the impact of time on compatibility and replaceability analysis. We formalized the following timing constraints: C-Invoke constraints define time windows within which a service operation can be invoked while M-Invoke constraints define expiration deadlines. We extended techniques for compatibility and replaceability analysis between timed protocols by using a semantic-preserving mapping between timed protocols and timed automata, leading to the identification of a novel class of timed automata, called\n            <jats:italic>protocol timed automata<\/jats:italic>\n            (PTA). PTA exhibit a particular kind of silent transition that strictly increase the expressiveness of the model, yet they are closed under complementation, making every type of compatibility or replaceability analysis decidable. Finally, we implemented our approach in the context of a larger project called ServiceMosaic, a model-driven framework for Web service life-cycle management.\n          <\/jats:p>","DOI":"10.1145\/1734229.1734230","type":"journal-article","created":{"date-parts":[[2010,5,6]],"date-time":"2010-05-06T17:41:18Z","timestamp":1273167678000},"page":"1-38","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["Analysis and applications of timed service protocols"],"prefix":"10.1145","volume":"19","author":[{"given":"Julien","family":"Ponge","sequence":"first","affiliation":[{"name":"Universit\u00e9 Blaise Pascal University of New South Wales"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boualem","family":"Benatallah","sequence":"additional","affiliation":[{"name":"University of New South Wales"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Casati","sequence":"additional","affiliation":[{"name":"University of Trento"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Farouk","family":"Toumani","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Blaise Pascal"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,4,23]]},"reference":[{"key":"e_1_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00173-4"},{"volume-title":"Proceedings of the 4th International School of Formel Methods for the Design of Computer Communication and Software Systems: Red Time (SFM). 1--24","author":"Alur R.","key":"e_1_2_2_4_1","unstructured":"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 . 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."},{"volume-title":"Proceedings of the Conference on Advanced Information Services Engineering (CAiSE). 290--306","author":"Ba\u00efna K.","key":"e_1_2_2_5_1","unstructured":"Ba\u00efna , 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 . Ba\u00efna, 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."},{"volume-title":"Proceedings of the 4th International School of Formal Methods for the Design of Computer Communication and Software Systems: Red Time (SFM). 200--236","author":"Behrmann G.","key":"e_1_2_2_6_1","unstructured":"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 . 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."},{"key":"e_1_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11431855_29"},{"volume-title":"Proceedings of the Conf\u00e9rence Bases de Donn\u00e9es Advanc\u00e9es (BDA).","author":"Benatallah B.","key":"e_1_2_2_8_1","unstructured":"Benatallah , B. , Casati , F. , Ponge , J. , and Toumani , F . 2005a. Compatibility and replaceability analysis for timed web service protocols . In Proceedings of the Conf\u00e9rence Bases de Donn\u00e9es Advanc\u00e9es (BDA). Benatallah, B., Casati, F., Ponge, J., and Toumani, F. 2005a. Compatibility and replaceability analysis for timed web service protocols. In Proceedings of the Conf\u00e9rence Bases de Donn\u00e9es Advanc\u00e9es (BDA)."},{"volume-title":"Proceedings of (CAiSe) Short Paper.","author":"Benatallah B.","key":"e_1_2_2_9_1","unstructured":"Benatallah , B. , Casati , F. , Ponge , J. , and Toumani , F . 2005b. On temporal abstractions of web service protocols . In Proceedings of (CAiSe) Short Paper. Benatallah, B., Casati, F., Ponge, J., and Toumani, F. 2005b. On temporal abstractions of web service protocols. In Proceedings of (CAiSe) Short Paper."},{"volume-title":"Proceedings of the International Conference on Conceptual Modeling ER.","author":"Benatallah B.","key":"e_1_2_2_10_1","unstructured":"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. 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."},{"key":"e_1_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2004.1260703"},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2005.07.006"},{"volume-title":"Proceedings of the Conference on Advanced Information Services Engineering (CAiSe). 449--467","author":"Benatallah B.","key":"e_1_2_2_13_1","unstructured":"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 . 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."},{"key":"e_1_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2006.87"},{"key":"e_1_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(00)00075-2"},{"key":"e_1_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/305052.305055"},{"key":"e_1_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1275852.1275861"},{"key":"e_1_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1041410.1041417"},{"key":"e_1_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014048800604"},{"key":"e_1_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1060745.1060770"},{"key":"e_1_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.04.003"},{"key":"e_1_2_2_23_1","volume-title":"-A","author":"Bouyer P.","year":"2007","unstructured":"Bouyer , P. , Haddad , S. , and Reynier , P . -A . 2007 . Undecidability results for timed automata with silent transitions. Res. rep. LSV-07-12, Laboratoire Sp\u00e9cification et V\u00e9rification, ENS Cachan, France . Bouyer, P., Haddad, S., and Reynier, P.-A. 2007. Undecidability results for timed automata with silent transitions. Res. rep. LSV-07-12, Laboratoire Sp\u00e9cification et V\u00e9rification, ENS Cachan, France."},{"key":"e_1_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/11603009_10"},{"key":"e_1_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/WWV.2006.10"},{"key":"e_1_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2006.1"},{"key":"e_1_2_2_27_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the Conference on Advanced Information Services Engineering (CAiSE)","author":"Bussler C.","unstructured":"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. 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."},{"key":"e_1_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1183935"},{"key":"e_1_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2006.6"},{"volume-title":"Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT\/ICIW). 186","author":"D\u00edaz G.","key":"e_1_2_2_30_1","unstructured":"D\u00edaz , 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 . D\u00edaz, 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."},{"volume-title":"Proceedings of the Annual Symposium on Theoretical Aspects of Computer Science (STACS). 583--594","author":"Diekert V.","key":"e_1_2_2_31_1","unstructured":"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 . 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."},{"key":"e_1_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1117696.1117716"},{"key":"e_1_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/988672.988756"},{"key":"e_1_2_2_34_1","unstructured":"Girault C. and Valk R. 2001. Petri Nets for System Engineering: A Guide to Modeling Verification and Applications. Springer-Verlag Berlin.   Girault C. and Valk R. 2001. Petri Nets for System Engineering: A Guide to Modeling Verification and Applications. Springer-Verlag Berlin."},{"key":"e_1_2_2_35_1","doi-asserted-by":"crossref","unstructured":"Hopcroft J. E. Motwani R. and Ullman J. D. 2000. Introduction to Automata Theory Languages and Computation 2nd Ed. Addison Wesley.   Hopcroft J. E. Motwani R. and Ullman J. D. 2000. Introduction to Automata Theory Languages and Computation 2nd Ed. Addison Wesley.","DOI":"10.1145\/568438.568455"},{"key":"e_1_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2006.134"},{"key":"e_1_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/11948148_2"},{"volume-title":"Proceedings of the International Workshop on Technologies for E-Service (TES). Springer-Verlag","author":"Mecella M.","key":"e_1_2_2_38_1","unstructured":"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. 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."},{"volume-title":"Proceedings of the International Conference on Data Engineering (ICDE). 1497--1498","author":"Motahari H. R. N.","key":"e_1_2_2_39_1","unstructured":"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 . 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."},{"key":"e_1_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.50"},{"key":"e_1_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1242572.1242706"},{"volume-title":"Proceedings of the International Conference on Data Engineering (ICDE). 1405--1409","author":"Nezhad H. R. M.","key":"e_1_2_2_42_1","unstructured":"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 . 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."},{"key":"e_1_2_2_43_1","unstructured":"OASIS. 2007. Web Services Business Process Execution Language Version 2.0. http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.html.  OASIS. 2007. Web Services Business Process Execution Language Version 2.0. http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.html."},{"key":"e_1_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/944217.944233"},{"volume-title":"Proceedings of the International Conference on Conceptual Modeling (ER). 599--614","author":"Ponge J.","key":"e_1_2_2_45_1","unstructured":"Ponge , J. , Benatallah , B. , Casati , F. , and Toumani , F . 2007. Fine-grained compatibility and replaceability analysis of timed web service protocols . In Proceedings of the International Conference on Conceptual Modeling (ER). 599--614 . Ponge, J., Benatallah, B., Casati, F., and Toumani, F. 2007. Fine-grained compatibility and replaceability analysis of timed web service protocols. In Proceedings of the International Conference on Conceptual Modeling (ER). 599--614."},{"key":"e_1_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1242572.1242704"},{"key":"e_1_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/s007780100057"},{"key":"e_1_2_2_48_1","unstructured":"RosettaNet. 2008. RosettaNet PIP Directory. http:\/\/www.rosettanet.org\/.  RosettaNet. 2008. RosettaNet PIP Directory. http:\/\/www.rosettanet.org\/."},{"key":"e_1_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2006.33"},{"volume-title":"Petri Net Technology for Communication-Based Systems: Advances in Petri Nets","author":"van der Aalst W.","key":"e_1_2_2_50_1","unstructured":"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 . 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."},{"key":"e_1_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/244795.244801"}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1734229.1734230","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1734229.1734230","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:45:28Z","timestamp":1750250728000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1734229.1734230"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4]]},"references-count":50,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,4]]}},"alternative-id":["10.1145\/1734229.1734230"],"URL":"https:\/\/doi.org\/10.1145\/1734229.1734230","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"type":"print","value":"1049-331X"},{"type":"electronic","value":"1557-7392"}],"subject":[],"published":{"date-parts":[[2010,4]]},"assertion":[{"value":"2008-07-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2008-11-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2010-04-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}