{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T22:58:12Z","timestamp":1773097092827,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642358869","type":"print"},{"value":"9783642358876","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-35887-6_1","type":"book-chapter","created":{"date-parts":[[2013,1,4]],"date-time":"2013-01-04T11:10:13Z","timestamp":1357297813000},"page":"1-24","source":"Crossref","is-referenced-by-count":28,"title":["ASCENS: Engineering Autonomic Service-Component Ensembles"],"prefix":"10.1007","author":[{"given":"Martin","family":"Wirsing","sequence":"first","affiliation":[]},{"given":"Matthias","family":"H\u00f6lzl","sequence":"additional","affiliation":[]},{"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[]},{"given":"Franco","family":"Zambonelli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Abeywickrama, D.B., Zambonelli, F.: Model checking goal-oriented requirements for self-adaptive systems. In: Popovic, M., Sch\u00e4tz, B., Voss, S. (eds.) ECBS, pp. 33\u201342. IEEE (2012)","DOI":"10.1109\/ECBS.2012.30"},{"key":"1_CR2","doi-asserted-by":"crossref","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 (2011)","DOI":"10.1109\/MEMCOD.2011.5970518"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Bruni, R., Corradini, A., Gadducci, F., Lluch-Lafuente, A., Vandin, A.: A conceptual framework for adaptation. In: de Lara, Zisman (eds.) [16], pp. 240\u2013254","DOI":"10.1007\/978-3-642-28872-2_17"},{"issue":"5","key":"1_CR4","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R. Nicola De","year":"1998","unstructured":"De Nicola, R., Ferrari, G.L., Pugliese, R.: Klaim: A kernel language for agents interaction and mobility. IEEE Trans. Software Eng.\u00a024(5), 315\u2013330 (1998)","journal-title":"IEEE Trans. Software Eng."},{"key":"1_CR5","series-title":"LNCS","first-page":"25","volume-title":"FMCO 2011","author":"R. Nicola De","year":"2012","unstructured":"De Nicola, R., Ferrari, G., Loreti, M., Pugliese, R.: A Language-Based Approach to Autonomic Computing. In: Beckert, B., de Boer, F., Bonsangue, M., Damiani, F. (eds.) FMCO 2011. LNCS, vol.\u00a07542, pp. 25\u201348. Springer, Heidelberg (2012)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Eckhardt, J., M\u00fchlbauer, T., AlTurki, M., Meseguer, J., Wirsing, M.: Stable availability under denial of service attacks through formal patterns. In: de Lara, Zisman (eds.) [16], pp. 78\u201393","DOI":"10.1007\/978-3-642-28872-2_6"},{"key":"1_CR7","unstructured":"Eclipse Foundation: The Eclipse Open Source Community and Java IDE (2011), http:\/\/www.eclipse.org\/ (accessed: August 02, 2012)"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-642-24690-6_15","volume-title":"Software Engineering and Formal Methods","author":"Y. Falcone","year":"2011","unstructured":"Falcone, Y., Jaber, M., Nguyen, T.H., Bozga, M., Bensalem, S.: Runtime Verification of Component-Based Systems. In: Barthe, G., Pardo, A., Schneider, G. (eds.) SEFM 2011. LNCS, vol.\u00a07041, pp. 204\u2013220. Springer, Heidelberg (2011)"},{"key":"1_CR9","volume-title":"Analysis Patterns: Reusable Object Models","author":"M. Fowler","year":"1996","unstructured":"Fowler, M.: Analysis Patterns: Reusable Object Models. Addison-Wesley Longman, Amsterdam (1996)"},{"key":"1_CR10","volume-title":"Design Patterns","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Addison-Wesley, Boston (1995)"},{"issue":"7","key":"1_CR11","doi-asserted-by":"publisher","first-page":"866","DOI":"10.1093\/comjnl\/bxr094","volume":"55","author":"J. Hillston","year":"2012","unstructured":"Hillston, J., Tribastone, M., Gilmore, S.: Stochastic process algebras: From individuals to populations. Comput. J.\u00a055(7), 866\u2013881 (2012)","journal-title":"Comput. J."},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-89437-7_1","volume-title":"Software-Intensive Systems and New Computing Paradigms","author":"M. H\u00f6lzl","year":"2008","unstructured":"H\u00f6lzl, M., Rauschmayer, A., Wirsing, M.: Engineering of Software-Intensive Systems: State of the Art and Research Challenges. In: Wirsing, M., Ban\u00e2tre, J.-P., H\u00f6lzl, M., Rauschmayer, A. (eds.) Software-Intensive Systems. LNCS, vol.\u00a05380, pp. 1\u201344. Springer, Heidelberg (2008)"},{"key":"1_CR13","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. H\u00f6lzl","year":"2011","unstructured":"H\u00f6lzl, 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":"1_CR14","unstructured":"InterLink Project: Website, http:\/\/interlink.ics.forth.gr\/central.aspx (accessed: August 02, 2012)"},{"key":"1_CR15","volume-title":"Decisions with multiple objectives: Preferences and value tradeoffs","author":"R. Keeney","year":"1976","unstructured":"Keeney, R., Raiffa, H.: Decisions with multiple objectives: Preferences and value tradeoffs. J. Wiley, New York (1976)"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"Fundamental Approaches to Software Engineering","year":"2012","unstructured":"de Lara, J., Zisman, A. (eds.): FASE 2012. LNCS, vol.\u00a07212. Springer, Heidelberg (2012)"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Mayer, P., R\u00e1th, I.: The Sensoria Development Environment. In: Wirsing, H\u00f6lzl (eds.) [22], pp. 622\u2013639","DOI":"10.1007\/978-3-642-20401-2_30"},{"key":"1_CR18","unstructured":"OSGi Alliance: OSGi Specification Release 4 (March 2008), http:\/\/www.osgi.org\/Specifications\/ (accessed: August 02, 2012)"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Pinciroli, C., Trianni, V., O\u2019Grady, R., Pini, G., Brutschy, A., Brambilla, M., Mathews, N., Ferrante, E., Caro, G.D., Ducatelle, F., Stirling, T.S., Guti\u00e9rrez, \u00c1., Gambardella, L.M., Dorigo, M.: ARGoS: A modular, multi-engine simulator for heterogeneous swarm robotics. In: IROS, pp. 5027\u20135034. IEEE (2011)","DOI":"10.1109\/IROS.2011.6094829"},{"key":"1_CR20","unstructured":"Russell, S.J., Norvig, P.: Artificial Intelligence - A Modern Approach (3rd internat. edn.). Pearson Education (2010)"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Vassev, E., Hinchey, M., Gaudin, B., Nixon, P.: Requirements and Initial Model for KnowLang \u2013 a Language for Knowledge Representation in Autonomic Service-Component Ensembles. In: C3S2E 2011: The Fourth International C* Conference on Computer Science & Software Engineering, pp. 35\u201342. ACM (2011)","DOI":"10.1145\/1992896.1992901"},{"key":"1_CR22","unstructured":"Wirsing, M., H\u00f6lzl, M.M. (eds.): SENSORIA. LNCS, vol.\u00a06582. Springer (2011)"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Wirsing, M., H\u00f6lzl, M.M., Koch, N., Mayer, P.: Sensoria - Software Engineering for Service-Oriented Overlay Computers. In: Wirsing, H\u00f6lzl (eds.) [22], pp. 1\u201314","DOI":"10.1007\/978-3-642-20401-2_1"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Zambonelli, F., Bicocchi, N., Cabri, G., Leonardi, L., Puviani, M.: On Self-Adaptation, Self-Expression and Self-Awareness for Autonomic Service Component Ensembles. In: Proceedings of the 1st SASO Workshop on Self-Awareness, Ann Arbor, USA, pp. 108\u2013113. IEEE CS Press (October 2011)","DOI":"10.1109\/SASOW.2011.24"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35887-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,7]],"date-time":"2019-07-07T23:13:19Z","timestamp":1562541199000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35887-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642358869","9783642358876"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35887-6_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}