{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,17]],"date-time":"2026-01-17T09:24:56Z","timestamp":1768641896026,"version":"3.49.0"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030256920","type":"print"},{"value":"9783030256937","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-25693-7_7","type":"book-chapter","created":{"date-parts":[[2019,7,13]],"date-time":"2019-07-13T10:02:54Z","timestamp":1563012174000},"page":"117-136","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Stellar: A Programming Model for Developing Protocol-Compliant Agents"],"prefix":"10.1007","author":[{"given":"Ak\u0131n","family":"G\u00fcnay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amit K.","family":"Chopra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,7,14]]},"reference":[{"key":"7_CR1","unstructured":"Akka: 2.5.6 (2017). \n                      http:\/\/akka.io"},{"issue":"4","key":"7_CR2","doi-asserted-by":"publisher","first-page":"52:1","DOI":"10.1145\/2501654.2501666","volume":"45","author":"E Bainomugisha","year":"2013","unstructured":"Bainomugisha, E., Carreton, A.L., van Cutsem, T., Mostinckx, S., de Meuter, W.: A survey on reactive programming. ACM Comput. Surv. 45(4), 52:1\u201352:34 (2013)","journal-title":"ACM Comput. Surv."},{"key":"7_CR3","unstructured":"Chopra, A.K., Christie V., S.H., Singh, M.P.: Splee: a declarative information-based language for multiagent interaction protocols. In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, pp. 1054\u20131063 (2017)"},{"key":"7_CR4","unstructured":"Hewitt, C., Bishop, P., Steiger, R.: A universal modular actor formalism for artificial intelligence. In: Proceedings of the 3rd International Joint Conference on Artificial Intelligence, IJCAI 1973, pp. 235\u2013245. Morgan Kaufmann Publishers Inc., San Francisco (1973)"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/978-3-662-49665-7_24","volume-title":"Fundamental Approaches to Software Engineering","author":"Raymond Hu","year":"2016","unstructured":"Hu, R., Yoshida, N.: Hybrid session verification through endpoint API generation. In: Stevens, P., W\u0105sowski, A. (eds.) FASE 2016. LNCS, vol. 9633, pp. 401\u2013418. Springer, Heidelberg (2016). \n                      https:\/\/doi.org\/10.1007\/978-3-662-49665-7_24"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-10383-4_1","volume-title":"Service-Oriented Computing","author":"R Hull","year":"2009","unstructured":"Hull, R., Narendra, N.C., Nigam, A.: Facilitating workflow interoperation using artifact-centric hubs. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC\/ServiceWave -2009. LNCS, vol. 5900, pp. 1\u201318. Springer, Heidelberg (2009). \n                      https:\/\/doi.org\/10.1007\/978-3-642-10383-4_1"},{"issue":"5","key":"7_CR7","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/BF01211629","volume":"7","author":"PB Ladkin","year":"1995","unstructured":"Ladkin, P.B., Leue, S.: Interpreting message flow graphs. Formal Aspects Comput. 7(5), 473\u2013509 (1995)","journal-title":"Formal Aspects Comput."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Milicevic, A., Jackson, D., Gligoric, M., Marinov, D.: Model-based, event-driven programming paradigm for interactive web applications. In: Proceedings of the 2013 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2013, pp. 17\u201336. ACM, New York (2013)","DOI":"10.1145\/2509578.2509588"},{"issue":"3","key":"7_CR9","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.: Business artifacts: an approach to operational specification. IBM Syst. J. 42(3), 428\u2013445 (2003)","journal-title":"IBM Syst. J."},{"issue":"1","key":"7_CR10","doi-asserted-by":"publisher","first-page":"2:1","DOI":"10.1145\/1555392.1555395","volume":"19","author":"C Ouyang","year":"2009","unstructured":"Ouyang, C., Dumas, M., van der Aalst, W.M.P., Hofstede, A.H.M., Mendling, J.: From business process models to process-oriented software systems. ACM Trans. Softw. Eng. Methodol. 19(1), 2:1\u20132:37 (2009)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"7_CR11","unstructured":"Singh, M.P.: Information-driven interaction-oriented programming: BSPL, the Blindingly Simple Protocol Language. In: Proceedings of the 10th International Conference on Autonomous Agents and MultiAgent Systems, pp. 491\u2013498 (2011)"},{"key":"7_CR12","unstructured":"Singh, M.P.: Semantics and verification of information-based protocols. In: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, pp. 1149\u20131156 (2012)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Singh, M.P.: Bliss: specifying declarative service protocols. In: Proceedings of the 2014 IEEE International Conference on Services Computing, pp. 235\u2013242 (2014)","DOI":"10.1109\/SCC.2014.39"},{"issue":"1","key":"7_CR14","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/s10458-017-9373-9","volume":"32","author":"M Winikoff","year":"2018","unstructured":"Winikoff, M., Yadav, N., Padgham, L.: A new hierarchical agent protocol notation. Auton. Agents Multi-Agent Syst. 32(1), 59\u2013133 (2018)","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-319-05119-2_3","volume-title":"Trustworthy Global Computing","author":"N Yoshida","year":"2014","unstructured":"Yoshida, N., Hu, R., Neykova, R., Ng, N.: The Scribble protocol language. In: Abadi, M., Lluch Lafuente, A. (eds.) TGC 2013. LNCS, vol. 8358, pp. 22\u201341. Springer, Cham (2014). \n                      https:\/\/doi.org\/10.1007\/978-3-319-05119-2_3"}],"container-title":["Lecture Notes in Computer Science","Engineering Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-25693-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,13]],"date-time":"2019-07-13T10:04:24Z","timestamp":1563012264000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-25693-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030256920","9783030256937"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-25693-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"14 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EMAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Engineering Multi-Agent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Stockholm","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sweden","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 July 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 July 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"emas0","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}