{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T02:40:30Z","timestamp":1654137630237},"reference-count":32,"publisher":"IGI Global","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,10,1]]},"abstract":"<p>Modeling Web services is a major step towards their automated analysis. One of the important parameters in this modeling, for the majority of Web services, is the time. A Web service can be presented by its behavior which can be described by a business protocol representing the possible sequences of message exchanges. To the best of the authors\u2019 knowledge, automated analysis of timed Web services (e.g., compatibility and replaceability checking) is very difficult and in some cases it is not possible with the presence of implicit transitions (internal transitions) based on time constraints. The semantics of the implicit transitions is the source of this difficulty because most of well-known modeling tools do not express this semantics (e.g., epsilon transition on the timed automata has a different semantics). This paper presents an approach for converting any protocol containing implicit transitions to an equivalent one without implicit transitions before performing analysis.<\/p>","DOI":"10.4018\/jwsr.2012100104","type":"journal-article","created":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T14:24:59Z","timestamp":1376490299000},"page":"69-95","source":"Crossref","is-referenced-by-count":1,"title":["From Implicit to Explicit Transitions in Business Protocols"],"prefix":"10.4018","volume":"9","author":[{"given":"Emad","family":"Elabd","sequence":"first","affiliation":[{"name":"Department of Computers and Information, Menoufia University, Shebin El Kom, Egypt"}]},{"given":"Emmanuel","family":"Coquery","sequence":"additional","affiliation":[{"name":", LIRIS, Department of Computer Sciences, University Claude Bernard Lyon 1, Villeurbanne, France"}]},{"given":"Mohand-Said","family":"Hacid","sequence":"additional","affiliation":[{"name":"LIRIS, Department of Computer Sciences, University Claude Bernard Lyon 1, Villeurbanne, France"}]}],"member":"2432","reference":[{"key":"jwsr.2012100104-0","article-title":"Compatibility and replaceability analysis for timed web service protocols","author":"B.Benatallah","year":"2005","journal-title":"Bases de Donn\u00e9es Avanc\u00e9es"},{"key":"jwsr.2012100104-1","first-page":"46","article-title":"Web service conversation modeling: A cornerstone for e-business automation. IEEE Internet Computing","volume":"8","author":"B.Benatallah","year":"2004","journal-title":"IEEE Educational Activities Department"},{"key":"jwsr.2012100104-2","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2005.07.006"},{"key":"jwsr.2012100104-3","first-page":"105","article-title":"Finite state automata as conceptual model for e-services.","volume":"8","author":"D.Berardi","year":"2004","journal-title":"Journal of Integrated Design & Process Science"},{"key":"jwsr.2012100104-4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014048800604"},{"key":"jwsr.2012100104-5","doi-asserted-by":"crossref","unstructured":"Beyer, D., Chakrabarti, A., & Henzinger, T. A. (2005, May 10-14). Web service interfaces. In Proceedings of the 14th ACM International World Wide Web Conference (WWW~05, Chiba) (pp. 148-159).","DOI":"10.1145\/1060745.1060770"},{"key":"jwsr.2012100104-6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31811-8_2"},{"key":"jwsr.2012100104-7","doi-asserted-by":"crossref","unstructured":"Bultan, T. (2006). Modeling interactions of web software. In Proceedings of the 2nd Int'l. Workshop on Automated Specification and Verification of Web Systems (pp. 45-52).","DOI":"10.1109\/WWV.2006.10"},{"key":"jwsr.2012100104-8","doi-asserted-by":"crossref","unstructured":"Bultan, T., Fu, X., Hull, R., & Su, J. (2003). Conversation specification: A new approach to design and analysis of e-service composition. In Proceedings of the 12th International Conference on World Wide Web (WWW '03) (pp. 403-410).","DOI":"10.1145\/775152.775210"},{"key":"jwsr.2012100104-9","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2006.1"},{"key":"jwsr.2012100104-10","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.12.041"},{"key":"jwsr.2012100104-11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45212-6_9"},{"key":"jwsr.2012100104-12","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., & Henzinger, T. A. (2001). Interface automata. In ESEC\/FSE-9 Proceedings of the 8th European Software Engineering Conference held Jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering (pp. 109-120).","DOI":"10.1145\/503209.503226"},{"key":"jwsr.2012100104-13","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T. A., & Stoelinga, M. (2002). Timed interfaces. In Proceedings of the Second International Conference on Embedded Software (EMSOFT) (Vol. 2491, pp.108-122).","DOI":"10.1007\/3-540-45828-X_9"},{"key":"jwsr.2012100104-14","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.042"},{"key":"jwsr.2012100104-15","first-page":"186","article-title":"Automatic generation of correct web services choreographies and orchestrations with model checking techniques","author":"G.Dyaz","year":"2004","journal-title":"AICT\/ICIW"},{"key":"jwsr.2012100104-16","doi-asserted-by":"crossref","unstructured":"Elabd, E., Coquery, E., & Hacid, M.-S. (2010). Checking compatibility and replaceability in web services business protocols with access control. In Proceedings of the IEEE International Conference on Web Services (ICWS) (pp. 409-416).","DOI":"10.1109\/ICWS.2010.102"},{"key":"jwsr.2012100104-17","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., & Su, J. (2004). Analysis of interacting BPEL web services. In S. I. Feldman, Uretsky, M., Najork, M. & Wills, C. E. (Eds.), Proceedings of the WWW (pp. 621-630).","DOI":"10.1145\/988672.988756"},{"key":"jwsr.2012100104-18","doi-asserted-by":"crossref","unstructured":"Fu, X., Su, J., & Bultan, T. (2004). Conversation protocols: A formalism for specification and verification of reactive electronic services. In Proceedings of the International Conference on Implementation and Application of Automata (CIAA) (pp. 188-200).","DOI":"10.1007\/3-540-45089-0_18"},{"key":"jwsr.2012100104-19","first-page":"74","article-title":"Types and subtypes for client-server interactions","volume":"Vol. 1576","author":"S.Gay","year":"1999","journal-title":"ESOP"},{"key":"jwsr.2012100104-20","author":"S.Gay","year":"2000","journal-title":"Types for correct communication in client-server systems (Tech. rep.). Department of Computer Science, Royal Holloway"},{"key":"jwsr.2012100104-21","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.04.098"},{"key":"jwsr.2012100104-22","doi-asserted-by":"crossref","unstructured":"Honda, K., Vasconcelos, V. T., & Kubo, M. (1998). Language primitives and type discipline for structured communication-based programming. In Proceedings of the 7th European Symposium on Programming (ESOP '98), (pp. 122-138).","DOI":"10.1007\/BFb0053567"},{"key":"jwsr.2012100104-23","unstructured":"Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., & Lafon, Y. (2005). Web services choreography description language version 1.0 (WSCDL). W3C(MIT, ERCIM, Keio). Retrieved from http:\/\/www.w3.org\/TR\/ws-cdl-10\/"},{"key":"jwsr.2012100104-24","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2006.134"},{"key":"jwsr.2012100104-25","first-page":"87","article-title":"An automaton-based approach to the verification of timed workflow schemas.","author":"E. D.Maria","year":"2006","journal-title":"Time"},{"key":"jwsr.2012100104-26","doi-asserted-by":"crossref","unstructured":"Mostrous, D., & Yoshida, N. (2007). Two session typing systems for higher-order mobile processes. In Proceedings of the 8th International Conference on Typed Lambda Calculi and Applications (TLCA'07) (pp. 321-335).","DOI":"10.1007\/978-3-540-73228-0_23"},{"key":"jwsr.2012100104-27","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-007-0044-3"},{"key":"jwsr.2012100104-28","doi-asserted-by":"crossref","unstructured":"Pnueli, A. (1977). The temporal logic of programs. In Proceedings of 18th Annual Symposium on the Foundations of Computer Science (FOCS-77) (pp. 46-57).","DOI":"10.1109\/SFCS.1977.32"},{"key":"jwsr.2012100104-29","doi-asserted-by":"crossref","unstructured":"Ponge, J., Benatallah, B., Casati, F., & Toumani, F. (2007). Fine-grained compatibility and replaceability analysis of timed web service protocols. In Proceedings of the 26the International Conference on Conceptual Modeling (ER), Auckland, New Zealand (pp. 599-614).","DOI":"10.1007\/978-3-540-75563-0_40"},{"key":"jwsr.2012100104-30","doi-asserted-by":"crossref","unstructured":"Tiplea, F. L., & Macovei, G. I. (2006). E-timed workflow nets. In Proceedings of the Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), (pp. 423-429).","DOI":"10.1109\/SYNASC.2006.33"},{"key":"jwsr.2012100104-31","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80382-2"}],"container-title":["International Journal of Web Services Research"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=80179","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T02:04:12Z","timestamp":1654135452000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/jwsr.2012100104"}},"subtitle":["A Semantic-Based Transformation"],"short-title":[],"issued":{"date-parts":[[2012,10,1]]},"references-count":32,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,10]]}},"URL":"https:\/\/doi.org\/10.4018\/jwsr.2012100104","relation":{},"ISSN":["1545-7362","1546-5004"],"issn-type":[{"value":"1545-7362","type":"print"},{"value":"1546-5004","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,10,1]]}}}