{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T19:25:33Z","timestamp":1742930733803,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319462530"},{"type":"electronic","value":"9783319462547"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-46254-7_14","type":"book-chapter","created":{"date-parts":[[2016,9,21]],"date-time":"2016-09-21T06:04:13Z","timestamp":1474437853000},"page":"174-186","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards a Comprehensive Formal Model for Business Processes"],"prefix":"10.1007","author":[{"given":"Khalil","family":"Mecheraoui","sequence":"first","affiliation":[]},{"given":"Nabil","family":"Belala","sequence":"additional","affiliation":[]},{"given":"Djamel Eddine","family":"Sa\u00efdouni","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,22]]},"reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/978-3-319-10172-9_15","volume-title":"Business Process Management","author":"A Rogge-Solti","year":"2014","unstructured":"Rogge-Solti, A., Kasneci, G.: Temporal anomaly detection in business processes. In: Sadiq, S., Soffer, P., V\u00f6lzer, H. (eds.) BPM 2014. LNCS, vol. 8659, pp. 234\u2013249. Springer, Heidelberg (2014). doi:\n 10.1007\/978-3-319-10172-9_15"},{"key":"14_CR2","unstructured":"Thatte, S.: XLANG: Web services for business process design. Microsoft Corporation (2001)"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Leymann, F., et al.: Web services flow language (WSFL 1.0) (2001)","DOI":"10.1007\/3-540-45752-6_1"},{"key":"14_CR4","first-page":"290","volume":"9","author":"N Kavantzas","year":"2005","unstructured":"Kavantzas, N., et al.: Web services choreography description language version 1.0. W3C Candidate Recommendation 9, 290\u2013313 (2005)","journal-title":"W3C Candidate Recommendation"},{"key":"14_CR5","unstructured":"OASIS Standard. WSBPEL Ver. 2.0 (2007). \n http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html"},{"key":"14_CR6","unstructured":"Andrews, T., et al.: Business Process Execution Language for Web services (2003)"},{"key":"14_CR7","unstructured":"Thivolle, D.: Langages modernes pour la mod\u00e9lisation et la v\u00e9rification des syst\u00e8mes asynchrones. Ph.D. thesis, Universit\u00e9 de Grenoble and Universit\u00e9 Polytechnique de Bucarest (2011)"},{"key":"14_CR8","unstructured":"Cavalli, A., et al.: Definition of the mapping from BPEL to WS-TEFSM. In: Livrable WEBMOV-FC-D2.3\/T2.4 (2008)"},{"key":"14_CR9","unstructured":"Stahl, C.: A Petri net semantics for BPEL (2005)"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-79230-7_6","volume-title":"Web Services and Formal Methods","author":"N Lohmann","year":"2008","unstructured":"Lohmann, N.: A feature-complete petri net semantics for WS-BPEL\u00a02.0. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 77\u201391. Springer, Heidelberg (2008). doi:\n 10.1007\/978-3-540-79230-7_6"},{"issue":"3","key":"14_CR11","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.entcs.2008.04.092","volume":"200","author":"F Abouzaid","year":"2007","unstructured":"Abouzaid, F., Mullins, J.: A calculus for generation, verification and refinement of BPEL specifications. Electron. Notes Theor. Comput. Sci. 200(3), 43\u201365 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"2","key":"14_CR12","doi-asserted-by":"publisher","first-page":"62","DOI":"10.4018\/jertcs.2013040104","volume":"4","author":"N Belala","year":"2013","unstructured":"Belala, N., et al.: Time petri nets with action duration: a true concurrency real-time model. Int. J. Embed. Real-Time Commun. Syst. (IJERTCS) 4(2), 62\u201383 (2013)","journal-title":"Int. J. Embed. Real-Time Commun. Syst. (IJERTCS)"},{"key":"14_CR13","unstructured":"ISO\/JTC1\/SC7\/ WG19: International Standard ISO\/IEC 15909: Software and Systems Engineering - High-level Petri Nets, Part 1: Concepts, Definitions and Graphical Notation (2004)"},{"key":"14_CR14","unstructured":"Reisig, W., Massuthe, P., Schmidt, K.: An Operating Guideline Approach to the SOA (2005)"},{"key":"14_CR15","unstructured":"Petri, C.: Kommunikation mit Automaten. Ph.D. thesis. Schriften des Instituts f\u00fcr instrumentelle Mathematik, University of Bonn, Germany (1962)"},{"key":"14_CR16","unstructured":"WFMC: Workflow management coalition terminology and glossary. Technical Report WFMC-TC-1011, Workflow Management Coalition, Brussels (1999)"},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"WMP Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) Application and Theory of Petri Nets 1997. LNCS, vol. 1248, pp. 407\u2013426. Springer, Heidelberg (1997). doi:\n 10.1007\/3-540-63139-9_48"},{"key":"14_CR18","unstructured":"Sba\u00ef, Z.: Contribution \u00e1 la Mod\u00e9lisation et \u00e1 la V\u00e9rification de Processus Workflow. Ph.D. thesis, Ecole Doctorale Informatique, T\u00e9l\u00e9communications et Electronique de paris. France (2010)"},{"key":"14_CR19","unstructured":"Sba\u00ef, Z., Barkaoui, K., Boucheneb, H.: Compatibility analysis of time open workflow nets. In: PNSE 2014 - Petri Nets and Software Engineering (2014)"},{"key":"14_CR20","unstructured":"Jenner, L.: Further studies on timed testing of concurrent systems. Technical Report 4, Institute f\u00fcr Mathematik, Universit\u00e4t Augsburg (1998)"},{"key":"14_CR21","unstructured":"Merlin, P.M.: A study of the recoverability of computing systems. Ph.D. thesis. University of California, Irvine, USA (1974)"},{"key":"14_CR22","unstructured":"Ramchandani, C.: Analysis of asynchronous concurrent systems by timed Petri nets. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA (1974)"},{"key":"14_CR23","first-page":"75","volume":"4","author":"J Sifakis","year":"1977","unstructured":"Sifakis, J.: Use of petri nets for performance evaluation. Model. Perform. Eval. Comput. Syst. 4, 75\u201393 (1977)","journal-title":"Model. Perform. Eval. Comput. Syst."},{"key":"14_CR24","unstructured":"Sa\u00efdouni, D.E., Belala, N.: Actions duration in timed models. In: The International Arab Conference on Information Technology (2006)"},{"issue":"2","key":"14_CR25","first-page":"594","volume":"11","author":"Y Du","year":"2014","unstructured":"Du, Y., et al.: Timed compatibility analysis of Web service composition: A modular approach based on Petri nets. Autom. Sci. Eng. 11(2), 594\u2013606 (2014)","journal-title":"Autom. Sci. Eng."},{"key":"14_CR26","unstructured":"Mecheraoui, K.: Sp\u00e9cification formelle des processus m\u00e9tiers par l\u2019utilisation des r\u00e9seaux de Petri temporellement temporis\u00e9s. MSc Thesis, Ecole Nationale Sup\u00e9rieure d\u2019Informatique (2015)"}],"container-title":["Communications in Computer and Information Science","Information and Software Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46254-7_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T23:22:25Z","timestamp":1558394545000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46254-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319462530","9783319462547"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46254-7_14","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"22 September 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICIST","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Information and Software Technologies","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Druskininkai","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lithuania","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 October 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 October 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icist2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}