{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T07:56:07Z","timestamp":1770450967769,"version":"3.49.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1109\/icacci.2017.8125824","type":"proceedings-article","created":{"date-parts":[[2017,12,4]],"date-time":"2017-12-04T17:26:11Z","timestamp":1512408371000},"page":"103-109","source":"Crossref","is-referenced-by-count":2,"title":["Design and verification of a collaborative task execution procedure using bpmn modeler"],"prefix":"10.1109","author":[{"given":"Amar","family":"Nath","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajdeep","family":"Niyogi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref32","author":"lynch","year":"1996","journal-title":"Distributed Algorithms"},{"key":"ref31","first-page":"77","article-title":"Message sequence charts","author":"harel","year":"2003","journal-title":"UML for Real"},{"key":"ref30","first-page":"0","article-title":"Introduction to bpmn","volume":"2","author":"white","year":"2004","journal-title":"IBM Cooperation"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2011.40"},{"key":"ref11","author":"studer","year":"2009","journal-title":"Modeling workflow patterns through a control-flow perspective using bpmn and the bpm modeler bizagi"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1613\/jair.740","article-title":"Partial-order planning with concurrent interacting actions","volume":"14","author":"boutilier","year":"2001","journal-title":"Journal of Artificial Intelligence Research"},{"key":"ref13","first-page":"1","article-title":"Distributed heuristic forward search for multi-agent systems","author":"brafman","year":"2014","journal-title":"ICAPS DMAP workshop"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s10489-017-0938-8"},{"key":"ref15","first-page":"1375","article-title":"Supervision and diagnosis of joint actions in multi-agent plans","author":"micalizio","year":"2008","journal-title":"Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems-Volume 3 International Foundation for Autonomous Agents and Multiagent Systems"},{"key":"ref16","first-page":"1760","article-title":"A distributed control loop for autonomous recovery in a multi-agent plan","author":"micalizio","year":"2009","journal-title":"IJCAI"},{"key":"ref17","first-page":"662","article-title":"Coalition formation among bounded rational agents","author":"sandholm","year":"1995","journal-title":"IJCAI"},{"key":"ref18","first-page":"1998","article-title":"Depint: Dependence-based coalition formation in an open multi-agent scenario","volume":"1","author":"sichman","year":"1998","journal-title":"Journal of Artificial Societies and Social Simulation"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s10726-005-3074-5"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2011.6147795"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICAR.1997.620182"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24175-8_8"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2000.844100"},{"key":"ref6","author":"mcdermott","year":"1998","journal-title":"PDDL-the Planning Domain Definition Language"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-26184-3_9"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/100.667325"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/IC3.2015.7346731"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1980.1675516"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008937911390"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.02.006"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.01.001"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426198"},{"key":"ref22","first-page":"195","article-title":"Maximal clique based distributed group formation for autonomous agent coalitions","author":"tosic","year":"2005","journal-title":"A parametric model for large scale agent systems"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/IAT.2004.1342939"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/70.795787"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2006.878948"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72619-7_7"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICIT.2015.11"}],"event":{"name":"2017 International Conference on Advances in Computing, Communications and Informatics (ICACCI)","location":"Udupi","start":{"date-parts":[[2017,9,13]]},"end":{"date-parts":[[2017,9,16]]}},"container-title":["2017 International Conference on Advances in Computing, Communications and Informatics (ICACCI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8119306\/8125802\/08125824.pdf?arnumber=8125824","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,7]],"date-time":"2019-10-07T07:26:38Z","timestamp":1570433198000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8125824\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/icacci.2017.8125824","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}