{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T20:59:24Z","timestamp":1767905964831,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642027031","type":"print"},{"value":"9783642027048","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02704-8_3","type":"book-chapter","created":{"date-parts":[[2009,6,29]],"date-time":"2009-06-29T09:32:50Z","timestamp":1246267970000},"page":"17-31","source":"Crossref","is-referenced-by-count":22,"title":["A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems"],"prefix":"10.1007","author":[{"given":"Florian","family":"Nafz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Ortmeier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hella","family":"Seebach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan-Philipp","family":"Stegh\u00f6fer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Reif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Braubach, L., Pokahr, A., Lamersdorf, W.: Jadex: A BDI Agent System Combining Middleware and Reasoning. Software Agent-Based Applications, Platforms and Development Kits (2005)","DOI":"10.1007\/3-7643-7348-2_7"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/582128.582135","volume-title":"Proceedings of the first workshop on Self-healing Systems","author":"I. Georgiadis","year":"2002","unstructured":"Georgiadis, I., Magee, J., Kramer, J.: Self-organising software architectures for distributed systems. In: Proceedings of the first workshop on Self-healing Systems, pp. 33\u201338. ACM Press, New York (2002)"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/11839569_4","volume-title":"Autonomic and Trusted Computing","author":"M. G\u00fcdemann","year":"2006","unstructured":"G\u00fcdemann, M., Ortmeier, F., Reif, W.: Formal modeling and verification of systems with self-x properties. In: Yang, L.T., Jin, H., Ma, J., Ungerer, T. (eds.) ATC 2006. LNCS, vol.\u00a04158, pp. 38\u201347. Springer, Heidelberg (2006)"},{"key":"3_CR4","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1109\/SASO.2008.66","volume-title":"Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems","author":"M. G\u00fcdemann","year":"2008","unstructured":"G\u00fcdemann, M., Nafz, F., Ortmeier, F., Seebach, H., Reif, W.: A specification and construction paradigm for organic computing systems. In: Brueckner, S., Robertson, P., Bellur, U. (eds.) Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, pp. 233\u2013242. IEEE Computer Society Press, Los Alamitos (2008)"},{"issue":"2","key":"3_CR5","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D. Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a011(2), 256\u2013290 (2002)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Kephart, J., Chess, D.: The vision of autonomic computing. IEEE Computer (January 2003)","DOI":"10.1109\/MC.2003.1160055"},{"key":"3_CR7","first-page":"259","volume-title":"International Conference on Software Engineering","author":"J. Kramer","year":"2007","unstructured":"Kramer, J., Magee, J.: Self-Managed Systems: an Architectural Challenge. In: International Conference on Software Engineering, pp. 259\u2013268. IEEE Computer Society, Washington (2007)"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/3-540-60406-5_12","volume-title":"Software Engineering - ESEC \u201995","author":"J. Magee","year":"1995","unstructured":"Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying Distributed Software Architectures. In: Sch\u00e4fer, W., Botella, P. (eds.) ESEC 1995. LNCS, vol.\u00a0989, pp. 137\u2013153. Springer, Heidelberg (1995)"},{"key":"3_CR9","first-page":"2","volume-title":"CODES+ISSS 2004: Proceedings of the 2nd IEEE\/ACM\/IFIP international conference on Hardware\/software codesign and system synthesis","author":"C. M\u00fcller-Schloer","year":"2004","unstructured":"M\u00fcller-Schloer, C.: Organic computing: on the feasibility of controlled emergence. In: CODES+ISSS 2004: Proceedings of the 2nd IEEE\/ACM\/IFIP international conference on Hardware\/software codesign and system synthesis, pp. 2\u20135. ACM, New York (2004)"},{"key":"3_CR10","unstructured":"OMG. Object Constraint Language, OMG Available Specification (2006)"},{"key":"3_CR11","unstructured":"Richter, U., Mnif, M., Branke, J., M\u00fcller-Schloer, C., Schmeck, H.: Towards a generic observer\/controller architecture for Organic Computing. Informatik, 112\u2013119 (2006)"},{"key":"3_CR12","volume-title":"Proceedings of the IEEE Congress on Evolutionary Computation 2007","author":"H. Seebach","year":"2007","unstructured":"Seebach, H., Ortmeier, F., Reif, W.: Design and Construction of Organic Computing Systems. In: Proceedings of the IEEE Congress on Evolutionary Computation 2007. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"3_CR13","unstructured":"Torlak, E., Jackson, D.: The Design of a Relational Engine. Technical report, Massachusetts Institute of Technology, Computer Science and Artificial Intelligence Laboratory (2006)"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1007\/978-3-540-71209-1_49","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E. Torlak","year":"2007","unstructured":"Torlak, E., Jackson, D.: Kodkod: A Relational Model Finder. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 632\u2013647. Springer, Heidelberg (2007)"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Warren, I., Sun, J., Krishnamohan, S., Weerasinghe, T.: An Automated Formal Approach to Managing Dynamic Reconfiguration. In: 21st IEEE\/ACM International Conference on Automated Software Engineering, ASE 2006, pp. 37\u201346 (2006)","DOI":"10.1109\/ASE.2006.12"}],"container-title":["Lecture Notes in Computer Science","Autonomic and Trusted Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02704-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T00:08:07Z","timestamp":1558397287000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02704-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642027031","9783642027048"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02704-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}