{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T22:03:42Z","timestamp":1766181822090,"version":"3.41.2"},"reference-count":27,"publisher":"World Scientific Pub Co Pte Ltd","issue":"07","funder":[{"name":"the NSFC-Guangdong Joint Fund Project","award":["U20A6003"],"award-info":[{"award-number":["U20A6003"]}]},{"DOI":"10.13039\/501100001809","name":"the National Natural Science Foundation of Chin","doi-asserted-by":"crossref","award":["61972427"],"award-info":[{"award-number":["61972427"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"name":"the National Key Research and Development Program of China","award":["2020YFB1707603"],"award-info":[{"award-number":["2020YFB1707603"]}]},{"name":"the Research Foundation of Science and Technology Plan Project in Guangdong Province","award":["2020A0505100030"],"award-info":[{"award-number":["2020A0505100030"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Patt. Recogn. Artif. Intell."],"published-print":{"date-parts":[[2022,6,15]]},"abstract":"<jats:p> AI-based process model analysis has attracted more and more interest. Model quality is crucial for such research. At present, inter-organizational business process (IOBP) has been widely used in the model design and development of the distributed system. Before implementing the intelligent analysis of the IOBP model, conformance as a foundation for model quality checking plays a key role because it ensures in advance that the participants can successfully interact without violating the global communication constraints imposed by the choreography. In fact, the multi-instance participant is a common requirement in IOBP. This paper provides a formal approach and framework supporting the conformance between BPMN choreography and collaboration while considering multi-instance participants and message communication modes. As a core, the formalization proposed is based on BNF syntax and structured CSP# processes. It can well support multi-instance features and multiple communication modes. Combined with CSP#, the formal definitions of communication modes and verification properties are given. On this basis, an integrated framework is provided to support automated formal verification referring to multiple communication modes. Finally, a set of experiments is conducted to demonstrate the effectiveness of the proposal. <\/jats:p>","DOI":"10.1142\/s0218001422590133","type":"journal-article","created":{"date-parts":[[2022,2,21]],"date-time":"2022-02-21T14:02:18Z","timestamp":1645452138000},"source":"Crossref","is-referenced-by-count":2,"title":["Conformance Between Choreography and Collaboration in BPMN Involving Multi-Instance Participants"],"prefix":"10.1142","volume":"36","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7452-4662","authenticated-orcid":false,"given":"Tianhong","family":"Xiong","sequence":"first","affiliation":[{"name":"School of Computer Science and Engineering, Sun Yat-sen University, Guangzhou 510006, P.\u00a0R\u00a0China"}]},{"given":"Maolin","family":"Pan","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Sun Yat-sen University, Guangzhou 510006, P.\u00a0R\u00a0China"}]},{"given":"Yang","family":"Yu","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Sun Yat-sen University, Guangzhou 510006, P.\u00a0R\u00a0China"}]},{"given":"Dingjun","family":"Lou","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Sun Yat-sen University, Guangzhou 510006, P.\u00a0R\u00a0China"}]}],"member":"219","published-online":{"date-parts":[[2022,4,28]]},"reference":[{"issue":"99","key":"S0218001422590133BIB001","first-page":"1","author":"Asare E.","year":"2020","journal-title":"IEEE Access"},{"key":"S0218001422590133BIB002","doi-asserted-by":"publisher","DOI":"10.1109\/SEW.2012.17"},{"key":"S0218001422590133BIB003","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44860-1_12"},{"key":"S0218001422590133BIB004","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-016-0379-x"},{"key":"S0218001422590133BIB005","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-98648-7_6"},{"key":"S0218001422590133BIB006","doi-asserted-by":"publisher","DOI":"10.1080\/10580530.2010.514164"},{"key":"S0218001422590133BIB007","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2018.00022"},{"key":"S0218001422590133BIB008","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-018-0681-6"},{"key":"S0218001422590133BIB009","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2015.31"},{"key":"S0218001422590133BIB010","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2015.2413401"},{"key":"S0218001422590133BIB011","doi-asserted-by":"publisher","DOI":"10.1142\/S0218001415590028"},{"key":"S0218001422590133BIB012","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30429-4_21"},{"key":"S0218001422590133BIB013","first-page":"1","author":"Henriksson A.","year":"2021","journal-title":"Softw. Syst. Modeling"},{"issue":"8","key":"S0218001422590133BIB014","first-page":"666","volume":"21","author":"Hoare A. R. C.","year":"1978","journal-title":"Verbindung sequentieller Verfahren"},{"key":"S0218001422590133BIB015","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194021500315"},{"key":"S0218001422590133BIB016","first-page":"93","volume-title":"Information and Communication Technologies in Education, Research, and Industrial Applications","author":"Kopp A.","year":"2021"},{"key":"S0218001422590133BIB017","doi-asserted-by":"publisher","DOI":"10.1109\/ICAICA50127.2020.9182539"},{"key":"S0218001422590133BIB018","doi-asserted-by":"publisher","DOI":"10.1109\/CBI.2013.19"},{"key":"S0218001422590133BIB019","first-page":"85","volume-title":"Software Engineering and Formal Methods, SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA","author":"Najem T.","year":"2019"},{"key":"S0218001422590133BIB021","doi-asserted-by":"publisher","DOI":"10.1109\/ICWR.2016.7498448"},{"key":"S0218001422590133BIB022","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-40172-6"},{"key":"S0218001422590133BIB023","doi-asserted-by":"publisher","DOI":"10.1142\/S0218001420590120"},{"key":"S0218001422590133BIB024","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.11.003"},{"key":"S0218001422590133BIB025","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_59"},{"key":"S0218001422590133BIB027","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39614-4_7"},{"key":"S0218001422590133BIB028","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88194-0_22"},{"key":"S0218001422590133BIB029","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2019.10277"}],"container-title":["International Journal of Pattern Recognition and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218001422590133","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,20]],"date-time":"2022-06-20T10:13:50Z","timestamp":1655720030000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/10.1142\/S0218001422590133"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,28]]},"references-count":27,"journal-issue":{"issue":"07","published-print":{"date-parts":[[2022,6,15]]}},"alternative-id":["10.1142\/S0218001422590133"],"URL":"https:\/\/doi.org\/10.1142\/s0218001422590133","relation":{},"ISSN":["0218-0014","1793-6381"],"issn-type":[{"type":"print","value":"0218-0014"},{"type":"electronic","value":"1793-6381"}],"subject":[],"published":{"date-parts":[[2022,4,28]]},"article-number":"2259013"}}