{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T21:14:02Z","timestamp":1792185242824,"version":"4.4.0"},"reference-count":75,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2020,5,13]],"date-time":"2020-05-13T00:00:00Z","timestamp":1589328000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,5,13]],"date-time":"2020-05-13T00:00:00Z","timestamp":1589328000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100005722","name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100005722","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2020,8]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>An adaptive system is able to adapt at runtime to dynamically changing environments and to new requirements. Adaptive systems can be single adaptive entities or collective ones that consist of several collaborating entities. Rigorous engineering requires appropriate methods and tools that help guaranteeing that an adaptive system lives up to its intended purpose. This paper introduces the special section on \u201cRigorous Engineering of Collective Adaptive Systems.\u201d It presents the seven contributions of the section and gives a short overview of the field of rigorously engineering collective adaptive systems by structuring it according to three topics: systematic development, methods and theories for modelling and analysis, and techniques for programming and operating collective adaptive systems.<\/jats:p>","DOI":"10.1007\/s10009-020-00565-0","type":"journal-article","created":{"date-parts":[[2020,5,13]],"date-time":"2020-05-13T07:04:07Z","timestamp":1589353447000},"page":"389-397","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":45,"title":["Rigorous engineering of collective adaptive systems: special section"],"prefix":"10.1007","volume":"22","author":[{"given":"Rocco","family":"De Nicola","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stefan","family":"J\u00e4hnichen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2020,5,13]]},"reference":[{"key":"565_CR1","doi-asserted-by":"publisher","first-page":"104457","DOI":"10.1016\/j.ic.2019.104457","volume":"268","author":"Y Abd Alrahman","year":"2019","unstructured":"Abd Alrahman, Y., De Nicola, R., Loreti, M.: A calculus for collective-adaptive systems and its behavioural theory. Inf. Comput. 268, 104457 (2019)","journal-title":"Inf. Comput."},{"key":"565_CR2","doi-asserted-by":"publisher","first-page":"102428","DOI":"10.1016\/j.scico.2020.102428","volume":"192","author":"Y Abd Alrahman","year":"2020","unstructured":"Abd Alrahman, Y., De Nicola, R., Loreti, M.: Programming interactions in collective adaptive systems by relying on attribute-based communication. Sci. Comput. Program. 192, 102428 (2020)","journal-title":"Sci. Comput. Program."},{"key":"565_CR3","unstructured":"Abd Alrahman, Y., Garbi, G.: A distributed API for coordinating AbC programs. In this issue"},{"key":"565_CR4","unstructured":"Abeywickrama, D., Bicocchi, N., Mamei, M., Zambonelli, F.: The SOTA approach to engineering collective adaptive systems. In this issue"},{"key":"565_CR5","unstructured":"Al Ali, R., Bure\u0161, T., Hnetynka, P., Matejek, J., Pl\u00e1\u0161il, F., Vin\u00e1rek, J.: Towards autonomically composable and context-dependent access control specification through ensembles. In this issue. (2018)"},{"key":"565_CR6","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"565_CR7","doi-asserted-by":"crossref","unstructured":"Basu, A., Bensalem, S., Bozga, M., Bourgos, P., Sifakis, J.: Rigorous system design: the BIP approach. In: MEMICS 2011, Volume 7119 of Lecture Notes in Computer Science 7119, pp. 1\u201319. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-25929-6_1"},{"key":"565_CR8","first-page":"233","volume-title":"Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems\u2014SFM 2016, Volume 9700 of Lecture Notes in Computer Science","author":"J Beal","year":"2016","unstructured":"Beal, J., Viroli, M.: Aggregate programming: from foundations to applications. In: Bernardo, M., De Nicola, R., Hillston, J. (eds.) Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems\u2014SFM 2016, Volume 9700 of Lecture Notes in Computer Science, pp. 233\u2013260. Springer, Berlin (2016)"},{"key":"565_CR9","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/978-3-319-46508-1_10","volume":"1","author":"L Belzner","year":"2016","unstructured":"Belzner, L., H\u00f6lzl, M.M., Koch, N., Wirsing, M.: Collective autonomic systems: towards engineering principles and their foundations. Trans. Found. Mastering Chang. 1, 180\u2013200 (2016)","journal-title":"Trans. Found. Mastering Chang."},{"key":"565_CR10","first-page":"959","volume-title":"Encyclopedia of Database Systems","author":"M Berndtsson","year":"2018","unstructured":"Berndtsson, M., Mellin, J.: ECA rules. In: Liu, L., \u00d6zsu, T. (eds.) Encyclopedia of Database Systems, 2nd edn, pp. 959\u2013960. Springer, Berlin (2018)","edition":"2"},{"key":"565_CR11","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-642-17348-6_12","volume":"2011","author":"C Bernon","year":"2011","unstructured":"Bernon, C., Gleizes, M.-P., Migeon, F., Di Marzo Serugendo, G.: Engineering self-organising systems. Self-organising Softw, 2011, 283\u2013312 (2011)","journal-title":"Self-organising Softw,"},{"issue":"10","key":"565_CR12","doi-asserted-by":"publisher","first-page":"1315","DOI":"10.1109\/TC.2008.26","volume":"57","author":"S Bliudze","year":"2008","unstructured":"Bliudze, S., Sifakis, J.: The algebra of connectors\u2013structuring interaction in BIP. IEEE Trans. Comput. 57(10), 1315\u20131330 (2008)","journal-title":"IEEE Trans. Comput."},{"key":"565_CR13","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., De Nicola, R., Galpin, V., Gilmore, S., Hillston, J., Latella, D., Loreti, M., Massink, M.: Collective adaptive resource-sharing Markovian agents. In: Quantitative Analysis of Programming Languages, Volume 194 of EPTCS, pp. 16\u201331 (2015)","DOI":"10.4204\/EPTCS.194.2"},{"key":"565_CR14","unstructured":"Bortolussi, L., De Nicola, R., Gast, N., Gilmore, S., Hillston, J., Massink, M., Tribastone, M.: A quantitative approach to the design and analysis of collective adaptive systems. In: 1st FoCAS Workshop on Fundamentals of Collective Adaptive Systems (2013)"},{"issue":"3","key":"565_CR15","first-page":"203","volume":"8","author":"P Bresciani","year":"2004","unstructured":"Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: an agent-oriented software development methodology. JAAMAS 8(3), 203\u2013236 (2004)","journal-title":"JAAMAS"},{"key":"565_CR16","doi-asserted-by":"crossref","unstructured":"Brun, Y., Di Marzo Serugendo, G., Gacek, C., Giese, H., Kienle, H.M., Litoiu, M., M\u00fcller, H.\u00a0A., Pezz\u00e8, M., Shaw, M.: Engineering self-adaptive systems through feedback loops. In: Software Engineering for Self-Adaptive Systems, pp. 48\u201370 (2009)","DOI":"10.1007\/978-3-642-02161-9_3"},{"key":"565_CR17","doi-asserted-by":"crossref","unstructured":"Bucchiarone, A., Dulay, N., Lavygina, A., Marconi, A., Raik, H., Russo, A.: An approach for collective adaptation in socio-technical systems. In: SASO Workshops, pp. 43\u201348 (2015)","DOI":"10.1109\/SASOW.2015.12"},{"key":"565_CR18","doi-asserted-by":"crossref","unstructured":"Bure\u0161, T., De Nicola, R., Gerostathopoulos, I., Hoch, N., Kit, M., Koch, N., Monreale, G.V., Montanari, U., Pugliese, R., \u0160erbed\u017eija, N., Wirsing, M., Zambonelli, F.: A life cycle for the development of autonomic systems: the e-mobility showcase. In: SASO Workshops, pp. 71\u201376 (2013)","DOI":"10.1109\/SASOW.2013.23"},{"key":"565_CR19","doi-asserted-by":"crossref","unstructured":"Bure\u0161, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., Pl\u00e1\u0161il, F.: The invariant refinement method. In: [73], pp. 405\u2013428 (2015)","DOI":"10.1007\/978-3-319-16310-9_12"},{"key":"565_CR20","unstructured":"Bure\u0161, T., Gerostathopoulos, I., Hnetynka, P., Pl\u00e1\u0161il, F., Krijt, F., Vin\u00e1rek, J., Kofron, J.: A language and framework for dynamic component ensembles in smart systems. In this issue"},{"issue":"12","key":"565_CR21","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MC.2016.377","volume":"49","author":"T Bure\u0161","year":"2016","unstructured":"Bure\u0161, T., Pl\u00e1\u0161il, F., Kit, M., Tuma, P., Hoch, N.: Software abstractions for component interaction in the internet of things. Computer 49(12), 50\u201359 (2016)","journal-title":"Computer"},{"issue":"12","key":"565_CR22","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MC.2016.377","volume":"49","author":"T Bure\u0161","year":"2016","unstructured":"Bure\u0161, T., Pl\u00e1\u0161il, F., Kit, M., Tuma, P., Hoch, N.: Software abstractions for component interaction in the internet of things. IEEE Comput. 49(12), 50\u201359 (2016)","journal-title":"IEEE Comput."},{"key":"565_CR23","doi-asserted-by":"crossref","unstructured":"Cardoso, R.P., Rossetti, R.J.F. , Hart, E., Kurka, D.B., Pitt, J.: Engineering sustainable and adaptive systems in dynamic and unpredictable environments. In: [53], pp. 221\u2013240 (2018)","DOI":"10.1007\/978-3-030-03424-5_15"},{"key":"565_CR24","doi-asserted-by":"crossref","unstructured":"Cheng, B., Sawyer, P., Bencomo, N., Whittle, J.: A goal-based modelling approach to develop requirements of an adaptive system with environmental uncertainty. In: MODELS \u201909, Volume 5795 of Lecture Notes in Computer Science, pp. 468\u2013483. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-04425-0_36"},{"issue":"3","key":"565_CR25","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/s10009-018-0483-8","volume":"20","author":"V Ciancia","year":"2018","unstructured":"Ciancia, V., Gilmore, S., Grilletti, G., Latella, D., Loreti, M., Massink, M.: Spatio-temporal model checking of vehicular movement in public transport systems. STTT 20(3), 289\u2013311 (2018)","journal-title":"STTT"},{"key":"565_CR26","first-page":"4","volume":"12","author":"V Ciancia","year":"2016","unstructured":"Ciancia, V., Latella, D., Loreti, M., Massink, M.: Model checking spatial logics for closure spaces. Log. Methods Comput. Sci. 12, 4 (2016)","journal-title":"Log. Methods Comput. Sci."},{"key":"565_CR27","unstructured":"Clements, P.C.: A survey of architecture description languages. In: IWSSD \u201896, vol.\u00a08, p.\u00a016. IEEE Computer Society Press (1996)"},{"issue":"1\u20132","key":"565_CR28","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A Dardenne","year":"1993","unstructured":"Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Sci Comput Program 20(1\u20132), 3\u201350 (1993)","journal-title":"Sci Comput Program"},{"key":"565_CR29","doi-asserted-by":"crossref","unstructured":"de Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M., Andersson, J., Litoiu, M., Schmerl, B.R., Tamura, G., Villegas, N.M., Vogel, T., Weyns, D., Baresi, L., Becker, B., Bencomo, N., Brun, Y., Cukic, B., Desmarais, R., Dustdar, S., Engels, G., Geihs, K., G\u00f6schka, K.M., Gorla, A., Grassi, V., Inverardi, P., Karsai, G., Kramer, J., Lopes, A., Magee, J., Malek, S., Mankovski, S., Mirandola, R., Mylopoulos, J., Nierstrasz, O., Pezz\u00e8C, M., Prehofer, W., Sch\u00e4fer, R., Schlichting, D., Smith, J.P., Sousa, L., Tahvildari, K.Wong, Wuttke, J.: Software engineering for self-adaptive systems: a second research roadmap. In: Software engineering for self-adaptive systems, pp. 1\u201332 (2010)","DOI":"10.1007\/978-3-642-35813-5_1"},{"key":"565_CR30","doi-asserted-by":"crossref","unstructured":"De Nicola, R., J\u00e4hnichen, S., Wirsing, M.: Rigorous engineering of collective adaptive ensembles\u2014track introduction. In: [53], pp. 3\u201312 (2018)","DOI":"10.1007\/978-3-030-03424-5_1"},{"issue":"1","key":"565_CR31","doi-asserted-by":"publisher","first-page":"5:1","DOI":"10.1145\/2522968.2522973","volume":"46","author":"R De Nicola","year":"2013","unstructured":"De Nicola, R., Latella, D., Loreti, M., Massink, M.: A uniform definition of stochastic process calculi. ACM Comput. Surv. 46(1), 5:1\u20135:35 (2013)","journal-title":"ACM Comput. Surv."},{"issue":"2","key":"565_CR32","first-page":"7:1","volume":"9","author":"R De Nicola","year":"2014","unstructured":"De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the SCEL language. ACM Trans. Auton. Adapt 9(2), 7:1\u20137:29 (2014)","journal-title":"ACM Trans. Auton. Adapt"},{"key":"565_CR33","doi-asserted-by":"crossref","unstructured":"Dragomir, I., Iosti, S., Bozga, M., Bensalem, S.: Designing systems with detection and reconfiguration capabilities: a formal approach. In: [53], pp. 155\u2013171 (2018)","DOI":"10.1007\/978-3-030-03424-5_11"},{"key":"565_CR34","unstructured":"Fuxman, A.D.: A survey of architecture description languages. In: Reports from CSC 2018 Automatic Verification (2000)"},{"key":"565_CR35","unstructured":"Gabor, T., Sedlmeier, A., Phan, T., Ritz, F., Kiermeier, M., Belzner, L., Kempter, B., Klein, C., Sauer, H., Schmid, R., Wieghardt, J., Zeller, M., Linnhoff-Popien, C.: The scenario coevolution paradigm: adaptive quality assurance for adaptive systems. In this issue"},{"issue":"1\u20132","key":"565_CR36","first-page":"1","volume":"4","author":"S Gulwani","year":"2017","unstructured":"Gulwani, S., Polozov, O., Singh, R.: Program synthesis. Found. Trends Program. Lang. 4(1\u20132), 1\u2013119 (2017)","journal-title":"Found. Trends Program. Lang."},{"key":"565_CR37","doi-asserted-by":"crossref","unstructured":"Hennicker, R., Klarl, A.: Foundations for ensemble modeling\u2014the Helena approach\u2014handling distributed systems with elaborate ensemble architectures. In: Specification, Algebra, and Software, pp. 359\u2013381 (2014)","DOI":"10.1007\/978-3-642-54624-2_18"},{"key":"565_CR38","doi-asserted-by":"crossref","unstructured":"Hennicker, R., Wirsing, M.: Dynamic logic for ensembles. In: [53], pp. 32\u201347 (2018)","DOI":"10.1007\/978-3-030-03424-5_3"},{"key":"565_CR39","doi-asserted-by":"crossref","unstructured":"H\u00f6lzl, M.M., Koch, N., Puviani, M., Wirsing, M., Zambonelli, F.: The ensemble development life cycle and best practices for collective autonomic systems. In: [73], pp. 325\u2013354 (2015)","DOI":"10.1007\/978-3-319-16310-9_9"},{"key":"565_CR40","doi-asserted-by":"crossref","unstructured":"H\u00f6lzl, M.M., Rauschmayer, A., Wirsing, M.: Engineering of software-intensive systems: state of the art and research challenges. In: [71], pp. 1\u201344 (2008)","DOI":"10.1007\/978-3-540-89437-7_1"},{"key":"565_CR41","doi-asserted-by":"crossref","unstructured":"H\u00f6lzl, M.M., Wirsing, M.: Towards a system model for ensembles. In: Formal Modeling: Actors, Open Systems, Biological Systems, Number 7000 in Lecture Notes in Computer Science, pp. 241\u2013261. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-24933-4_12"},{"key":"565_CR42","unstructured":"IBM. An architectural blueprint for autonomic computing. Technical report, IBM Corporation (2005)"},{"key":"565_CR43","first-page":"239","volume":"2010","author":"P Inverardi","year":"2010","unstructured":"Inverardi, P., Mori, M.: Software lifecycle process to support consistent evolutions. Softw. Eng. Self-Adaptive Syst. 2010, 239\u2013264 (2010)","journal-title":"Softw. Eng. Self-Adaptive Syst."},{"key":"565_CR44","doi-asserted-by":"crossref","unstructured":"J\u00e4hnichen, S., Wirsing, M.: Rigorous engineering of collective adaptive systems\u2014-track introduction. In: [52], pp. 535\u2013538 (2016)","DOI":"10.1007\/978-3-319-47166-2_37"},{"key":"565_CR45","unstructured":"Kernbach, S., Schmickl, T., Timmis, J.: Collective adaptive systems: challenges beyond evolvability. CoRR arXiv:1108.5643 (2011)"},{"key":"565_CR46","first-page":"220","volume-title":"Formal Methods for Performance Evaluation, SFM 2007, Advanced Lectures, Volume 4486 of Lecture Notes in Computer Science","author":"MZ Kwiatkowska","year":"2007","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D.: Stochastic model checking. In: Bernardo, M., Hillston, J. (eds.) Formal Methods for Performance Evaluation, SFM 2007, Advanced Lectures, Volume 4486 of Lecture Notes in Computer Science, pp. 220\u2013270. Springer, Berlin (2007)"},{"key":"565_CR47","first-page":"478","volume-title":"Statistical Model Checking","author":"A Legay","year":"2019","unstructured":"Legay, A., Lukina, A., Traonouez, L.M., Yang, J., Smolka, S.A., Grosu, R.: Statistical Model Checking, pp. 478\u2013504. Springer, Berlin (2019)"},{"key":"565_CR48","first-page":"83","volume-title":"Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems\u2014SFM 2016 Lecture Notes in Computer Science 9700","author":"M Loreti","year":"2016","unstructured":"Loreti, M., Hillston, J.: Modelling and analysis of collective adaptive systems with CARMA and its tools. In: Bernardo, M., De Nicola, R., Hillston, J. (eds.) Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems\u2014SFM 2016 Lecture Notes in Computer Science 9700, pp. 83\u2013119. Springer, Berlin (2016)"},{"key":"565_CR49","unstructured":"Maggi, A., Sifakis, J., De Nicola, R.: The DReAM framework for dynamic reconfigurable architecture modelling: theory and applications. In this issue"},{"key":"565_CR50","unstructured":"Mahfoudh, H.B., Di Marzo Serugendo, G., Naja, N., Abdennadher, N.: Learning-based coordination model for spontaneous self-composition of reliable services in a distributed system. In this issue"},{"key":"565_CR51","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B. (eds.): Leveraging applications of formal methods, verification and validation. In: Technologies for Mastering Change\u20146th International Symposium, ISoLA 2014, Part I, Volume 8802 of Lecture Notes in Computer Science. Springer, Berlin (2014)","DOI":"10.1007\/978-3-662-45234-9"},{"key":"565_CR52","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B. (eds.): Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques\u20147th International Symposium, ISoLA 2016, Part I, Volume 9952 of Lecture Notes in Computer Science (2016)","DOI":"10.1007\/978-3-319-47166-2"},{"key":"565_CR53","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B. (eds.): Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques\u20148th International Symposium, ISoLA 2018, Part III. Lecture Notes in Computer Science, vol. 11246. Springer, Berlin (2018)","DOI":"10.1007\/978-3-030-03421-4"},{"key":"565_CR54","doi-asserted-by":"crossref","unstructured":"Mayer, P., Velasco, J., Klarl, A., Hennicker, R., Puviani, M., Tiezzi, F., Pugliese, R., Keznikl, J., Bures, T.: The autonomic cloud. In: [73], pp. 495\u2013512 (2015)","DOI":"10.1007\/978-3-319-16310-9_16"},{"key":"565_CR55","doi-asserted-by":"crossref","unstructured":"Mefteh, W., Migeon, F., Gleizes, M.-P., Gargouri, F.: Adelfe 3.0 design: building adaptive multi agent systems based on simulation a case study. In: ICCCI, vol. 1, pp. 19\u201328 (2015)","DOI":"10.1007\/978-3-319-24069-5_2"},{"key":"565_CR56","first-page":"33","volume":"2009","author":"M Morandini","year":"2009","unstructured":"Morandini, M., Migeon, F., Gleizes, M.-P., Maurel, C., Penserini, L., Perini, A.: A goal-oriented approach for modelling self-organising mas. ESAW 2009, 33\u201348 (2009)","journal-title":"ESAW"},{"key":"565_CR57","doi-asserted-by":"crossref","unstructured":"Morandini, M., Penserini, L., Perini, A.: Modelling self-adaptivity: a goal-oriented approach. In: Second IEEE International Conference on Self-adaptive and Self-organizing Systems, pp. 469\u2013470 (2008)","DOI":"10.1109\/SASO.2008.67"},{"key":"565_CR58","doi-asserted-by":"crossref","unstructured":"Nakagawa, H., Ohsuga, A., Honiden, S.: Constructing self-adaptive systems using a KAOS model. In: SASO Workshops, pp. 132\u2013137 (2008)","DOI":"10.1109\/SASOW.2008.35"},{"key":"565_CR59","first-page":"177","volume-title":"39th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2013, Santander, Spain, September 4\u20136, 2013","author":"M Ozkaya","year":"2013","unstructured":"Ozkaya, M., Kloukinas, C.: Are we there yet? Analyzing architecture description languages for formal analysis, usability, and realizability. In: Demir\u00f6rs, O., T\u00fcretken, O. (eds.) 39th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2013, Santander, Spain, September 4\u20136, 2013, pp. 177\u2013184. IEEE Computer Society, Washington (2013)"},{"issue":"4","key":"565_CR60","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2382570.2382575","volume":"7","author":"J Pitt","year":"2012","unstructured":"Pitt, J., Schaumeier, J., Artikis, A.: Axiomatization of socio-economic principles for self-organizing institutions. ACM Trans. Auton. Adapt. Syst. 7(4), 1\u201339 (2012)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"565_CR61","doi-asserted-by":"crossref","unstructured":"Platzer, A.: The logical path to autonomous cyber-physical systems. In: Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Volume 11785 of Lecture Notes in Computer Science, pp. 25\u201333. Springer, Berlin (2019)","DOI":"10.1007\/978-3-030-30281-8_2"},{"key":"565_CR62","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling rational agents within a bdi-architecture. In: Proceedings of Knowledge Representation and Reasoning, pp. 473\u2013484 (1991)"},{"key":"565_CR63","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/10703260_17","volume-title":"Collaboration Between Human and Artificial Societies 1999","author":"JA Rodr\u00edguez-Aguilar","year":"1999","unstructured":"Rodr\u00edguez-Aguilar, J.A., Mart\u00edn, F.J., Garcia, P., Noriega, P., Sierra, C.: Towards a formal specification of complex social structures in multi-agent systems. In: Padget, J. (ed.) Collaboration Between Human and Artificial Societies 1999. Lecture Notes in Computer Science, vol. 1624, pp. 284\u2013300. Springer, Berlin (1999)"},{"key":"565_CR64","doi-asserted-by":"crossref","unstructured":"\u0160erbed\u017eija, N., Fairclough, S.: Biocybernetic loop: from awareness to evolution. In IEEE Evolutionary Computation 2009, pp. 2063\u20132069. IEEE (2009)","DOI":"10.1109\/CEC.2009.4983195"},{"key":"565_CR65","unstructured":"Vannucchi, C., Cacciagrano, D.R., Corradini, F., Culmone, R., Mostarda, L., Raimondi, F., Tesei, L.: A formal model for ECA rules in intelligent environments. In: Intelligent Environment (Workshops), pp. 56\u201365. IEEE, Washington (2016)"},{"key":"565_CR66","doi-asserted-by":"crossref","unstructured":"Vannucchi, C., Diamanti, M., Mazzante, G., Cacciagrano, D.\u00a0R., Corradini, F., Culmone, R., Gorogiannis, N., Mostarda, L., Raimondi, F.: vIRONy:, a tool for analysis and verification of ECA rules in intelligent environments. In: Intelligent Environment, pp. 92\u201399. IEEE (2017)","DOI":"10.1109\/IE.2017.32"},{"key":"565_CR67","doi-asserted-by":"crossref","unstructured":"Vassev, E., Hinchey, M.: Engineering requirements for autonomy features. In: [73], pp. 379\u2013403 (2015)","DOI":"10.1007\/978-3-319-16310-9_11"},{"issue":"2","key":"565_CR68","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/s11334-015-0257-3","volume":"12","author":"E Vassev","year":"2016","unstructured":"Vassev, E., Hinchey, M.: Capturing autonomy features for unmanned spacecraft with ARE, the autonomy requirements engineering approach. Innov. Syst. Softw. Eng. 12(2), 95\u2013107 (2016)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"565_CR69","doi-asserted-by":"publisher","first-page":"100486","DOI":"10.1016\/j.jlamp.2019.100486","volume":"109","author":"M Viroli","year":"2019","unstructured":"Viroli, M., Beal, J., Damiani, F., Audrito, G., Casadei, R., Pianini, D.: From distributed coordination to field calculus and aggregate computing. J. Log. Algebraic Methods Program. 109, 100486 (2019)","journal-title":"J. Log. Algebraic Methods Program."},{"key":"565_CR70","doi-asserted-by":"crossref","unstructured":"Wanninger, C., Eym\u00fcller, C., Hoffmann, A., Kosak, O., Reif, W.: Synthesizing capabilities for collective adaptive systems from self-descriptive hardware devices\u2014bridging the reality gap. In: [53], pp. 94\u2013108 (2018)","DOI":"10.1007\/978-3-030-03424-5_7"},{"key":"565_CR71","doi-asserted-by":"crossref","unstructured":"Wirsing, M., Ban\u00e2tre, J.-P., H\u00f6lzl, M.M., Rauschmayer, A. (eds.): Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Lecture Notes in Computer Science, vol. 5380. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-89437-7"},{"key":"565_CR72","doi-asserted-by":"crossref","unstructured":"Wirsing, M., De Nicola, R., H\u00f6lzl, M.M.: Rigorous engineering of autonomic ensembles\u2014track introduction. In: [51], pp. 96\u201398 (2014)","DOI":"10.1007\/978-3-662-45234-9_7"},{"key":"565_CR73","doi-asserted-by":"crossref","unstructured":"Wirsing, M., H\u00f6lzl, M.M., Koch, N., Mayer, P. (eds.): Software Engineering for Collective Autonomic Systems\u2014The ASCENS Approach. Lecture Notes in Computer Science, vol. 8998. Springer, Berlin (2015)","DOI":"10.1007\/978-3-319-16310-9"},{"key":"565_CR74","doi-asserted-by":"crossref","unstructured":"Wirsing, M., H\u00f6lzl, M.M., Tribastone, M., Zambonelli, F.: ASCENS: Engineering autonomic service-component ensembles. In: FMCO 2011, Volume 7542 of Lecture Notes in Computer Science, pp. 1\u201324 (2013)","DOI":"10.1007\/978-3-642-35887-6_1"},{"key":"565_CR75","doi-asserted-by":"crossref","unstructured":"Zambonelli, F., Castelli, G., Ferrari, L., Mamei, M., Rosi, A., Di Marzo Serugendo, G., Risoldi, M., Tchao, A.-E., Dobson, S., Stevenson, G., Ye, J. Nardini, E., Omicini, A., Montagna, S., Viroli, M.: Self-aware pervasive service ecosystems. In: The European Future Technologies Conference and Exhibition, Procedia Computer Science, vol. 7, pp. 197\u2013199 (2011)","DOI":"10.1016\/j.procs.2011.09.006"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-020-00565-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-020-00565-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-020-00565-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,12]],"date-time":"2021-05-12T23:56:20Z","timestamp":1620863780000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-020-00565-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5,13]]},"references-count":75,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,8]]}},"alternative-id":["565"],"URL":"https:\/\/doi.org\/10.1007\/s10009-020-00565-0","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,5,13]]},"assertion":[{"value":"13 May 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}