{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T13:20:54Z","timestamp":1730208054637,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/cist.2014.7016587","type":"proceedings-article","created":{"date-parts":[[2015,1,24]],"date-time":"2015-01-24T02:22:52Z","timestamp":1422066172000},"page":"12-17","source":"Crossref","is-referenced-by-count":0,"title":["Towards formal verification of business process using a graphical specification"],"prefix":"10.1109","author":[{"given":"Outman","family":"El Hichami","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Badr Eddine","family":"El Mohajir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammed","family":"Al Achhab","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ismail","family":"Berrada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rachid","family":"Oucheikh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","article-title":"Properties, Analysis and Applications. an invited surve y paper","volume":"77","author":"murata","year":"1989","journal-title":"Proceedings of the IEEE"},{"key":"ref11","first-page":"486","article-title":"An Approach Of Optimisation And Formal Verification Of Workflow Petri Nets","volume":"61","author":"el hichami","year":"2014","journal-title":"Journal of Theoretical and Applied Information Technology"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CSSE.2008.980"},{"key":"ref13","first-page":"318","article-title":"PNML Framework: an extendable reference implementation of the Petri Net Markup Language","author":"hillah","year":"2010","journal-title":"Petri Nets LNCS 6128"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"journal-title":"Model checking the branching time temporal logic CTL Research Report A45","year":"1997","author":"heljanko","key":"ref15"},{"key":"ref16","first-page":"355374","volume":"5256","author":"wong","year":"2008","journal-title":"A Process Semantics for BPMN ser Lecture Notes in Computer Science"},{"key":"ref17","article-title":"Formal semantics and analysis of BPMN process models using Petri nets","author":"dijkman","year":"2007","journal-title":"Technical Report 7115"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.02.006"},{"key":"ref19","first-page":"484494","article-title":"ProM 4.0: Comprehensive Support for Real Process Analysis","volume":"4546 of lncs","author":"van der aalst","year":"2007","journal-title":"Proc Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2007)"},{"journal-title":"Business Process Modeling Notation (BPMN) Version 1 0 OMG Final Adopted Specification","year":"2011","key":"ref4"},{"key":"ref27","first-page":"126","article-title":"Transformation of BPMN Models for Behaviour Analysis","author":"raedts","year":"2007","journal-title":"MSVVEIS"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2009.29"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-09581-3_27"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/APSCC.2008.208"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2011.01.004"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38143-0_10"},{"key":"ref2","first-page":"i","author":"weske","year":"2012","journal-title":"Business Process Management Concepts Languages Architectures"},{"key":"ref9","first-page":"93","article-title":"Visual specification language and automatic checking of business process","volume":"1256","author":"el hichami","year":"0"},{"key":"ref1","first-page":"38","article-title":"Business Process Modeling: Active Research Areas and Challenges","author":"lodhi","year":"2011","journal-title":"Technical Report 1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CSSE.2008.980"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1080\/00207540701199677"},{"key":"ref21","first-page":"450462","article-title":"CPN tools for editing, simulating, and analysing coloured petri nets","author":"ratzer","year":"2003","journal-title":"ICATPN 2003 ser LNCS 2679"},{"key":"ref24","first-page":"573","volume":"132","author":"sakr","year":"2013","journal-title":"Querying Process Models Repositories by Aggregated Graph Search"},{"journal-title":"Web Services Business Process Execution Language Version 2 0 Committee Draft WS-BPEL TC OASIS","year":"2005","author":"arkin","key":"ref23"},{"key":"ref26","first-page":"115","article-title":"BPMN-Q: A Language to Query Business Processes","author":"awad","year":"2007","journal-title":"EMISA"},{"key":"ref25","first-page":"536","article-title":"Oryx - Sharing Conceptual Models on the Web","author":"decker","year":"2008","journal-title":"Conceptual Modeling - ER LNCS 5231"}],"event":{"name":"2014 Third IEEE International Colloquium in Information Science and Technology (CIST)","start":{"date-parts":[[2014,10,20]]},"location":"Tetouan","end":{"date-parts":[[2014,10,22]]}},"container-title":["2014 Third IEEE International Colloquium in Information Science and Technology (CIST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6996097\/7016576\/07016587.pdf?arnumber=7016587","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T19:49:36Z","timestamp":1602704976000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7016587\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/cist.2014.7016587","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}