{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T04:05:01Z","timestamp":1748577901899,"version":"3.41.0"},"publisher-location":"Cham","reference-count":46,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319219110"},{"type":"electronic","value":"9783319219127"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21912-7_6","type":"book-chapter","created":{"date-parts":[[2015,7,16]],"date-time":"2015-07-16T15:37:26Z","timestamp":1437061046000},"page":"133-164","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["The Event Coordination Notation: Behaviour Modelling Beyond Mickey Mouse"],"prefix":"10.1007","author":[{"given":"Jesper","family":"Jepsen","sequence":"first","affiliation":[]},{"given":"Ekkart","family":"Kindler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,17]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Kindler, E.: Model-based software engineering: the challenges of modelling behaviour. In: Aksit, M., Kindler, E., Roubtsova, E., McNeile, A. (eds.) Proceedings of the Second Workshop on Behavioural Modelling - Foundations and Application (BM-FA 2010), pp. 51\u201366 (2010) (Also published in the ACM electronic libraries)","DOI":"10.1145\/1811147.1811151"},{"key":"6_CR2","unstructured":"OMG: MDA guide v1.0.1. (2003). http:\/\/www.omg.org\/cgi-bin\/doc?omg\/03-06-01"},{"key":"6_CR3","unstructured":"Petri, C.A.: Kommunikation mit Automaten. Technical report Schriften des IIM, Nr. 2, Institut f\u00fcr instrumentelle Mathematik, Bonn (1962)"},{"issue":"8","key":"6_CR4","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C Hoare","year":"1978","unstructured":"Hoare, C.: Communicating sequential processes. Comm. ACM 21(8), 666\u2013677 (1978)","journal-title":"Comm. ACM"},{"key":"6_CR5","volume-title":"Communicating Sequential Processes","author":"C Hoare","year":"1985","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice-Hall, Upper Saddle River (1985)"},{"issue":"3","key":"6_CR6","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.: Statecharts: a visual formalism for computer systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"key":"6_CR7","series-title":"International Series in Computer Science","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. International Series in Computer Science. Prentice Hall, Upper Saddle River (1989)"},{"key":"6_CR8","series-title":"The Eclipse Series","volume-title":"Eclipse Modeling Framework","author":"F Budinsky","year":"2006","unstructured":"Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.J.: Eclipse Modeling Framework. The Eclipse Series, 2nd edn. Addison-Wesley, Reading (2006)","edition":"2"},{"key":"6_CR9","unstructured":"Kindler, E.: Coordinating interactions: The Event Coordination Notation. Technical report DTU Compute Technical report 2014\u201305, DTU Compute, Kgs. Lyngby, Denmark (2014)"},{"key":"6_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Come Let\u2019s Play: Scenario-based Programming Using LSCs and the Play-engine","author":"D Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Come Let\u2019s Play: Scenario-based Programming Using LSCs and the Play-engine. Springer, Heidelberg (2003)"},{"key":"6_CR11","unstructured":"Jepsen, J.: Realizing a workflow engine with the Event Coordination Notation. Master\u2019s thesis, Technical University of Denmark, DTU Compute (2013) IMM-M.Sc.-2013-101"},{"issue":"2","key":"6_CR12","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1504\/IJBPIM.2007.015136","volume":"2","author":"B Axenath","year":"2007","unstructured":"Axenath, B., Kindler, E., Rubin, V.: AMFIBIA: a meta-model for the integration of business process modelling aspects. Int. J. Bus. Process Integr. Manag. 2(2), 120\u2013131 (2007)","journal-title":"Int. J. Bus. Process Integr. Manag."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Kindler, E.: Integrating behaviour in software models: an Event Coordination Notation - concepts and prototype. In: Proceedings of the Third Workshop on Behavioural Modelling - Foundations and Application (BM-2011) (2011)","DOI":"10.1145\/1993956.1993962"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Kindler, E.: The Event Coordination Notation: execution engine and programming framework. In: St\u00f6rrle, H., Botterweck, G., Bourdell\u00e8s, M., Kolovos, D., Paige, R., Roubtsova, E., Rubin, J., Tolvanen, J.P. (eds.) Fourth Workshop on Behavioural Modelling - Foundations and Application (BM-FA 2012), Joint proceedings of co-located events at ECMFA 2012, pp. 143\u2013157 (2012)","DOI":"10.1145\/2325276.2325279"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-642-35179-2_4","volume":"6","author":"E Kindler","year":"2012","unstructured":"Kindler, E.: Modelling local and global behaviour: Petri nets and event coordination. Trans. Petri Nets Other Models Concur. 6, 71\u201393 (2012)","journal-title":"Trans. Petri Nets Other Models Concur."},{"key":"6_CR16","first-page":"3","volume":"81","author":"E Kindler","year":"2012","unstructured":"Kindler, E.: An ECNO semantics for Petri nets. Petri Net Newslett. 81, 3\u201316 (2012). Cover Picture Story","journal-title":"Petri Net Newslett."},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-540-47919-2_6","volume-title":"Petri Nets: Central Models and Their Properties","author":"W Reisig","year":"1987","unstructured":"Reisig, W.: Place\/Transition systems. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Petri Nets: Central Models and Their Properties. LNCS, vol. 254, pp. 117\u2013141. Springer, Heidelberg (1987)"},{"key":"6_CR18","unstructured":"van der Aalst, W.: Exploring the process dimension of workflow management. Computing Science Reports 97\/13, Eindhoven University of Technology (1997)"},{"key":"6_CR19","series-title":"Cooperative Information Systems","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management: Models, Methods, and Systems","author":"W van der Aalst","year":"2002","unstructured":"van der Aalst, W., van Hee, K.: Workflow Management: Models, Methods, and Systems. Cooperative Information Systems. The MIT Press, Cambridge (2002)"},{"key":"6_CR20","unstructured":"OMG: OMG Unified Modeling Language (OMG UML), Superstructure, V2.1.2. Object Management Group, 140 Kendrick Street, Needham, MA 02494, USA (2007) OMG Document number: formal\/2007-11-02"},{"key":"6_CR21","volume-title":"Transaction Processing: Concepts and Techniques","author":"J Gray","year":"1993","unstructured":"Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann, San Mateo (1993)"},{"key":"6_CR22","unstructured":"Nielsen, H.E.: A database integration for the Event Coordination Notation. Master\u2019s thesis, Technical University of Denmark, DTU Compute (2014)"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W van der Aalst","year":"1997","unstructured":"van der Aalst, W.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"key":"6_CR24","unstructured":"Schmelter, D.: Eine Technik zur Entwicklung und Ausf\u00fchrung aspektorientierter Modelle. Master\u2019s thesis, Department of Computer Science, Software Engineering Group, University of Paderborn, Paderborn, Germany (2007)"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Kindler, E., Schmelter, D.: Aspect-oriented modelling from a different angle: modelling domains with aspects. In: 12th International Workshop on Aspect-Oriented Modeling (2008)","DOI":"10.1145\/1404920.1404922"},{"issue":"1\u20133","key":"6_CR26","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"JA Bergstra","year":"1984","unstructured":"Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communication. Inf. Control 60(1\u20133), 109\u2013137 (1984)","journal-title":"Inf. Control"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Berry, G., Boudol, G.: The chemical abstract machine. In: POPL, pp. 81\u201394 (1990)","DOI":"10.1145\/96709.96717"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes (Parts I & II). Inf. Comput. 100(1), 1\u201340 & 41\u201377 (1992)","DOI":"10.1016\/0890-5401(92)90009-5"},{"issue":"7","key":"6_CR29","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/2209249.2209270","volume":"55","author":"D Harel","year":"2012","unstructured":"Harel, D., Marron, A., Weiss, G.: Behavioral programming. Commun. ACM 55(7), 90\u2013100 (2012)","journal-title":"Commun. ACM"},{"key":"6_CR30","series-title":"Series F: Computer and System Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/978-3-642-82453-1_17","volume-title":"Logics and Models of Concurrent Systems","author":"D Harel","year":"1985","unstructured":"Harel, D., Pnueli, A.: On the development of reactive systems. In: Apt, K. (ed.) Logics and Models of Concurrent Systems. Series F: Computer and System Science, vol. 13, pp. 477\u2013498. Springer, Heidelberg (1985)"},{"key":"6_CR31","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-0-387-35562-7_23","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"W Damm","year":"1999","unstructured":"Damm, W., Harel, D.: LSC\u2019s: Breathing life into message sequence charts. In: Ciancarini, P., Fantechi, A., Gorrieri, R. (eds.) FMOODS 1999. IFIP, vol. 10, pp. 293\u2013311. Springer, Boston (1999)"},{"key":"6_CR32","unstructured":"ITU-T Recommendation Z.120: Message sequence charts (MSC). ITU (1996)"},{"key":"6_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"Object-Oriented Technology","author":"G Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.M., Irwin, J.: Aspect-oriented programming. In: Moreira, A. (ed.) ECOOP 1997. LNCS, vol. 1743, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"6_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/3-540-69687-3_88","volume-title":"Object-Oriented Technology","author":"K Mens","year":"1998","unstructured":"Mens, K., Lopes, C., Tekinerdogan, B., Kiczales, G.: Aspect-oriented programming workshop report. In: Bosch, J., Mitchell, S. (eds.) ECOOP 1997. LNCS, vol. 1357, pp. 483\u2013496. Springer, Heidelberg (1998)"},{"key":"6_CR35","unstructured":"Brichau, J., Haupt, M.: Survey of aspect-oriented languages and execution models. Technical report AOSD-Europe-VUB-01, AOSD-Europe (2005)"},{"key":"6_CR36","unstructured":"Chitchyan, R., Rashid, A., Sawyer, P., Garcia, A., Alarcon, M.P., Bakker, J., Tekinerdogan, B., Clarke, S., Jackson, A.: Survey of aspect-oriented analysis and design approaches. Technical report AOSD-Europe-ULANC-9, AOSD-Europe (2005)"},{"key":"6_CR37","volume-title":"Aspect-Oriented Analysis and Design: The Theme Approach","author":"S Clarke","year":"2005","unstructured":"Clarke, S., Baniassad, E.: Aspect-Oriented Analysis and Design: The Theme Approach. Addison-Wesley, Reading (2005)"},{"key":"6_CR38","doi-asserted-by":"crossref","unstructured":"Harrison, W., Ossher, H.: Subject-oriented programming (a critique of pure objects). In: OOPSLA, pp. 411\u2013428. ACM (1993)","DOI":"10.1145\/167962.165932"},{"key":"6_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"G Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of AspectJ. In: Lindskov Knudsen, J. (ed.) ECOOP 2001. LNCS, vol. 2072, pp. 327\u2013353. Springer, Heidelberg (2001)"},{"key":"6_CR40","unstructured":"Douence, R., Noy\u00e9, J.: Towards a concurrent model of event-based aspect-oriented programming. In: European Interactive Workshop on Aspects in Software (EIWAS 2005) (2005)"},{"key":"6_CR41","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets","author":"W Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets. EATCS Monographs on Theoretical Computer Science, vol. 4. Springer, Berlin (1985)"},{"key":"6_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/978-3-642-21834-7_18","volume-title":"Applications and Theory of Petri Nets","author":"E Kindler","year":"2011","unstructured":"Kindler, E.: The ePNK: an extensible Petri net tool for PNML. In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol. 6709, pp. 318\u2013327. Springer, Heidelberg (2011)"},{"issue":"1","key":"6_CR43","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1049\/ip-sen:19971026","volume":"144","author":"M Wooldridge","year":"1997","unstructured":"Wooldridge, M.: Agent-based software engineering. IEE Proc. Softw. Eng. 144(1), 26\u201337 (1997)","journal-title":"IEE Proc. Softw. Eng."},{"issue":"1","key":"6_CR44","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1010090405266","volume":"1","author":"NR Jennings","year":"1998","unstructured":"Jennings, N.R., Sycara, K.P., Wooldridge, M.: A roadmap of agent research and development. Auton. Agent. Multi-Agent Syst. 1(1), 7\u201338 (1998)","journal-title":"Auton. Agent. Multi-Agent Syst."},{"key":"6_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/978-3-540-27793-4_29","volume-title":"Applications and Theory of Petri Nets 2004","author":"O Kummer","year":"2004","unstructured":"Kummer, O., Wienberg, F., Duvigneau, M., Schumacher, J., K\u00f6hler, M., Moldt, D., R\u00f6lke, H., Valk, R.: An extensible editor and simulation engine for Petri nets: renew. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 484\u2013493. Springer, Heidelberg (2004)"},{"key":"6_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-69108-1_1","volume-title":"Application and Theory of Petri Nets 1998","author":"R Valk","year":"1998","unstructured":"Valk, R.: Petri nets as token objects: an introduction to elementary object nets. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol. 1420, pp. 1\u201325. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Behavior Modeling -- Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21912-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T08:55:08Z","timestamp":1748508908000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21912-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319219110","9783319219127"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21912-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"17 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}