{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T09:53:55Z","timestamp":1725789235438},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,5]]},"DOI":"10.1109\/dictap.2014.6821684","type":"proceedings-article","created":{"date-parts":[[2014,5,30]],"date-time":"2014-05-30T20:01:18Z","timestamp":1401480078000},"page":"211-215","source":"Crossref","is-referenced-by-count":12,"title":["An approach to construct formal model of business process model from BPMN workflow patterns"],"prefix":"10.1109","author":[{"given":"Saran","family":"Yamasathien","sequence":"first","affiliation":[]},{"given":"Wiwat","family":"Vatanawood","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Formal Verification of Workflow Patterns with Spin","year":"2007","author":"vaz","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSESS.2011.5982346"},{"key":"11","first-page":"354","article-title":"Transformation of bpmn to yawl","author":"jianhong","year":"2008","journal-title":"Computer Science and Software Engineering 2008 International Conference on"},{"journal-title":"Model Checking of BPMN Models for Reconfigurable Workflows","year":"2011","author":"aguilar","key":"12"},{"key":"3","first-page":"478","article-title":"Detecting deadlock and multiple termination in BPMN model using process automata","author":"tantitharanukul","year":"2010","journal-title":"Electrical Engineering\/Electronics Computer Telecommunications and Information Technology (ECTI-CON) 2010 International Conference on"},{"journal-title":"Business Process Modeling Notation (Bpmn) Version 2 0 1","year":"2013","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2008.01.002"},{"key":"10","first-page":"285","article-title":"From bpmn process models to bpel web services","author":"ouvans","year":"2006","journal-title":"Web Services 2006 ICWS '06 International Conference on"},{"key":"7","article-title":"Workflow control-flow patterns: A revised view","author":"russell","year":"2006","journal-title":"BPMcenter Org"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1721933.1721950"},{"journal-title":"Model checking","year":"1999","author":"edmund m clarke","key":"5"},{"journal-title":"Formal Semantics and Automated Analysis of Bpmn Process Models","year":"2007","author":"dijkman","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68265-3_16"},{"journal-title":"SPIN General Description","year":"2012","author":"webpage","key":"8"}],"event":{"name":"2014 Fourth International Conference on Digital Information and Communication Technology and its Applications (DICTAP)","start":{"date-parts":[[2014,5,6]]},"location":"Bangkok, Thailand","end":{"date-parts":[[2014,5,8]]}},"container-title":["2014 Fourth International Conference on Digital Information and Communication Technology and its Applications (DICTAP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6816614\/6821645\/06821684.pdf?arnumber=6821684","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T16:06:39Z","timestamp":1490285199000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6821684\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/dictap.2014.6821684","relation":{},"subject":[],"published":{"date-parts":[[2014,5]]}}}