{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T23:10:22Z","timestamp":1770333022332,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642546235","type":"print"},{"value":"9783642546242","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54624-2_18","type":"book-chapter","created":{"date-parts":[[2014,2,28]],"date-time":"2014-02-28T17:42:59Z","timestamp":1393609379000},"page":"359-381","source":"Crossref","is-referenced-by-count":48,"title":["Foundations for Ensemble Modeling \u2013 The Helena Approach"],"prefix":"10.1007","author":[{"given":"Rolf","family":"Hennicker","sequence":"first","affiliation":[]},{"given":"Annabelle","family":"Klarl","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"The ASCENS Project, \n                  \n                    http:\/\/www.ascens-ist.eu"},{"key":"18_CR2","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/WETICE.2012.48","volume-title":"21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises","author":"D. Abeywickrama","year":"2012","unstructured":"Abeywickrama, D., Bicocchi, N., Zambonelli, F.: SOTA: Towards a General Model for Self-Adaptive Systems. In: 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, pp. 48\u201353. IEEE CS Press, Toulouse (2012)"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Ali, R.A., Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., Plasil, F.: DEECo Computational Model - I. Tech. Rep. D3S-TR-2013-01, Charles University in Prague (2013)","DOI":"10.1145\/2465449.2465462"},{"issue":"3","key":"18_CR4","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. ACM Trans. Softw. Eng. Methodol.\u00a06(3), 213\u2013249 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"1-2","key":"18_CR5","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s12243-008-0069-7","volume":"64","author":"T. Barros","year":"2009","unstructured":"Barros, T., Ameur-Boulifa, R., Cansado, A., Henrio, L., Madelaine, E.: Behavioural models for distributed Fractal components. Annales des T\u00e9l\u00e9communications\u00a064(1-2), 25\u201343 (2009)","journal-title":"Annales des T\u00e9l\u00e9communications"},{"key":"18_CR6","first-page":"91","volume":"11","author":"B. Bauer","year":"2000","unstructured":"Bauer, B., M\u00fcller, J.P., Odell, J.: Agent UML: A formalism for specifying multiagent software systems. Int. Journal of Software Engineering and Knowledge Engineering\u00a011, 91\u2013103 (2000)","journal-title":"Int. Journal of Software Engineering and Knowledge Engineering"},{"key":"18_CR7","first-page":"325","volume-title":"Proceedings of the Fourth IECIS International Conference on Cooperative Information Systems, COOPIS 1999","author":"M. Becht","year":"1999","unstructured":"Becht, M., Gurzki, T., Klarmann, J., Muscholl, M.: ROPE: Role Oriented Programming Environment for Multiagent Systems. In: Proceedings of the Fourth IECIS International Conference on Cooperative Information Systems, COOPIS 1999, pp. 325\u2013333. IEEE Computer Society, Washington, DC (1999)"},{"issue":"1","key":"18_CR8","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1023\/A:1022407907596","volume":"12","author":"M.H. Beek ter","year":"2003","unstructured":"ter Beek, M.H., Ellis, C.A., Kleijn, J., Rozenberg, G.: Synchronizations in Team Automata for Groupware Systems. Computer Supported Cooperative Work\u00a012(1), 21\u201369 (2003)","journal-title":"Computer Supported Cooperative Work"},{"key":"18_CR9","unstructured":"Bensalem, S., Bures, T., Combaz, J., De Nicola, R., H\u00f6lzl, M., Koch, N., Loreti, M., Tuma, P., Wirsing, M., Zambonelli, F.: A Life Cycle for the Development of Autonomic Systems. In: 3rd Awareness Workshop at SASO 2013 (2013) (submitted)"},{"issue":"4","key":"18_CR10","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1145\/606612.606614","volume":"11","author":"M. Bernardo","year":"2002","unstructured":"Bernardo, M., Ciancarini, P., Donatiello, L.: Architecting families of software systems with process algebras. ACM Trans. Softw. Eng. Methodol.\u00a011(4), 386\u2013426 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"2","key":"18_CR11","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/1118537.1123063","volume":"31","author":"L. Brim","year":"2006","unstructured":"Brim, L., \u010cern\u00e1, I., Va\u0159ekov\u00e1, P., Zimmerova, B.: Component-interaction automata as a verification-oriented component-based system specification. SIGSOFT Softw. Eng. Notes\u00a031(2), 4 (2006)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"18_CR12","first-page":"81","volume-title":"Proceedings of CBSE 2013","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 CBSE 2013, pp. 81\u201390. ACM, Vancouver (2013)"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Bures, T., Hnetynka, P., Plasil, F.: SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model. In: SERA, pp. 40\u201348 (2006)","DOI":"10.1109\/SERA.2006.62"},{"key":"18_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-21461-5_1","volume-title":"Formal Techniques for Distributed Systems","author":"G. Castagna","year":"2011","unstructured":"Castagna, G., Dezani-Ciancaglini, M., Padovani, L.: On global types and multi-party sessions. In: Bruni, R., Dingel, J. (eds.) FORTE 2011 and FMOODS 2011. LNCS, vol.\u00a06722, pp. 1\u201328. Springer, Heidelberg (2011)"},{"key":"18_CR15","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/1-4020-8058-1_6","volume-title":"Methodologies and Software Engineering for Agent Systems, Multiagent Systems, Artificial Societies, and Simulated Organizations","author":"L. Cernuzzi","year":"2004","unstructured":"Cernuzzi, L., Juan, T., Sterling, L., Zambonelli, F.: The Gaia Methodology: Basic Concepts and Extensions. In: Bergenti, F., Gleizes, M.P. (eds.) Methodologies and Software Engineering for Agent Systems, Multiagent Systems, Artificial Societies, and Simulated Organizations, vol.\u00a011, pp. 69\u201388. Springer, Heidelberg (2004)"},{"key":"18_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-642-38493-6_4","volume-title":"Coordination Models and Languages","author":"M. Coppo","year":"2013","unstructured":"Coppo, M., Dezani-Ciancaglini, M., Padovani, L., Yoshida, N.: Inference of global progress properties for dynamically interleaved multiparty sessions. In: De Nicola, R., Julien, C. (eds.) COORDINATION 2013. LNCS, vol.\u00a07890, pp. 45\u201359. Springer, Heidelberg (2013)"},{"key":"18_CR17","series-title":"Lecture Notes in Computer Science","first-page":"25","volume-title":"FMCO","author":"R. De Nicola","year":"2012","unstructured":"De Nicola, R., Ferrari, G., Loreti, M., Pugliese, R.: A Language-Based Approach to Autonomic Computing. In: Beckert, B., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol.\u00a07542, pp. 25\u201348. Springer, Heidelberg (2012)"},{"key":"18_CR18","unstructured":"De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: SCEL: A Language for Autonomic Computing. Tech. rep., IMT, Institute for Advanced Studies Lucca, Italy (2013)"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Futatsugi, K., Goguen, J.A., Jouannaud, J.P., Meseguer, J.: Principles of OBJ2. In: Van Deusen, M.S., Galil, Z. (eds.) POPL, pp. 52\u201366. ACM Press (1985)","DOI":"10.1145\/318593.318610"},{"issue":"1","key":"18_CR20","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J.A. Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract Model Theory for Specification and Programming. J. ACM\u00a039(1), 95\u2013146 (1992)","journal-title":"J. ACM"},{"issue":"3","key":"18_CR21","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/230538.230540","volume":"14","author":"G. Gottlob","year":"1996","unstructured":"Gottlob, G., Schrefl, M., R\u00f6ck, B.: Extending Object-Oriented Systems with Roles. ACM Trans. Inf. Syst.\u00a014(3), 268\u2013296 (1996)","journal-title":"ACM Trans. Inf. Syst."},{"key":"18_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-642-23283-1_11","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2011","author":"R. Hennicker","year":"2011","unstructured":"Hennicker, R., Knapp, A.: Modal Interface Theories for Communication-Safe Component Assemblies. In: Cerone, A., Pihlajasaari, P. (eds.) ICTAC 2011. LNCS, vol.\u00a06916, pp. 135\u2013153. Springer, Heidelberg (2011)"},{"key":"18_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-642-23283-1_11","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2011","author":"R. Hennicker","year":"2011","unstructured":"Hennicker, R., Knapp, A.: Modal interface theories for communication-safe component assemblies. In: Cerone, A., Pihlajasaari, P. (eds.) ICTAC 2011. LNCS, vol.\u00a06916, pp. 135\u2013153. Springer, Heidelberg (2011)"},{"key":"18_CR24","doi-asserted-by":"crossref","unstructured":"H\u00f6lzl, M., Wirsing, M.: Towards a System Model for Ensembles. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Talcott Festschrift. LNCS, vol.\u00a07000, pp. 241\u2013261. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-24933-4_12"},{"key":"18_CR25","unstructured":"Klarl, A., Hennicker, R.: The Helena Framework, \n                  \n                    http:\/\/www.pst.ifi.lmu.de\/Personen\/team\/klarl\/papers\/helena.jar"},{"issue":"3","key":"18_CR26","first-page":"143","volume":"2","author":"B.B. Kristensen","year":"1996","unstructured":"Kristensen, B.B., \u00d8sterbye, K.: Roles: Conceptual Abstraction Theory and Practical Language Issues. TAPOS\u00a02(3), 143\u2013160 (1996)","journal-title":"TAPOS"},{"key":"18_CR27","unstructured":"van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley (2009)"},{"key":"18_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1625","DOI":"10.1007\/3-540-48118-4_36","volume-title":"FM\u201999 - Formal Methods","author":"A. Mori","year":"1999","unstructured":"Mori, A., Futatsugi, K.: Verifying Behavioural Specifications in CafeOBJ Environment. In: Wing, J.M., Woodcock, J., Davies, J. (eds.) FM 1999. LNCS, vol.\u00a01709, pp. 1625\u20131643. Springer, Heidelberg (1999)"},{"key":"18_CR29","doi-asserted-by":"crossref","unstructured":"Nakajima, S., Futatsugi, K.: An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ. In: Adrion, W.R., Fuggetta, A., Taylor, R.N., Wasserman, A.I. (eds.) ICSE, pp. 34\u201344. ACM (1997)","DOI":"10.1145\/253228.253238"},{"key":"18_CR30","unstructured":"OMG (Object Management Group): OMG Unified Modeling Language Superstructure. Specification, OMG (Object Management Group) (2011), \n                  \n                    http:\/\/www.omg.org\/spec\/UML\/2.4.1\/Superstructure\/"},{"key":"18_CR31","series-title":"Lecture Notes in Computer Science","volume-title":"The Common Component Modeling Example","year":"2008","unstructured":"Rausch, A., Reussner, R., Mirandola, R., Pl\u00e1\u0161il, F. (eds.): The Common Component Modeling Example. LNCS, vol.\u00a05153. Springer, Heidelberg (2008)"},{"issue":"1","key":"18_CR32","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.\u00a035(1), 83\u2013106 (2000)","journal-title":"Data Knowl. Eng."},{"key":"18_CR33","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"2002","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley Longman Publishing Co., Inc., Boston (2002)","edition":"2"},{"key":"18_CR34","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"FMCO 2011","author":"M. Wirsing","year":"2013","unstructured":"Wirsing, M., H\u00f6lzl, M., Tribastone, M., Zambonelli, F.: ASCENS: Engineering Autonomic Service-Component Ensembles. In: Beckert, B., Damiani, F., de Boer, S., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol.\u00a07542, pp. 1\u201324. Springer, Heidelberg (2013)"},{"issue":"3","key":"18_CR35","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/A:1010071910869","volume":"3","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M., Jennings, N.R., Kinny, D.: The Gaia Methodology for Agent-Oriented Analysis and Design. Autonomous Agents and Multi-Agent Systems\u00a03(3), 285\u2013312 (2000)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"18_CR36","unstructured":"Xu, H., Zhang, X., Patel, R.J.: Developing Role-Based Open Multi-Agent Software Systems. International Journal of Computational Intelligence Theory and Practice\u00a02 (2007)"}],"container-title":["Lecture Notes in Computer Science","Specification, Algebra, and Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54624-2_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T05:27:34Z","timestamp":1578547654000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54624-2_18"}},"subtitle":["Handling Massively Distributed Systems with ELaborate ENsemble Architectures"],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642546235","9783642546242"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54624-2_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}