{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T05:23:23Z","timestamp":1771910603604,"version":"3.50.1"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031751066","type":"print"},{"value":"9783031751073","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-75107-3_12","type":"book-chapter","created":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T07:01:50Z","timestamp":1729926110000},"page":"191-207","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["RailCabs and\u00a0Birds in\u00a0Julia"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3513-6448","authenticated-orcid":false,"given":"Uwe","family":"A\u00dfmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-3887-3217","authenticated-orcid":false,"given":"Christian","family":"Gutsche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,27]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Bezanson, J., et al.: Julia: dynamism and performance reconciled by design. Proc. ACM Program. Lang. 2(OOPSLA), 1\u201323 (2018)","DOI":"10.1145\/3276490"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., Plasil, F.: DEECo: an ensemble-based component system. In: Kruchten, P., Giannakopoulou, D., Tivoli, M. (eds.) Proceedings of the 16th ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE), Part of Comparch 2013, Vancouver, BC, Canada, 17\u201321 June 2013, pp. 81\u201390. ACM (2013)","DOI":"10.1145\/2465449.2465462"},{"issue":"9","key":"12_CR3","doi-asserted-by":"publisher","first-page":"1462","DOI":"10.4249\/scholarpedia.1462","volume":"2","author":"M Dorigo","year":"2007","unstructured":"Dorigo, M., et al.: Swarm intelligence. Scholarpedia 2(9), 1462 (2007)","journal-title":"Scholarpedia"},{"key":"12_CR4","unstructured":"Gideon, J., Dagli, C.H., Miller, A.K.: Taxonomy of systems-of-systems. In: Conference on Systems Engineering Research (CSER). Institute of Electrical and Electronics Engineers (IEEE) (2005)"},{"key":"12_CR5","unstructured":"Guizzardi, G.W.: Ontological foundations for structure conceptual models. Ph.D. thesis, Twente University, Enschede, Netherlands (2005)"},{"key":"12_CR6","unstructured":"Gutsche, C., Prokopets, V., Wang, Z., G\u00f6tz, S., A\u00dfmann, U.: Context-oriented programming and modeling in Julia with Context Petri Nets. In: 2024 50th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) (2024). Manuscript accepted for publication"},{"key":"12_CR7","unstructured":"Henke, C., Tichy, M., Schneider, T., B\u00f6cker, J., Sch\u00e4fer, W.: Organization and control of autonomous railway convoys. In: Proceedings of the 9th International Symposium on Advanced Vehicle Control, Kobe, Japan, vol. 2(2008)"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/978-3-642-54624-2_18","volume-title":"Specification, Algebra, and Software","author":"R Hennicker","year":"2014","unstructured":"Hennicker, R., Klarl, A.: Foundations for ensemble modeling \u2013 the Helena approach. In: Iida, S., Meseguer, J., Ogata, K. (eds.) Specification, Algebra, and Software. LNCS, vol. 8373, pp. 359\u2013381. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54624-2_18"},{"issue":"2","key":"12_CR9","first-page":"181","volume":"2","author":"S Herrmann","year":"2007","unstructured":"Herrmann, S.: A precise model for contextual roles: the programming language ObjectTeams\/Java. Appl. Ontol. 2(2), 181\u2013207 (2007)","journal-title":"Appl. Ontol."},{"issue":"3","key":"12_CR10","doi-asserted-by":"publisher","first-page":"125","DOI":"10.5381\/jot.2008.7.3.a4","volume":"7","author":"R Hirschfeld","year":"2008","unstructured":"Hirschfeld, R., Costanza, P., Nierstrasz, O.: Context-oriented programming. J. Object Technol. 7(3), 125\u2013151 (2008)","journal-title":"J. Object Technol."},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11424-006-0001-z","volume":"19","author":"JH Holland","year":"2006","unstructured":"Holland, J.H.: Studying complex adaptive systems. J. Syst. Sci. Complex. 19, 1\u20138 (2006)","journal-title":"J. Syst. Sci. Complex."},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Johnson, B.: Towards a theory of engineered complex adaptive systems of systems. In: 2018 Annual IEEE International Systems Conference (SysCon), pp. 1\u20135. IEEE (2018)","DOI":"10.1109\/SYSCON.2018.8369514"},{"issue":"2","key":"12_CR13","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1145\/169701.169682","volume":"15","author":"S Katz","year":"1993","unstructured":"Katz, S.: A superimposition control construct for distributed systems. ACM Trans. Program. Lang. Syst. 15(2), 337\u2013356 (1993)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-319-47590-5_3","volume-title":"Cyber-Physical Systems of Systems","author":"H Kopetz","year":"2016","unstructured":"Kopetz, H., Bondavalli, A., Brancati, F., Fr\u00f6mel, B., H\u00f6ftberger, O., Iacob, S.: Emergence in cyber-physical systems-of-systems (CPSoSs). In: Bondavalli, A., Bouchenak, S., Kopetz, H. (eds.) Cyber-Physical Systems of Systems. LNCS, vol. 10099, pp. 73\u201396. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47590-5_3"},{"key":"12_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47474-8","volume-title":"Self-Aware Computing Systems","year":"2017","unstructured":"Kounev, S., Kephart, J.O., Milenkoski, A., Zhu, X. (eds.): Self-Aware Computing Systems. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-47474-8"},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-319-11245-9_8","volume-title":"Software Language Engineering","author":"T K\u00fchn","year":"2014","unstructured":"K\u00fchn, T., Leuth\u00e4user, M., G\u00f6tz, S., Seidl, C., A\u00dfmann, U.: A metamodel family for role-based modeling and programming languages. In: Combemale, B., Pearce, D.J., Barais, O., Vinju, J.J. (eds.) SLE 2014. LNCS, vol. 8706, pp. 141\u2013160. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11245-9_8"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Leuth\u00e4user, M., A\u00dfmann, U.: Enabling view-based programming with scroll: using roles and dynamic dispatch for etablishing view-based programming. In: Proceedings of the 2015 Joint MORSE\/VAO Workshop on Model-Driven Robot Software Engineering and View-Based Software-Engineering, MORSE\/VAO 2015, pp. 25\u201333. ACM, New York (2015)","DOI":"10.1145\/2802059.2802062"},{"key":"12_CR18","unstructured":"Ma, Y., Gowda, S., Anantharaman, R., Laughman, C., Shah, V., Rackauckas, C.: ModelingToolkit: a composable graph transformation system for equation-based modeling (2021)"},{"issue":"4","key":"12_CR19","first-page":"267","volume":"1","author":"MW Maier","year":"1998","unstructured":"Maier, M.W.: Architecting principles for systems-of-systems. Syst. Eng. J. Int. Counc. Syst. Eng. 1(4), 267\u2013284 (1998)","journal-title":"Syst. Eng. J. Int. Counc. Syst. Eng."},{"key":"12_CR20","unstructured":"Mertgen, A.: Modularisierung und Wiederverwendung durch generische Klassen in Object Teams. Ph.D. thesis, Technische Universit\u00e4t Berlin (2013)"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Mezini, M., Ostermann, K.: Conquering aspects with caesar. In: Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, AOSD 2003, pp. 90\u201399. ACM, New York (2003)","DOI":"10.1145\/643603.643613"},{"issue":"4","key":"12_CR22","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/s10009-020-00565-0","volume":"22","author":"R De Nicola","year":"2020","unstructured":"De Nicola, R., J\u00e4hnichen, S., Wirsing, M.: Rigorous engineering of collective adaptive systems: special section. Int. J. Softw. Tools Technol. Transfer 22(4), 389\u2013397 (2020)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"12_CR23","unstructured":"Parisi, G.: In a Flight of Starlings: The Wonders of Complex Systems. Allen Lane Publishers (2023)"},{"issue":"1","key":"12_CR24","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/S0169-023X(00)00023-9","volume":"35","author":"F Steimann","year":"2000","unstructured":"Steimann, F.: On the representation of roles in object-oriented and conceptual modelling. Data Knowl. Eng. 35(1), 83\u2013106 (2000)","journal-title":"Data Knowl. Eng."}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-75107-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T07:12:40Z","timestamp":1729926760000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-75107-3_12"}},"subtitle":["Context-Role Ensemble Engineering in\u00a0Practice"],"short-title":[],"issued":{"date-parts":[[2024,10,27]]},"ISBN":["9783031751066","9783031751073"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-75107-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,27]]},"assertion":[{"value":"27 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Crete","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}