{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T15:04:09Z","timestamp":1781103849259,"version":"3.54.1"},"reference-count":36,"publisher":"IGI Global Scientific Publishing","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,4,1]]},"abstract":"<p>Different standards and languages are proposed in the literature to model the composition of Web services. Unfortunately these languages are essentially syntactic and thus contain much ambiguity and inconsistency. In addition, the formal verification of the proposed languages is impossible. In this paper, the authors propose a transformation approach allowing the formal representation, analysis and refinement of Web services compositions. Both timed constraints and the durations of interactions between these services are taken into account. The authors present a mapping from Web services described in the BPEL language to an abstract specification written in the real-time language D-LOTOS which is based on true-concurrency semantics.<\/p>","DOI":"10.4018\/ijertcs.2014040102","type":"journal-article","created":{"date-parts":[[2015,1,8]],"date-time":"2015-01-08T12:59:46Z","timestamp":1420721986000},"page":"1-21","source":"Crossref","is-referenced-by-count":1,"title":["Formalizing Timed BPEL by D-LOTOS"],"prefix":"10.4018","volume":"5","author":[{"given":"Imed Eddine","family":"Chama","sequence":"first","affiliation":[{"name":"University of Abdelhamid Mehri - Constantine 2, Constantine, Algeria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nabil","family":"Belala","sequence":"additional","affiliation":[{"name":"University of Abdelhamid Mehri - Constantine 2, Constantine, Algeria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Djamel Eddine","family":"Saidouni","sequence":"additional","affiliation":[{"name":"University of Abdelhamid Mehri - Constantine 2, Constantine, Algeria"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2432","reference":[{"key":"ijertcs.2014040102-0","unstructured":"Ait-Sadoune, I., & Ait-Ameur, Y. (2009). From BPEL to Event B. Laboratory of Applied Computer Science (LISI), National Engineering School for Mechanics and Aerotechnics (ENSMA), and University of Poitiers. France."},{"key":"ijertcs.2014040102-1","first-page":"1","article-title":"A proof based approach for modelling and verifying web services compositions.","author":"I.Ait-Sadoune","year":"2009","journal-title":"Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'09)"},{"key":"ijertcs.2014040102-2","first-page":"51","article-title":"Stepwise Design of BPEL Web Services Compositions: An Event_B Refinement Based Approach. Software Engineering Research","volume":"296","author":"I.Ait-Sadoune","year":"2010","journal-title":"Management and Applications"},{"key":"ijertcs.2014040102-3","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ijertcs.2014040102-4","unstructured":"Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., et al. (2003). Business Process Execution Language for Web Services(BPEL4WS). VersionVersion 1.1, Microsoft (2003). Retrieved from http:\/\/www-106.ibm.com\/deve loperworks\/library\/ws-bpel\/"},{"key":"ijertcs.2014040102-5","unstructured":"Arkin, A. (2002). Business Process Modeling Language (BPML). Retrieved from http:\/\/www.bpmi.org\/bpml-spec.esp"},{"key":"ijertcs.2014040102-6","unstructured":"Arkin, A., Askary, S., Fordin, S., Jekeli, W., & Kawaguchi, K. (2002). Web Services Choreography Interface (wsci) 1.0. R\u00e9cup\u00e9r\u00e9 sur http:\/\/ifr.sap.com\/wsci\/specification\/wsci-spec-10.htm"},{"key":"ijertcs.2014040102-7","unstructured":"Assaf, A., Sid, A., Scott, F., & Wolfgang, J. (2002). Web Service Choreography Interface (WSCI) 1.0. from http:\/\/www.w3.org\/TR\/wsci\/"},{"key":"ijertcs.2014040102-8","article-title":"ACTIONS DURATION IN TIMED MODELS.","author":"N.Belala","year":"2006","journal-title":"Proceeding of International Arab Conference on Information Technology (ACIT 2006)"},{"key":"ijertcs.2014040102-9","doi-asserted-by":"publisher","DOI":"10.4018\/jertcs.2013040104"},{"key":"ijertcs.2014040102-10","doi-asserted-by":"crossref","unstructured":"Bolognesi, T., & Brinksma, E. (1987). Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, (pp. 14:25\u201459).","DOI":"10.1016\/0169-7552(87)90085-7"},{"key":"ijertcs.2014040102-11","unstructured":"Breugel, F. v., & Koshkina, M. (2006). Models and verification of BPEL. R\u00e9cup\u00e9r\u00e9 sur http:\/\/www.cse.yorku.ca\/~franck\/research\/drafts\/tutorial.pdf"},{"key":"ijertcs.2014040102-12","doi-asserted-by":"crossref","unstructured":"Chama, I. E., Belala, N., & Saidouni, D. E. (2014). FMEBP: FMEBP: A Formal Modeling Environment of Business Process. The 20th International Conference on Information and Software Technologies (ICIST2014), (pp. 212-223). Druskininkai, Lithuania.","DOI":"10.1007\/978-3-319-11958-8_17"},{"key":"ijertcs.2014040102-13","doi-asserted-by":"publisher","DOI":"10.1145\/1242060.1242063"},{"key":"ijertcs.2014040102-14","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368108"},{"key":"ijertcs.2014040102-15","doi-asserted-by":"publisher","DOI":"10.1109\/WI.2005.59"},{"key":"ijertcs.2014040102-16","unstructured":"Christensen, E., Curbera, F., Meredith, G., & Weerawarana, S. (2001, March). Web services description language (WSDL) 1.1. Retrieved from W3C Recommendation: http:\/\/www.w3.org\/TR\/wsdl"},{"key":"ijertcs.2014040102-17","first-page":"261","article-title":"Verification of Timed BPEL 2.0 Models. Enterprise","volume":"81","author":"E.Fares","year":"2011","journal-title":"Business-Process and Information Systems Modeling"},{"key":"ijertcs.2014040102-18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61474-5_97"},{"key":"ijertcs.2014040102-19","doi-asserted-by":"publisher","DOI":"10.1145\/1035167.1035202"},{"key":"ijertcs.2014040102-20","unstructured":"ISO\/IEC. LOTOS. (1988). A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard 8807. International Organisation of Standardization \u2014 Information Processing Systems \u2014 Open Systems Interconnection. Gen\u00e8ve."},{"key":"ijertcs.2014040102-21","unstructured":"ISO\/IEC. LOTOS. (1989, September). A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard 8807. International Organisation of Standardization \u2014 Information Processing Systems \u2014 Open Systems Interconnection. Gen\u00e8ve. Jordan, D., Evdemon, J., Alves, A., Arkin, A., Askary, S., Barreto, C., Bloch, B., Curbera, F., Ford, M., Goland, Y., Gu\u00edzar, A., Karth, N., Liu, C. K., Khalaf, R., K\u00f6nig, D., Marin, M., Mehta, V., Thatte, S., Rijn, D. v., Yendluri, P., & Yiu, A. (2007, April 11). Web Services Business Process Execution Language (WSBPEL), OASIS Standard. Retrieved from http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html"},{"key":"ijertcs.2014040102-22","doi-asserted-by":"publisher","DOI":"10.1109\/NPC.2007.55"},{"key":"ijertcs.2014040102-23","first-page":"497","article-title":"Representation, verification, and computation of timed properties in Web Service Compositions.","author":"R.Kazhamiakin","year":"2006","journal-title":"Proceedings of the IEEE International Conference on Web Services"},{"key":"ijertcs.2014040102-24","first-page":"134","article-title":"UPPAAL in a nutshell.","volume":"1","author":"K. G.Larsen","year":"1997","journal-title":"IJSTTT"},{"key":"ijertcs.2014040102-25","unstructured":"Leymann, F. (2001, May). Web Service Flow Language (WSFL 1.0). Retrieved from IBM Software Group: http:\/\/www.ibm.com\/software\/solutions\/webservices\/pdf\/WSFL.pdf"},{"key":"ijertcs.2014040102-26","article-title":"Improving Data Quality for Web Services Composition.","author":"X.Li","year":"2009","journal-title":"Proceedings of the 7th International Workshop on Quality in Databases (QDB'09)"},{"key":"ijertcs.2014040102-27","first-page":"21","article-title":"A feature-complete Petri net semantics for WS-BPEL 2.0.","author":"N.Lohmann","year":"2007","journal-title":"Proceedings of the Workshop on Formal Approaches to Business Processes and Web Services (FABPWS'07)"},{"key":"ijertcs.2014040102-28","doi-asserted-by":"crossref","unstructured":"Mateescu, R., & Rampacek, S. (2008). Formal Modeling and Discrete-Time Analysis of BPEL Web Services. International Journal of Simulation and Process Modeling.","DOI":"10.1007\/978-3-540-68644-6_13"},{"key":"ijertcs.2014040102-29","unstructured":"Sa\u00efdouni, D. E. (1996). S\u00e9mantique de Maximalit\u00e9: Application au Raffinement d\u2019Actions en LOTOS. PhD thesis, LAAS-CNRS, 7 av. du Colonel Roche, 31077 Toulouse Cedex France."},{"key":"ijertcs.2014040102-30","unstructured":"Sa\u00efdouni, D. E., & Courtiat, J. P. (2003). Prise en compte des dur\u00e9es d\u2019action dans les alg\u00e8bres de processus par l\u2019utilisation de la s\u00e9mantique de maximalit\u00e9. Ing\u00e9nierie des Protocoles (CFIP'2003), (pp. 51-66). Paris (France)."},{"key":"ijertcs.2014040102-31","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2009.20"},{"key":"ijertcs.2014040102-32","unstructured":"Thatte, S. (2001). XLANG: Web Service for Business Process Design. R\u00e9cup\u00e9r\u00e9 sur microsoft corporation: http:\/\/www.gotdotnet.com\/tearn\/xml\\_wsspecs\/xlang-c\/ default. html"},{"key":"ijertcs.2014040102-33","unstructured":"Thivolle, D. (2011). Langages modernes pour la mod\u00e9lisation et la v\u00e9rification des syst\u00e8mes asynchrones. Universit\u00e9 de Grenoble 114 Universit\u00e9 Polytechnique de Bucarest."},{"key":"ijertcs.2014040102-34","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2006.02.001"},{"key":"ijertcs.2014040102-35","doi-asserted-by":"crossref","unstructured":"van-der Aalst, W., Mooij, A., Stahl, C., & Wolf, K. (2009). Service interaction: Patterns, formalization, and analysis. Dans M. Bernardo, L. Padovani, & G. Zavattaro (\u00c9d.), 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, (SFM'09), 5569, pp. 42\u201388. Bertinoro, Italy.","DOI":"10.1007\/978-3-642-01918-0_2"}],"container-title":["International Journal of Embedded and Real-Time Communication Systems"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=121726","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T17:55:08Z","timestamp":1654106108000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/ijertcs.2014040102"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2014,4,1]]},"references-count":36,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,4]]}},"URL":"https:\/\/doi.org\/10.4018\/ijertcs.2014040102","relation":{},"ISSN":["1947-3176","1947-3184"],"issn-type":[{"value":"1947-3176","type":"print"},{"value":"1947-3184","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,4,1]]}}}