{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T17:10:20Z","timestamp":1732036220185,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1109\/aiccsa.2015.7507176","type":"proceedings-article","created":{"date-parts":[[2016,8,11]],"date-time":"2016-08-11T20:26:39Z","timestamp":1470947199000},"page":"1-8","source":"Crossref","is-referenced-by-count":3,"title":["An automatic approach to transform BPMN models to Pi-Calculus"],"prefix":"10.1109","author":[{"given":"Riad","family":"Boussetoua","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hammadi","family":"Bennoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Allaoua","family":"Chaoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Khaled","family":"Khalfaoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elhillali","family":"Kerkouche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"174","article-title":"AToM3: A tool for multi-formalism modelling and meta-modelling","volume":"2306","author":"de lara","year":"2002","journal-title":"Proceeding of ETAPS\/FASE’02"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.4304\/jsw.5.11.1279-1291"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.5121\/ijsea.2013.4202"},{"key":"ref13","article-title":"An Automatic approach to verify business process models using INA petri nets analyzer","volume":"3","author":"kerkouche","year":"2014","journal-title":"International journal of computer science & information Technology"},{"key":"ref14","article-title":"On the use of meta-modelling and graph grammars to generate petri nets models for Business Processes","author":"el mansouri","year":"2008","journal-title":"IRECOS Journal"},{"key":"ref15","first-page":"126","article-title":"Transformation of BPMN models for behaviour analysis","author":"raedts","year":"2007","journal-title":"Proceeding of the 5th International Workshop on Modeling Simulation Verification and Validation of systems MSVVEIS"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69387-1_58"},{"journal-title":"Business process model and notation (BPMN)","year":"2010","key":"ref17"},{"key":"ref18","first-page":"265","article-title":"Process modeling notations and workflow patterns","author":"white","year":"2004","journal-title":"Workflow Handbook 2004"},{"key":"ref19","article-title":"The -calculus: A theory of mobile processes","author":"sangiorgi","year":"2003","journal-title":"Paperback"},{"year":"0","key":"ref28"},{"key":"ref4","first-page":"5","article-title":"Workflow patterns. Distributed and parallel databases","volume":"14","author":"van der aalst","year":"2003"},{"year":"0","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44895-0_1"},{"key":"ref6","first-page":"153","article-title":"Using the Pi-Calculus for formalizing workflow patterns","volume":"3649","author":"puhlmann","year":"2005","journal-title":"Proceeding of the 3rd International Conference on Business Process Management"},{"article-title":"Communicating and mobile systems: The Pi-Calculus","year":"1999","author":"milner","key":"ref5"},{"key":"ref8","article-title":"Business process simulation - A tool survey","author":"jansen-vullers","year":"2006","journal-title":"Proceeding of the Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPM 2006)"},{"key":"ref7","first-page":"77","article-title":"Why do we actually need the Pi-Calculus for business process management","volume":"p 85","author":"puhlmann","year":"2006","journal-title":"9he International Conference on Business Information Systems (BIS 2006)"},{"journal-title":"OMG Final Adopted Specification","article-title":"Business process modeling notation (BPMN) Version 1.0.","year":"2006","key":"ref2"},{"journal-title":"AtoM3 Home Page","year":"0","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2010.12.013"},{"article-title":"Introduction to BPMN","year":"2004","author":"white","key":"ref20"},{"key":"ref22","first-page":"126","article-title":"From to mCRL2. Motivation and outline","author":"groote","year":"2005","journal-title":"Short contrib Workshop on Algebraic Process Calculi The First Twenty Five Years and Beyond BRICS Technical Report NS-05-3"},{"journal-title":"INA Home page","year":"0","key":"ref21"},{"year":"0","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29834-9_6"},{"year":"0","key":"ref26"},{"key":"ref25","article-title":"MetaEdit+: A fully con_gurable multi-user and multi-tool CASE and CAME Environment, In Advanced Information System Engineering","volume":"1080","author":"kelly","year":"1996","journal-title":"LNCS"}],"event":{"name":"2015 IEEE\/ACS 12th International Conference of Computer Systems and Applications (AICCSA)","start":{"date-parts":[[2015,11,17]]},"location":"Marrakech, Morocco","end":{"date-parts":[[2015,11,20]]}},"container-title":["2015 IEEE\/ACS 12th International Conference of Computer Systems and Applications (AICCSA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7502233\/7507087\/07507176.pdf?arnumber=7507176","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T12:46:16Z","timestamp":1489754776000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7507176\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/aiccsa.2015.7507176","relation":{},"subject":[],"published":{"date-parts":[[2015,11]]}}}