{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,7]],"date-time":"2026-01-07T09:16:30Z","timestamp":1767777390255,"version":"3.37.3"},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,7,10]],"date-time":"2017-07-10T00:00:00Z","timestamp":1499644800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,7,10]],"date-time":"2017-07-10T00:00:00Z","timestamp":1499644800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100000923","name":"Australian Research Council","doi-asserted-by":"publisher","award":["LP110100050"],"award-info":[{"award-number":["LP110100050"]}],"id":[{"id":"10.13039\/501100000923","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Auton Agent Multi-Agent Syst"],"published-print":{"date-parts":[[2018,1]]},"DOI":"10.1007\/s10458-017-9373-9","type":"journal-article","created":{"date-parts":[[2017,7,10]],"date-time":"2017-07-10T17:44:57Z","timestamp":1499708697000},"page":"59-133","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["A new Hierarchical Agent Protocol Notation"],"prefix":"10.1007","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5545-7003","authenticated-orcid":false,"given":"Michael","family":"Winikoff","sequence":"first","affiliation":[]},{"given":"Nitin","family":"Yadav","sequence":"additional","affiliation":[]},{"given":"Lin","family":"Padgham","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,7,10]]},"reference":[{"key":"9373_CR1","unstructured":"Alur, R., Kannan, S., & Yannakakis, M. (1999). Communicating hierarchical state machines. In J. Wiedermann, P. van Emde Boas, & M. Nielsen (Eds.), Automata, languages and programming (pp. 169\u2013178). Berlin: Springer."},{"key":"9373_CR2","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-319-30734-3_6","volume-title":"Theory and practice of formal methods: Essays dedicated to Frank de Boer on the occasion of his 60th birthday","author":"D Ancona","year":"2016","unstructured":"Ancona, D., Ferrando, A., & Mascardi, V. (2016). Comparing trace expressions and linear temporal logic for runtime verification. In E. \u00c1brah\u00e1m, M. Bonsangue, & E. B. Johnsen (Eds.), Theory and practice of formal methods: Essays dedicated to Frank de Boer on the occasion of his 60th birthday (pp. 47\u201364). Cham: Springer."},{"key":"9373_CR3","unstructured":"Baldoni, M., Baroglio, C., Calvanese, D., Micalizio, R., & Montali, M. (2016). Data and norm-aware multiagent systems for software modularization (position paper). In M. Baldoni, J. P. M\u00fcller, I. Nunes, & R. Zalila-Wenkstern (Eds.), Engineering multi-agent systems (EMAS) (informal workshop proceedings) (pp. 23\u201338). Singapore."},{"issue":"4","key":"9373_CR4","doi-asserted-by":"publisher","first-page":"23:1","DOI":"10.1145\/2677206","volume":"14","author":"M Baldoni","year":"2014","unstructured":"Baldoni, M., Baroglio, C., & Capuzzimati, F. (2014). A commitment-based infrastructure for programming socio-technical systems. ACM Transactions on Internet Technology, 14(4), 23:1\u201323:23.","journal-title":"ACM Transactions on Internet Technology"},{"issue":"2","key":"9373_CR5","first-page":"22","volume":"4","author":"M Baldoni","year":"2013","unstructured":"Baldoni, M., Baroglio, C., Marengo, E., & Patti, V. (2013). Constitutive and regulative specifications of commitment protocols: A decoupled approach. ACM Transactions on Intelligent Systems and Technologies, 4(2), 22.","journal-title":"ACM Transactions on Intelligent Systems and Technologies"},{"issue":"4","key":"9373_CR6","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/s10458-013-9233-1","volume":"28","author":"M Baldoni","year":"2014","unstructured":"Baldoni, M., Baroglio, C., Marengo, E., Patti, V., & Capuzzimati, F. (2014). Engineering commitment-based business protocols with the 2CL methodology. Autonomous Agents and Multi-Agent Systems, 28(4), 519\u2013557.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"9373_CR7","unstructured":"Basu, S., Bultan, T., & Ouederni, M. (2012). Deciding choreography realizability. In J. Field & M. Hicks (Eds.), Proceedings of the 39th ACM SIGPLAN-SIGACT symposium on principles of programming languages (POPL) (pp. 191\u2013202). Philadelphia, Pennsylvania: ACM."},{"issue":"4","key":"9373_CR8","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1147\/sj.464.0703","volume":"46","author":"K Bhattacharya","year":"2007","unstructured":"Bhattacharya, K., Caswell, N. S., Kumaran, S., Nigam, A., & Wu, F. Y. (2007). Artifact-centered operational modeling: Lessons from customer engagements. IBM Systems Journal, 46(4), 703\u2013721.","journal-title":"IBM Systems Journal"},{"issue":"1","key":"9373_CR9","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/MIC.2006.1","volume":"10","author":"T Bultan","year":"2006","unstructured":"Bultan, T., Su, J., & Fu, X. (2006). Analyzing conversations of web services. IEEE Internet Computing, 10(1), 18\u201325.","journal-title":"IEEE Internet Computing"},{"key":"9373_CR10","unstructured":"Cabac, L., Duvigneau, M., Moldt, D., & R\u00f6lke, H. (2005). Modeling dynamic architectures using nets-within-nets. In G. Ciardo & P. Darondeau (Eds.), 26th International conference on applications and theory of Petri nets (ICATPN), volume 3536 of lecture notes in computer science (pp. 148\u2013167). Berlin: Springer."},{"key":"9373_CR11","first-page":"1054","volume-title":"Autonomous agents and multi-agent systems (AAMAS)","author":"AK Chopra","year":"2017","unstructured":"Chopra, A. K., Christie, S. H. V., & Singh, M. P. (2017). Splee: A declarative information-based language for multiagent interaction protocols. In S. Das, E. Durfee, K. Larson, & M. Winikoff (Eds.), Autonomous agents and multi-agent systems (AAMAS) (pp. 1054\u20131063). S\u00e3o Paulo, Brazil: IFAAMAS."},{"key":"9373_CR12","first-page":"2052","volume-title":"Proceedings of the twenty-ninth AAAI conference on artificial intelligence","author":"AK Chopra","year":"2015","unstructured":"Chopra, A. K., & Singh, M. P. (2015). Cupid: Commitments in relational algebra. In B. Bonet & S. Koenig (Eds.), Proceedings of the twenty-ninth AAAI conference on artificial intelligence (pp. 2052\u20132059). Austin, TX: AAAI Press."},{"key":"9373_CR13","first-page":"1096","volume-title":"Autonomous agents & multiagent systems (AAMAS)","author":"AK Chopra","year":"2016","unstructured":"Chopra, A. K., & Singh, M. P. (2016). Custard: Computing norm states over information stores. In C. M. Jonker, S. Marsella, J. Thangarajah, & K. Tuyls (Eds.), Autonomous agents & multiagent systems (AAMAS) (pp. 1096\u20131105). Singapore: IFAAMAS."},{"issue":"3","key":"9373_CR14","first-page":"3","volume":"32","author":"D Cohn","year":"2009","unstructured":"Cohn, D., & Hull, R. (2009). Business artifacts: A data-centric approach to modeling business operations and processes. IEEE Data Engineering Bulletin, 32(3), 3\u20139.","journal-title":"IEEE Data Engineering Bulletin"},{"key":"9373_CR15","doi-asserted-by":"publisher","unstructured":"Desai, N., Chopra, A. K., & Singh, M. P. (2009). Amoeba: A methodology for modeling and evolving cross-organizational business processes. ACM Transactions on Software Engineering and Methodology, 19(2). doi:\n                    10.1145\/1571629.1571632\n                    \n                  .","DOI":"10.1145\/1571629.1571632"},{"key":"9373_CR16","unstructured":"Desai, N., & Singh, M. P. (2008). On the enactability of business protocols. In D. Fox & C. P. Gomes (Eds.), Proceedings of the twenty-third AAAI conference on artificial intelligence (pp. 1126\u20131131). Chicago, Il: AAAI Press."},{"issue":"3","key":"9373_CR17","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/j.scico.2008.09.001","volume":"74","author":"R Eshuis","year":"2009","unstructured":"Eshuis, R. (2009). Reconciling statechart semantics. Science of Computer Programming, 74(3), 65\u201399.","journal-title":"Science of Computer Programming"},{"issue":"2","key":"9373_CR18","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/s10458-014-9251-7","volume":"29","author":"A G\u00fcnay","year":"2015","unstructured":"G\u00fcnay, A., Winikoff, M., & Yolum, P. (2015). Dynamically generated commitment protocols in open systems. Autonomous Agents and Multi-Agent Systems, 29(2), 192\u2013229.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"3","key":"9373_CR19","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D. (1987). Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3), 231\u2013274.","journal-title":"Science of Computer Programming"},{"key":"9373_CR20","unstructured":"Huget, M.-P., Bauer, B., Odell, J., Levy, R., Turci, P., Cervenka, R., & Zhu, H. (2003). FIPA modeling: Interaction diagrams. On \n                    www.auml.org\n                    \n                   under \u201cWorking Documents\u201d. FIPA Working Draft (version 2003-07-02)."},{"key":"9373_CR21","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-30578-1_2","volume-title":"Agent-oriented software engineering V: 5th international workshop, AOSE 2004, Revised Selected Papers","author":"M-P Huget","year":"2005","unstructured":"Huget, M.-P., & Odell, J. (2005). Representing agent interaction protocols with agent UML. In J. Odell, P. Giorgini, & J. P. M\u00fcller (Eds.), Agent-oriented software engineering V: 5th international workshop, AOSE 2004, Revised Selected Papers (pp. 16\u201330). Berlin: Springer."},{"key":"9373_CR22","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/1-4020-8058-1_15","volume-title":"Methodologies and software engineering for agent systems","author":"M-P Huget","year":"2004","unstructured":"Huget, M.-P., Odell, J., & Bauer, B. (2004). The AUML approach. In F. Bergenti, M. P. Gleizes, & F. Zambonelli (Eds.), Methodologies and software engineering for agent systems (pp. 237\u2013257). Berlin: Springer."},{"key":"9373_CR23","unstructured":"Jarvis, J., R\u00f6nnquist, R., Jarvis, D., & Jain, L. C. (2008). A conceptual model for holonic manufacturing execution. In Holonic execution: A BDI approach, volume 106 of studies in computational intelligence (pp. 33\u201342). Berlin: Springer."},{"issue":"2\u20133","key":"9373_CR24","first-page":"160","volume":"29","author":"J Jarvis","year":"2006","unstructured":"Jarvis, J., R\u00f6nnquist, R., McFarlane, D., & Jain, L. (2006). A team-based holonic approach to robotic assembly cell control. Journal of Network and Computer Applications, 29(2\u20133), 160\u2013176.","journal-title":"Journal of Network and Computer Applications"},{"key":"9373_CR25","unstructured":"Kazhamiakin, R., & Pistore, M. (2006). Analysis of realizability conditions for web service choreographies. In E. Najm, J. Pradat-Peyre, & V. Donzeau-Gouge (Eds.), Formal techniques for networked and distributed systems FORTE, volume 4229 of lecture notes in computer science (pp. 61\u201376). Berlin: Springer."},{"key":"9373_CR26","unstructured":"Koning, J., Huget, M., Wei, J., & Wang, X. (2001). Extended modeling languages for interaction protocol design. In M. Wooldridge, G. Wei\u00df, & P. Ciancarini (Eds.), Agent-oriented software engineering II, second international workshop, Revised Papers and Invited Contributions, volume 2222 of lecture notes in computer science (pp. 68\u201383). Berlin: Springer."},{"key":"9373_CR27","doi-asserted-by":"crossref","unstructured":"Lanese, I., Guidi, C., Montesi, F., & Zavattaro, G. (2008). Bridging the gap between interaction- and process-oriented choreographies. In Sixth IEEE international conference on software engineering and formal methods (pp. 323\u2013332).","DOI":"10.1109\/SEFM.2008.11"},{"key":"9373_CR28","doi-asserted-by":"crossref","unstructured":"Mazouzi, H., Fallah-Seghrouchni, A. E., & Haddad, S. (2002). Open protocol design for complex interactions in multi-agent systems. In Autonomous agents & multiagent systems (AAMAS) (pp. 517\u2013526). ACM.","DOI":"10.1145\/544862.544866"},{"key":"9373_CR29","first-page":"157","volume-title":"Autonomous agents and multi-agent systems (AAMAS)","author":"M Montali","year":"2014","unstructured":"Montali, M., Calvanese, D., & De Giacomo, G. (2014). Verification of data-aware commitment-based multiagent system. In A. L. C. Bazzan, M. N. Huhns, A. Lomuscio, & P. Scerri (Eds.), Autonomous agents and multi-agent systems (AAMAS) (pp. 157\u2013164). Paris, France: IFAAMAS."},{"issue":"6","key":"9373_CR30","doi-asserted-by":"publisher","first-page":"756","DOI":"10.1109\/TSE.2009.67","volume":"35","author":"DL Moody","year":"2009","unstructured":"Moody, D. L. (2009). The \u201cphysics\u201d of notations: Toward a scientific basis for constructing visual notations in software engineering. IEEE Transactions on Software Engineering, 35(6), 756\u2013779.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9373_CR31","doi-asserted-by":"crossref","unstructured":"Moody, D. L., & van Hillegersberg, J. (2009) Evaluating the visual syntax of UML: An analysis of the cognitive effectiveness of the UML family of diagrams. In D. Gasevic, R. L\u00e4mmel, & E. V. Wyk (Eds.), First international conference on software language engineering, volume 5452 of lecture notes in computer science (pp. 16\u201334). Berlin: Springer.","DOI":"10.1007\/978-3-642-00434-6_3"},{"issue":"3","key":"9373_CR32","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1147\/sj.423.0428","volume":"42","author":"A Nigam","year":"2003","unstructured":"Nigam, A., & Caswell, N. S. (2003). Business artifacts: An approach to operational specification. IBM Systems Journal, 42(3), 428\u2013445.","journal-title":"IBM Systems Journal"},{"key":"9373_CR33","doi-asserted-by":"crossref","unstructured":"Reisig, W. (1985). Petri nets: An introduction. EATCS Monographs on Theoretical Computer Science. Berlin: Springer.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"9373_CR34","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.735849","volume":"31","author":"MP Singh","year":"1998","unstructured":"Singh, M. P. (1998). Agent communication languages: Rethinking the principles. Computer, 31, 40\u201347.","journal-title":"Computer"},{"key":"9373_CR35","unstructured":"Singh, M. P. (2011). Information-driven interaction-oriented programming: BSPL, the Blindingly simple protocol language. In Proceedings of the 10th international conference on autonomous agents and multiagent systems (AAMAS) (pp. 491\u2013498)."},{"key":"9373_CR36","doi-asserted-by":"crossref","unstructured":"Singh, M. P. (2011). LoST: Local state transfer\u2014An architectural style for the distributed enactment of business protocols. In IEEE international conference on web Services (ICWS) (pp. 57\u201364). IEEE Computer Society.","DOI":"10.1109\/ICWS.2011.48"},{"key":"9373_CR37","unstructured":"Singh, M. P. (2012). Semantics and verification of information-based protocols. In Proceedings of the 11th international conference on autonomous agents and multiagent systems (AAMAS) (pp. 1149\u20131156)."},{"key":"9373_CR38","doi-asserted-by":"crossref","unstructured":"Singh, M. P. (2014). Bliss: Specifying declarative service protocols. In Proceedings of the 11th IEEE international conference on services computing (SCC) (pp. 1\u20138).","DOI":"10.1109\/SCC.2014.39"},{"key":"9373_CR39","unstructured":"Taleghani, A., & Atlee, J. (2006). Semantic variations among UML StateMachines. In O. Nierstrasz, J. Whittle, D. Harel, & G. Reggio (Eds.), Model driven engineering languages and systems, volume 4199 of lecture notes in computer science (pp. 245\u2013259). Berlin: Springer."},{"key":"9373_CR40","first-page":"1073","volume-title":"International conference on autonomous agents and multiagent systems AAMAS","author":"PR Telang","year":"2012","unstructured":"Telang, P. R., & Singh, M. P. (2012). Comma: A commitment-based business modeling methodology and its empirical evaluation. In W. van der Hoek, L. Padgham, V. Conitzer, & M. Winikoff (Eds.), International conference on autonomous agents and multiagent systems AAMAS (pp. 1073\u20131080). Valencia, Spain: IFAAMAS."},{"key":"9373_CR41","unstructured":"Thielscher, M., & Zhang, D. (2010). From general game descriptions to a market specification language for general trading agents. In E. David, E. Gerding, D. Sarne, & O. Shehory (Eds.), Agent-mediated electronic commerce. Designing trading strategies and mechanisms for electronic markets (pp. 259\u2013274). Berlin: Springer."},{"key":"9373_CR42","doi-asserted-by":"crossref","unstructured":"Winikoff, M. (2006). Designing commitment-based agent interactions. In IEEE\/WIC\/ACM international conference on intelligent agent technology (IAT).","DOI":"10.1109\/IAT.2006.53"},{"issue":"4","key":"9373_CR43","doi-asserted-by":"publisher","first-page":"365","DOI":"10.3233\/MGS-2006-2405","volume":"2","author":"M Winikoff","year":"2006","unstructured":"Winikoff, M. (2006). Implementing flexible and robust agent interactions using distributed commitment machines. Multiagent and Grid Systems, 2(4), 365\u2013381.","journal-title":"Multiagent and Grid Systems"},{"key":"9373_CR44","doi-asserted-by":"crossref","unstructured":"Winikoff, M. (2007). Implementing commitment-based interactions. In Autonomous Agents and multi-agent systems (AAMAS) (pp. 873\u2013880).","DOI":"10.1145\/1329125.1329283"},{"key":"9373_CR45","unstructured":"Winikoff, M., Liu, W., & Harland, J. (2004). Enhancing commitment machines. In J. Leite, A. Omicini, P. Torroni, & P. Yolum (Eds.), Declarative agent languages and technologies II, number 3476 in lecture notes in artificial intelligence (pp. 198\u2013220). Berlin: Springer."},{"key":"9373_CR46","first-page":"695","volume-title":"Multiagent systems","author":"M Winikoff","year":"2013","unstructured":"Winikoff, M., & Padgham, L. (2013). Agent oriented software engineering, chapter 15. In G. Wei\u00df (Ed.), Multiagent systems (2nd ed., pp. 695\u2013757). Cambridge, MA: MIT Press.","edition":"2"},{"key":"9373_CR47","unstructured":"Yadav, N., Padgham, L., & Winikoff, M. (2015). A tool for defining agent protocols in HAPN: (demonstration). In Autonomous agents and multiagent systems (AAMAS) (pp. 1935\u20131936). IFAAMAS"},{"key":"9373_CR48","unstructured":"Yolum, P. (2005). Towards design tools for protocol development. In F. Dignum, V. Dignum, S. Koenig, S. Kraus, M. P. Singh, & M. Wooldridge (Eds.), Autonomous agents and multi-agent systems (AAMAS) (pp. 99\u2013105). Utrecht, The Netherlands: ACM Press."},{"key":"9373_CR49","doi-asserted-by":"crossref","unstructured":"Yolum, P., & Singh, M. (2002). Commitment machines. In J.-J. C. Meyer & M. Tambe (Eds.), Agent theories, architectures, and languages (ATAL), volume 2333 of lecture notes in computer science (pp. 235\u2013247). Berlin: Springer","DOI":"10.1007\/3-540-45448-9_17"},{"key":"9373_CR50","doi-asserted-by":"crossref","unstructured":"Yolum, P., & Singh, M. P. (2002). Flexible protocol specification and execution: Applying event calculus planning using commitments. In Autonomous agents and multiagent systems (AAMAS) (pp. 527\u2013534).","DOI":"10.1145\/544862.544867"}],"container-title":["Autonomous Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10458-017-9373-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-017-9373-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-017-9373-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,17]],"date-time":"2020-05-17T15:20:47Z","timestamp":1589728847000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10458-017-9373-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,10]]},"references-count":50,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,1]]}},"alternative-id":["9373"],"URL":"https:\/\/doi.org\/10.1007\/s10458-017-9373-9","relation":{},"ISSN":["1387-2532","1573-7454"],"issn-type":[{"type":"print","value":"1387-2532"},{"type":"electronic","value":"1573-7454"}],"subject":[],"published":{"date-parts":[[2017,7,10]]},"assertion":[{"value":"10 July 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}