{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T20:18:04Z","timestamp":1740169084901,"version":"3.37.3"},"reference-count":42,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/OAPA.html"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61862065","61462095","61702442","61662085","61379032"],"award-info":[{"award-number":["61862065","61462095","61702442","61662085","61379032"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Application Basic Research Project in Yunnan Province","award":["2016FB102","2018FB105"],"award-info":[{"award-number":["2016FB102","2018FB105"]}]},{"DOI":"10.13039\/501100011298","name":"State Key Laboratory of Software Engineering","doi-asserted-by":"publisher","award":["2017SE201","2016SE202"],"award-info":[{"award-number":["2017SE201","2016SE202"]}],"id":[{"id":"10.13039\/501100011298","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Yunnan Province Young Academic and Technical Leaders Funds for Training","award":["C6143002"],"award-info":[{"award-number":["C6143002"]}]},{"DOI":"10.13039\/501100007846","name":"Yunnan Provincial Department of Education","doi-asserted-by":"publisher","award":["2017ZZX227"],"award-info":[{"award-number":["2017ZZX227"]}],"id":[{"id":"10.13039\/501100007846","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2019]]},"DOI":"10.1109\/access.2018.2889715","type":"journal-article","created":{"date-parts":[[2018,12,25]],"date-time":"2018-12-25T14:36:37Z","timestamp":1545748597000},"page":"31517-31534","source":"Crossref","is-referenced-by-count":5,"title":["Development of Private Processes: A Refinement Approach"],"prefix":"10.1109","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3438-5303","authenticated-orcid":false,"given":"Qi","family":"Mo","sequence":"first","affiliation":[]},{"given":"Fei","family":"Dai","sequence":"additional","affiliation":[]},{"given":"Di","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Jinglong","family":"Qin","sequence":"additional","affiliation":[]},{"given":"Zhongwen","family":"Xie","sequence":"additional","affiliation":[]},{"given":"Tong","family":"Li","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2853669"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2012.09.016"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2018.06.005"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2016.12.044"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/j.scico.2018.05.008","article-title":"A formal approach to modeling and verification of business process collaborations","volume":"166","author":"flavio","year":"2018","journal-title":"Sci Comput Program"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2010.06.006"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2434"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2011.08.004"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2009.09.010"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2016.2614325"},{"journal-title":"The P2P Approach to Interorganizational Workflows","year":"2013","author":"aalst","key":"ref10"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2743113"},{"key":"ref11","first-page":"1892","article-title":"An approach to extract public process from private process for building business collaboration","volume":"54","author":"qi","year":"2017","journal-title":"J Comput Res Develop"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.3724\/SP.J.1016.2012.02169"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2013.51"},{"key":"ref15","first-page":"692","article-title":"Collaboration business process modeling based on Petri nets and Pi calculus","volume":"9","author":"fei","year":"2015","journal-title":"Journal of Frontiers of Computer Science and Technology"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen.2008.0062"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45594-9_11"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2014.10.004"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"517","DOI":"10.3724\/SP.J.1001.2012.04103","article-title":"Modeling and verification of cross-organizational multi-business transactions","volume":"23","author":"min","year":"2012","journal-title":"J Softw"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1109\/TSC.2015.2413401","article-title":"VerChor: A framework for the design and verification of choreographies","volume":"9","author":"matthias","year":"2016","journal-title":"IEEE Trans Services Comput"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1080\/17517575.2015.1053415","article-title":"Enterprise pattern: Integrating the business process into a unified enterprise model of modern service company","volume":"11","author":"ying","year":"2017","journal-title":"Enterprise Inf Syst"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2017.12.005"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2015.2406694"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2334276"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.scico.2017.10.010","article-title":"Choreography realizability enforcement through the automatic synthesis of distributed coordination delegates","volume":"160","author":"marco","year":"2018","journal-title":"Sci Comput Program"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2014.2362819"},{"key":"ref8","first-page":"18","article-title":"Public view and object Petri net based modeling of cross-organizational process","volume":"8","author":"wang","year":"2014","journal-title":"Journal of Frontiers of Computer Science and Technology"},{"key":"ref7","first-page":"262","article-title":"Modeling and analyzing interorganizational work-flows","author":"aalst","year":"1998","journal-title":"Proc Intl Conf App Concurrency Syst Design"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MCC.2016.93"},{"key":"ref9","first-page":"139","article-title":"From public views to private views—Correctness-by-design for services","author":"van der aalst","year":"2007","journal-title":"Proc Int'l Workshop Web Services and Formal Methods"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2010.06.001"},{"key":"ref20","first-page":"2568","article-title":"Research on interaction modeling and mismatch checking of time-aware Web services","volume":"39","author":"guangquan","year":"2011","journal-title":"Acta Electronica Sinica"},{"key":"ref22","first-page":"57","article-title":"Fully-automatic translation of open workflow net models into simple abstract BPEL processes","volume":"4","author":"lohmann","year":"2008","journal-title":"Lecture Notes in Informatics"},{"journal-title":"Principle and Application of Petri Nets","year":"2005","author":"chongyi","key":"ref21"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2017.2696942"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2016.2536025"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2016.08.004"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2011.10.005"},{"journal-title":"Introduction to Algorithms","year":"2013","author":"cormen","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45594-9"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8600701\/08588327.pdf?arnumber=8588327","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:36:40Z","timestamp":1641987400000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8588327\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/access.2018.2889715","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2019]]}}}