{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T19:56:34Z","timestamp":1767902194435,"version":"3.49.0"},"publisher-location":"Cham","reference-count":62,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319163093","type":"print"},{"value":"9783319163109","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-16310-9_9","type":"book-chapter","created":{"date-parts":[[2015,3,3]],"date-time":"2015-03-03T07:47:23Z","timestamp":1425368843000},"page":"325-354","source":"Crossref","is-referenced-by-count":23,"title":["The Ensemble Development Life Cycle and Best Practices for Collective Autonomic\u00a0Systems"],"prefix":"10.1007","author":[{"given":"Matthias","family":"H\u00f6lzl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nora","family":"Koch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mariachiara","family":"Puviani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Zambonelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","first-page":"33","volume-title":"Proceedings of the 19th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","author":"D.B. Abeywickrama","year":"2012","unstructured":"Abeywickrama, D.B., Zambonelli, F.: Model Checking Goal-Oriented Requirements for Self-Adaptive Systems. In: Proceedings of the 19th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, Apr. 2012, pp. 33\u201342 (2012)"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/WETICE.2012.48","volume-title":"IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2012)","author":"D. Abeywickrama","year":"2012","unstructured":"Abeywickrama, D., Bicocchi, N., Zambonelli, F.: Sota: Towards a general model for self-adaptive systems. In: IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2012), June 2012, pp. 48\u201353 (2012)"},{"key":"9_CR3","unstructured":"de Lemos, R.: Engineering for Self-Adaptive Systems: A second Research Roadmap. In: de\u00a0Lemos, R., Giese, H., M\u00fcller, H., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems. No. 10431 in Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Dagstuhl, Germany (2011)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-642-02161-9_2","volume-title":"Software Engineering for Self-Adaptive Systems","author":"J. Andersson","year":"2009","unstructured":"Andersson, J., de Lemos, R., Malek, S., Weyns, D.: Modeling dimensions of self-adaptive software systems. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Self-Adaptive Systems. LNCS, vol.\u00a05525, pp. 27\u201347. Springer, Heidelberg (2009)"},{"issue":"1","key":"9_CR5","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/1152934.1152937","volume":"1","author":"O. Babaoglu","year":"2006","unstructured":"Babaoglu, O., Canright, G., Deutsch, A., Caro, G.A.D., Ducatelle, F., Gambardella, L.M., Ganguly, N., Jelasity, M., Montemanni, R., Montresor, A., Urnes, T.: Design patterns from biology for distributed computing. ACM Trans. Auton. Adapt. Syst.\u00a01(1), 26\u201366 (2006)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-13464-7_4","volume-title":"Formal Techniques for Distributed Systems","author":"A. Basu","year":"2010","unstructured":"Basu, A., Bensalem, S., Bozga, M., Caillaud, B., Delahaye, B., Legay, A.: Statistical abstraction and model-checking of large heterogeneous systems. In: Hatcliff, J., Zucca, E. (eds.) FORTE 2010 and FMOODS 2010. LNCS, vol.\u00a06117, pp. 32\u201346. Springer, Heidelberg (2010)"},{"issue":"3","key":"9_CR7","first-page":"41","volume":"28","author":"A. Basu","year":"2011","unstructured":"Basu, A., Bensalem, S., Bozga, M., Combaz, J., Jaber, M., Nguyen, T.H., Sifakis, J.: Rigorous component-based design using the BIP framework. IEEE Software, Special Edition \u2013 Software Components beyond Programming \u2013 from Routines to Services\u00a028(3), 41\u201348 (2011)","journal-title":"IEEE Software, Special Edition \u2013 Software Components beyond Programming \u2013 from Routines to Services"},{"key":"9_CR8","first-page":"3","volume-title":"SEFM","author":"A. Basu","year":"2006","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling Heterogeneous Real-time Components in BIP. In: SEFM, pp. 3\u201312. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/978-3-642-34026-0_25","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"S. Bensalem","year":"2012","unstructured":"Bensalem, S., Bozga, M., Delahaye, B., Jegourel, C., Legay, A., Nouri, A.: Statistical Model Checking QoS Properties of Systems with SBIP. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 327\u2013341. Springer, Heidelberg (2012)"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"614","DOI":"10.1007\/978-3-642-02658-4_45","volume-title":"Computer Aided Verification","author":"S. Bensalem","year":"2009","unstructured":"Bensalem, S., Bozga, M., Nguyen, T.H., Sifakis, J.: D-Finder: A Tool for Compositional Deadlock Detection and Verification. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 614\u2013619. Springer, Heidelberg (2009)"},{"key":"9_CR11","first-page":"119","volume-title":"MEMOCODE","author":"S. Bensalem","year":"2011","unstructured":"Bensalem, S., Griesmayer, A., Legay, A., Nguyen, T.H., Peled, D.: Efficient Deadlock Detection for Concurrent Systems. In: Singh, S., Jobstmann, B., Kishinevsky, M., Brandt, J. (eds.) MEMOCODE, pp. 119\u2013129. IEEE Computer Society Press, Los Alamitos (2011)"},{"key":"9_CR12","volume-title":"Testing Object-Oriented Systems: Models, Patterns and Tools","author":"R. Binder","year":"2000","unstructured":"Binder, R.: Testing Object-Oriented Systems: Models, Patterns and Tools. Addison-Wesley Professional, Reading (2000)"},{"key":"9_CR13","unstructured":"Br\u00f6ckers, A., Lott, C.M., Rombach, H.D., Verlage, M.: MVP-L Language Report Version 2. Tech. Rep. Technical Report Nr. 265\/95, University of Kaiserslautern (1995)"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-642-02161-9_3","volume-title":"Software Engineering for Self-Adaptive Systems","author":"Y. Brun","year":"2009","unstructured":"Brun, Y., Di Marzo Serugendo, G., Gacek, C., Giese, H., Kienle, H.M., Litoiu, M., M\u00fcller, H., Pezz\u00e8, M., Shaw, M.: Engineering self-adaptive systems through feedback loops. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Self-Adaptive Systems. LNCS, vol.\u00a05525, pp. 48\u201370. Springer, Heidelberg (2009)"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-642-02161-9_3","volume-title":"Software Engineering for Self-Adaptive Systems","author":"Y. Brun","year":"2009","unstructured":"Brun, Y., Di Marzo Serugendo, G., Gacek, C., Giese, H., Kienle, H.M., Litoiu, M., M\u00fcller, H., Pezz\u00e8, M., Shaw, M.: Engineering self-adaptive systems through feedback loops. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Self-Adaptive Systems. LNCS, vol.\u00a05525, pp. 48\u201370. Springer, Heidelberg (2009)"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/978-3-319-16310-9_4","volume-title":"Software Engineering for Collective Autonomic Systems","author":"R. Bruni","year":"2015","unstructured":"Bruni, R., Corradini, A., Gadducci, F., H\u00f6lzl, M., Lafuente, A.L., Vandin, A., Wirsing, M.: Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 163\u2013184. Springer, Heidelberg (2015)"},{"key":"9_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-642-28872-2_17","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Bruni","year":"2012","unstructured":"Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: A Conceptual Framework for Adaptation. In: de Lara, J., Zisman, A. (eds.) Fundamental Approaches to Software Engineering. LNCS, vol.\u00a07212, pp. 240\u2013254. Springer, Heidelberg (2012)"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/978-3-319-16310-9_8","volume-title":"Software Engineering for Collective Autonomic Systems","author":"L. Bulej","year":"2015","unstructured":"Bulej, L., Bure\u0161, T., Gerostathopoulos, I., Hork\u00fd, V., Keznikl, J., Marek, L., Tschaikowski, M., Tribastone, M., T\u00f8uma, P.: Supporting Performance Awareness in Autonomous Ensembles. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 291\u2013322. Springer, Heidelberg (2015)"},{"key":"9_CR19","volume-title":"Proceedings of COMPSAC 2012","author":"L. Bulej","year":"2012","unstructured":"Bulej, L., Bures, T., Horky, V., Keznikl, J., Tuma, P.: Performance Awareness in Component Systems: Vision Paper. In: Proceedings of COMPSAC (2012)"},{"key":"9_CR20","volume-title":"Proc. 3rd Intl. Conf. on Performance Engineering (ICPE\u201912)","author":"L. Bulej","year":"2012","unstructured":"Bulej, L., Bures, T., Keznikl, J., Koubkova, A., Podzimek, A., Tuma, P.: Capturing Performance Assumptions using Stochastic Performance Logic. In: Proc. 3rd Intl. Conf. on Performance Engineering (ICPE\u201912), Boston, MA, USA (2012)"},{"key":"9_CR21","first-page":"311","volume-title":"Proc. ICPE 2012","author":"L. Bulej","year":"2012","unstructured":"Bulej, L., Bure\u0161, T., Keznikl, J., Koubkov\u00e1, A., Podzimek, A., T\u016fma, P.: Capturing performance assumptions using stochastic performance logic. In: Proc. ICPE 2012, pp. 311\u2013322. ACM Press, New York (2012)"},{"key":"9_CR22","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1145\/2465449.2465462","volume-title":"Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering (CBSE \u201913)","author":"T. Bures","year":"2013","unstructured":"Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., Plasil, F.: DEECO: An Ensemble-Based Component System. In: Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering (CBSE \u201913), pp. 81\u201390. ACM Press, New York (2013)"},{"key":"9_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/978-3-319-16310-9_12","volume-title":"Software Engineering for Collective Autonomic Systems","author":"T. Bure\u0161","year":"2015","unstructured":"Bure\u0161, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., Plasil, F.: The Invariant Refinement Method. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 405\u2013428. Springer, Heidelberg (2015)"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Bures, T., Nicola, R.D., Gerostathopoulos, I., Hoch, N., Kit, M., Koch, N., Monreale, G.V., Montanari, U., Pugliese, R., Serbedzija, N., Wirsing, M., Zambonelli, F.: A life cycle for the development of autonomic systems: The e-mobility showcase. 2013 IEEE 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops\u00a00, 71\u201376 (2013)","DOI":"10.1109\/SASOW.2013.23"},{"key":"9_CR25","series-title":"Pattern-Oriented Software Architecture","volume-title":"A Pattern Language for Distributed Computing","author":"F. Buschmann","year":"2007","unstructured":"Buschmann, F., Henney, K., Schmidt, D.C.: A Pattern Language for Distributed Computing. Pattern-Oriented Software Architecture, vol.\u00a04. Wiley, Chichester (2007)"},{"key":"9_CR26","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1109\/CTS.2011.5928730","volume-title":"Proceedings of the 2011 International Conference on Collaboration Technologies and Systems","author":"G. Cabri","year":"2011","unstructured":"Cabri, G., Puviani, M., Zambonelli, F.: Towards a Taxonomy of Adaptive Agent-Based Collaboration Patterns for Autonomic Service Ensembles. In: Proceedings of the 2011 International Conference on Collaboration Technologies and Systems, May 2011, pp. 508\u2013515. IEEE Computer Society Press, Los Alamitos (2011)"},{"key":"9_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02161-9_1","volume-title":"Software Engineering for Self-Adaptive Systems","author":"B.H.C. Cheng","year":"2009","unstructured":"Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J., Andersson, J., Becker, B., Bencomo, N., Brun, Y., Cukic, B., Di Marzo Serugendo, G., Dustdar, S., Finkelstein, A., Gacek, C., Geihs, K., Grassi, V., Karsai, G., Kienle, H.M., Kramer, J., Litoiu, M., Malek, S., Mirandola, R., M\u00fcller, H.A., Park, S., Shaw, M., Tichy, M., Tivoli, M., Weyns, D., Whittle, J.: Software engineering for self-adaptive systems: A research roadmap. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Self-Adaptive Systems. LNCS, vol.\u00a05525, pp. 1\u201326. Springer, Heidelberg (2009)"},{"key":"9_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/978-3-319-16310-9_3","volume-title":"Software Engineering for Collective Autonomic Systems","author":"J. Combaz","year":"2015","unstructured":"Combaz, J., Bensalem, S., Tiezzi, F., Margheri, A., Pugliese, R., Kofron, J.: Correctness of Service Components and Service Component Ensembles. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 107\u2013159. Springer, Heidelberg (2015)"},{"key":"9_CR29","volume-title":"Verification Results Applied to the Case Studies - ASCENS Joint Deliverable JD3.1","author":"J. Combaz","year":"2013","unstructured":"Combaz, J., Lafuente, A.L., Montanari, U., Pugliese, R., Sammartino, M., Tiezzi, F., Vandin, A., von Essen, C.: Verification Results Applied to the Case Studies - ASCENS Joint Deliverable JD3.1 (2013), \n                    \n                      http:\/\/www.ascens-ist.eu\/deliverables\/JD31.pdf"},{"key":"9_CR30","unstructured":"IBM Corporation: An Architectural Blueprint for Autonomic Computing. Tech. rep., IBM (2005), \n                    \n                      http:\/\/researchr.org\/publication\/autonomic-architecture-2005"},{"key":"9_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-35887-6_2","volume-title":"Formal Methods for Components and Objects","author":"R. Nicola De","year":"2013","unstructured":"De Nicola, R., Ferrari, G.-L., Loreti, M., Pugliese, R.: A Language-Based Approach to Autonomic Computing. In: Beckert, B., Damiani, F., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol.\u00a07542, pp. 25\u201348. Springer, Heidelberg (2013)"},{"key":"9_CR32","unstructured":"De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: SCEL: A Language for Autonomic Computing. Tech. rep., IMT Lucca (January 2013)"},{"key":"9_CR33","volume-title":"SOA Design Patterns","author":"T. Erl","year":"2009","unstructured":"Erl, T.: SOA Design Patterns, 1st edn. Prentice-Hall, Upper Saddle River (2009)","edition":"1"},{"key":"9_CR34","volume-title":"Patterns of Enterprise Application Architecture","author":"M. Fowler","year":"2002","unstructured":"Fowler, M.: Patterns of Enterprise Application Architecture. Addison-Wesley Longman, Amsterdam (2002)"},{"key":"9_CR35","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Longman, Amsterdam (1995)"},{"issue":"4","key":"9_CR36","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/1274858.1274860","volume":"6","author":"D. Gay","year":"2007","unstructured":"Gay, D., Levis, P., Culler, D.: Software design patterns for TinyOS. Trans. on Embedded Computing Sys.\u00a06(4), 22 (2007)","journal-title":"Trans. on Embedded Computing Sys."},{"key":"9_CR37","first-page":"11","volume-title":"International Workshop on Software Engineering for Adaptive and Self-Managing Systems","author":"H. Gomaa","year":"2012","unstructured":"Gomaa, H., Hashimoto, K.: Dynamic self-adaptation for distributed service-oriented transactions. In: International Workshop on Software Engineering for Adaptive and Self-Managing Systems, Zurich, Switzerland, pp. 11\u201320. IEEE, Los Alamitos (2012)"},{"key":"9_CR38","volume-title":"Patterns for Fault Tolerant Software","author":"R. Hanmer","year":"2007","unstructured":"Hanmer, R.: Patterns for Fault Tolerant Software. John Wiley & Sons, Chichester (2007)"},{"key":"9_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/978-3-319-16310-9_5","volume-title":"Software Engineering for Collective Autonomic Systems","author":"N. Hoch","year":"2015","unstructured":"Hoch, N., Monreale, G.V., Montanari, U., Sammartino, M., Siwe, A.T.: From Local to Global Knowledge and Back. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 185\u2013220. Springer, Heidelberg (2015)"},{"key":"9_CR40","unstructured":"H\u00f6lzl, M.: APEX: The ASCENS Pattern Explorer. web site, \n                    \n                      http:\/\/www.ascens-ist.eu\/pattern"},{"key":"9_CR41","unstructured":"H\u00f6lzl, M.: The Poem Language (Version 2). Tech. Rep.\u00a07, ASCENS (July 2013), \n                    \n                      http:\/\/www.poem-lang.de\/documentation\/TR7.pdf"},{"key":"9_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/978-3-319-16310-9_7","volume-title":"Software Engineering for Collective Autonomic Systems","author":"M. H\u00f6lzl","year":"2015","unstructured":"H\u00f6lzl, M., Gabor, T.: Reasoning and Learning for Awareness and Adaptation. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 249\u2013290. Springer, Heidelberg (2015)"},{"key":"9_CR43","unstructured":"H\u00f6lzl, M., Koch, N.: D8.3: Third Report on WP8\u2014Best Practices for SDEs (first version) (November 2013)"},{"key":"9_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-642-24933-4_12","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems","author":"M.M. H\u00f6lzl","year":"2011","unstructured":"H\u00f6lzl, M.M., Wirsing, M.: Towards a system model for ensembles. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol.\u00a07000, pp. 241\u2013261. Springer, Heidelberg (2011)"},{"key":"9_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-3-642-35813-5_10","volume-title":"Software Engineering for Self-Adaptive Systems II","author":"P. Inverardi","year":"2013","unstructured":"Inverardi, P., Mori, M.: A Software Lifecycle Process to Support Consistent Evolutions. In: de Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems II. LNCS, vol.\u00a07475, pp. 239\u2013264. Springer, Heidelberg (2013)"},{"issue":"1","key":"9_CR46","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"J.O. Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer\u00a036(1), 41\u201350 (2003), doi:10.1109\/MC.2003.1160055","journal-title":"Computer"},{"key":"9_CR47","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1145\/2465449.2465457","volume-title":"Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering (CBSE\u00a0\u201913)","author":"J. Keznikl","year":"2013","unstructured":"Keznikl, J., Bures, T., Plasil, F., Gerostathopoulos, I., Hnetynka, P., Hoch, N.: Design of Ensemble-Based Component Systems by Invariant Refinement. In: Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering (CBSE\u00a0\u201913), pp. 91\u2013100. ACM Press, New York (2013)"},{"key":"9_CR48","first-page":"249","volume-title":"WICSA\/ECSA","author":"J. Keznikl","year":"2012","unstructured":"Keznikl, J., Bures, T., Plasil, F., Kit, M.: Towards Dependable Emergent Ensembles of Components: The DEECo Component Model. In: WICSA\/ECSA, pp. 249\u2013252. IEEE Computer Society Press, Los Alamitos (2012)"},{"key":"9_CR49","first-page":"15","volume-title":"Proceedings of the 23rd Australasian Software Engineering Conference","author":"A. Klarl","year":"2014","unstructured":"Klarl, A., Hennicker, R.: Design and Implementation of Dynamically Evolving Ensembles with the HELENA Framework. In: Proceedings of the 23rd Australasian Software Engineering Conference, pp. 15\u201324. IEEE Computer Society Press, Los Alamitos (2014)"},{"key":"9_CR50","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1145\/2162049.2162077","volume-title":"Proceedings of the 11th annual international conference on Aspect-oriented Software Development (AOSD \u201912)","author":"L. Marek","year":"2012","unstructured":"Marek, L., Villaz\u00f3n, A., Zheng, Y., Ansaloni, D., Binder, W., Qi, Z.: DiSL: a domain-specific language for bytecode instrumentation. In: Proceedings of the 11th annual international conference on Aspect-oriented Software Development (AOSD \u201912), pp. 239\u2013250. ACM Press, New York (2012)"},{"issue":"1","key":"9_CR51","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1145\/972648.972651","volume":"11","author":"D. Martin","year":"2004","unstructured":"Martin, D., Sommerville, I.: Patterns of Cooperative Interaction: Linking Ethnomethodology and Design. ACM Trans. Comput.-Hum. Interact.\u00a011(1), 59\u201389 (2004)","journal-title":"ACM Trans. Comput.-Hum. Interact."},{"key":"9_CR52","first-page":"71","volume-title":"iStar 2010\u20134 th International i* Workshop","author":"M. Morandini","year":"2010","unstructured":"Morandini, M.: the use of the goal-oriented paradigm for system design and law compliance reasoning. In: iStar 2010\u20134 th International i* Workshop, Hammamet, Tunisia, p. 71 (2010)"},{"issue":"1","key":"9_CR53","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/291469.293165","volume":"42","author":"J. Mylopoulos","year":"1999","unstructured":"Mylopoulos, J., Chung, L., Yu, E.S.K.: From Object-Oriented to Goal-Oriented Requirements Analysis. Communications of the ACM\u00a042(1), 31\u201337 (1999)","journal-title":"Communications of the ACM"},{"key":"9_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-319-16310-9_1","volume-title":"Software Engineering for Collective Autonomic Systems","author":"R. Nicola De","year":"2015","unstructured":"De Nicola, R., Latella, D., Lafuente, A.L., Loreti, M., Margheri, A., Massink, M., Morichetta, A., Pugliese, R., Tiezzi, F., Vandin, A.: The SCEL Language: Design, Implementation, Verification. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 3\u201371. Springer, Heidelberg (2015)"},{"key":"9_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"748","DOI":"10.1007\/3-540-55602-8\\_217","volume-title":"Automated Deduction - CADE-11","author":"S. Owre","year":"1992","unstructured":"Owre, S., Rushby, J.M., Shankar, N.: PVS: A prototype verification system. In: Kapur, D. (ed.) CADE 1992. LNCS, vol.\u00a0607, pp. 748\u2013752. Springer, Heidelberg (1992), doi:10.1007\/3-540-55602-8_217"},{"key":"9_CR56","unstructured":"Puviani, M.: Catalogue of architectural adaptation patterns (2012), \n                    \n                      http:\/\/mars.ing.unimo.it\/wiki\/papers\/TR42.pdf"},{"issue":"2","key":"9_CR57","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1516533.1516538","volume":"4","author":"M. Salehie","year":"2009","unstructured":"Salehie, M., Tahvildari, L.: Self-adaptive software: Landscape and research challenges. ACM Transactions on Autonomous and Adaptive Systems\u00a04(2), 1\u201342 (2009)","journal-title":"ACM Transactions on Autonomous and Adaptive Systems"},{"key":"9_CR58","series-title":"Pattern-Oriented Software Architecture","volume-title":"Patterns for Concurrent and Networked Objects","author":"D.C. Schmidt","year":"2000","unstructured":"Schmidt, D.C., Stal, M., Rohnert, H., Buschmann, F.: Patterns for Concurrent and Networked Objects. Pattern-Oriented Software Architecture, vol.\u00a02. Wiley, Chichester (2000)"},{"key":"9_CR59","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/978-3-319-16310-9_11","volume-title":"Software Engineering for Collective Autonomic Systems","author":"E. Vassev","year":"2015","unstructured":"Vassev, E., Hinchey, M.: Engineering Requirements for Autonomy Features. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 379\u2013403. Springer, Heidelberg (2015)"},{"issue":"1","key":"9_CR60","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/2168260.2168268","volume":"7","author":"D. Weyns","year":"2012","unstructured":"Weyns, D., Malek, S., Andersson, J.: Forms: Unifying reference model for formal specification of distributed self-adaptive systems. ACM Transactions on Autonomous and Adaptive Systems\u00a07(1), 8 (2012)","journal-title":"ACM Transactions on Autonomous and Adaptive Systems"},{"key":"9_CR61","series-title":"Lecture Notes in Computer Science","volume-title":"Software Engineering for Collective Autonomic Systems","year":"2015","unstructured":"Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.): Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998. Springer, Heidelberg (2015)"},{"key":"9_CR62","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-35887-6_1","volume-title":"Formal Methods for Components and Objects","author":"M. Wirsing","year":"2013","unstructured":"Wirsing, M., H\u00f6lzl, M.M., Tribastone, M., Zambonelli, F.: ASCENS: Engineering Autonomic Service-Component Ensembles. In: Beckert, B., Damiani, F., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol.\u00a07542, pp. 1\u201324. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Collective Autonomic Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-16310-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T08:26:45Z","timestamp":1559118405000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-16310-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319163093","9783319163109"],"references-count":62,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-16310-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}