{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T16:10:08Z","timestamp":1746375008865,"version":"3.40.4"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319119571"},{"type":"electronic","value":"9783319119588"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11958-8_17","type":"book-chapter","created":{"date-parts":[[2014,9,11]],"date-time":"2014-09-11T11:24:40Z","timestamp":1410434680000},"page":"211-223","source":"Crossref","is-referenced-by-count":2,"title":["FMEBP: A Formal Modeling Environment of Business Process"],"prefix":"10.1007","author":[{"given":"Imed Eddine","family":"Chama","sequence":"first","affiliation":[]},{"given":"Nabil","family":"Belala","sequence":"additional","affiliation":[]},{"given":"Djamel-Eddine","family":"Saidouni","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"17_CR1","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"140","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Dill, D.L.: Model-checking in dense real-time. Information and Computation\u00a0140(1), 2\u201334 (1993)","journal-title":"Information and Computation"},{"key":"17_CR2","unstructured":"Belala, N., Sa\u00efdouni, D.E.: Actions Duration in Timed Models. In: Proceeding of International Arab Conference on Information Technology (ACIT 2006), Yarmouk University, Irbid (2006)"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS. In: Computer Networks and ISDN Systems, pp. 14:25\u201314:59 (1987)","DOI":"10.1016\/0169-7552(87)90085-7"},{"key":"17_CR4","unstructured":"Breugel, F.V.: Koshkina, M.: Models and verification of BPEL (2006), http:\/\/www.cse.yorku.ca\/~ranck\/research\/drafts\/tutorial.pdf"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Chirichiello, A., Sala\u00fcn, G.: Encoding abstract descriptions into executable web services: Towards a formal development. In: Proc. of the 3rd IEEE\/WIC\/ACM Intl. Conf. on Web Intelligence (WI 2005), pp. 457\u2013463 (2005)","DOI":"10.1109\/WI.2005.59"},{"key":"17_CR6","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/978-3-642-21759-3_19","volume":"81","author":"E. Fares","year":"2011","unstructured":"Fares, E., Bodeveix, J.P., Filali, M.: Verification of Timed BPEL 2.0 Models. Enterprise, Business-Process and Information Systems Modeling\u00a081, 261\u2013275 (2011)","journal-title":"Enterprise, Business-Process and Information Systems Modeling"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Ferrara, A.: Web services: a process algebra approach. In: Proceedings of the 2nd International Conference on Service Oriented Computing (ICSOC 2004), New York City, NY, USA, pp. 242\u2013251 (2004)","DOI":"10.1145\/1035167.1035202"},{"key":"17_CR8","unstructured":"ISO\/IEC. LOTOS: A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. In: International Standard 8807. International Organisation of Standardization \u2014 Information Processing Systems \u2014 Open Systems Interconnection. Gen\u00e8ve (1988)"},{"key":"17_CR9","unstructured":"Jordan, D., et al.: Web Services Business Process Execution Language (WSBPEL), OASIS Standard (2007), http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html"},{"key":"17_CR10","first-page":"497","volume-title":"Proceedings of the IEEE International Conference on Web Services","author":"R. Kazhamiakin","year":"2006","unstructured":"Kazhamiakin, R., Pandya, P., Pistore, M.: Representation, verification, and computation of timed properties in Web Service Compositions. In: Proceedings of the IEEE International Conference on Web Services, pp. 497\u2013504. IEEE Computer Society, Washington, DC (2006)"},{"key":"17_CR11","first-page":"134","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. IJSTTT\u00a01, 134\u2013152 (1997)","journal-title":"IJSTTT"},{"key":"17_CR12","unstructured":"Lohmann, N.: A feature-complete Petri net semantics for WS-BPEL 2.0. In: Hee, K.V., Reisig, W., Wolf, K. (eds.) Proceedings of the Workshop on Formal Approaches to Business Processes and Web Services (FABPWS 2007), University of Podlasie, pp. 21\u201335 (June 2007)"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Mateescu, R., Rampacek, S.: Formal Modeling and Discrete-Time Analysis of BPEL Web Services. International Journal of Simulation and Process Modeling (2008)","DOI":"10.1007\/978-3-540-68644-6_13"},{"key":"17_CR14","unstructured":"Sa\u00efdouni, D.E., Courtiat, J.P.: Prise en compte des dur\u00e9es d\u2019action dans les alg\u00e8bres de processus par l\u2019utilisation de la s\u00e9mantique de maximalit\u00e9. In: Ing\u00e9nierie des Protocoles (CFIP 2003), France, Paris, pp. 51\u201366 (2003)"},{"key":"17_CR15","unstructured":"Thivolle, D.: Langages modernes pour la mod\u00e9lisation et la v\u00e9rification des syst\u00e8mes asynchrones. PhD thesis. Grenoble: Grenoble University (laboratory of computing) (2011)"},{"key":"17_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-642-01918-0_2","volume-title":"Formal Methods for Web Services","author":"W.M.P. Aalst van der","year":"2009","unstructured":"van der Aalst, W.M.P., Mooij, A.J., Stahl, C., Wolf, K.: Service interaction: Patterns, formalization, and analysis. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol.\u00a05569, pp. 42\u201388. Springer, Heidelberg (2009)"}],"container-title":["Communications in Computer and Information Science","Information and Software Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11958-8_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T15:48:00Z","timestamp":1746373680000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11958-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319119571","9783319119588"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11958-8_17","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]}}}