{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T21:04:14Z","timestamp":1776373454401,"version":"3.51.2"},"publisher-location":"Cham","reference-count":59,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319246437","type":"print"},{"value":"9783319246444","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24644-4_1","type":"book-chapter","created":{"date-parts":[[2015,9,24]],"date-time":"2015-09-24T05:34:39Z","timestamp":1443072879000},"page":"1-29","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Towards Smart Systems of Systems"],"prefix":"10.1007","author":[{"given":"Holger","family":"Giese","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Vogel","sequence":"additional","affiliation":[]},{"given":"Sebastian","family":"W\u00e4tzoldt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,12]]},"reference":[{"issue":"4","key":"1_CR1","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D","volume":"1","author":"M.W. Maier","year":"1998","unstructured":"Maier, M.W.: Architecting principles for systems-of-systems. Systems Engineering\u00a01(4), 267\u2013284 (1998)","journal-title":"Systems Engineering"},{"issue":"1-2","key":"1_CR2","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1504\/IJSSE.2008.018137","volume":"1","author":"R. Valerdi","year":"2008","unstructured":"Valerdi, R., Axelband, E., Baehren, T., Boehm, B., Dorenbos, D., Jackson, S., Madni, A., Nadler, G., Robitaille, P., Settles, S.: A research agenda for systems of systems architecting. Intl. Journal of System of Systems Engineering\u00a01(1-2), 171\u2013188 (2008)","journal-title":"Intl. Journal of System of Systems Engineering"},{"key":"1_CR3","volume-title":"Ultra-Large-Scale Systems: The Software Challenge of the Future","author":"L. Northrop","year":"2006","unstructured":"Northrop, L., Feiler, P.H., Gabriel, R.P., Linger, R., Longstaff, T., Kazman, R., Klein, M., Schmidt, D.: Ultra-Large-Scale Systems: The Software Challenge of the Future. Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA (2006)"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-34059-8_1","volume-title":"Large-Scale Complex IT Systems. Development, Operation and Management","author":"M. Broy","year":"2012","unstructured":"Broy, M., Cengarle, M.V., Geisberger, E.: Cyber-Physical Systems: Imminent Challenges. In: Calinescu, R., Garlan, D. (eds.) Monterey Workshop 2012. LNCS, vol.\u00a07539, pp. 1\u201328. Springer, Heidelberg (2012)"},{"issue":"10","key":"1_CR5","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/MC.2006.362","volume":"39","author":"L. Baresi","year":"2006","unstructured":"Baresi, L., Di Nitto, E., Ghezzi, C.: Toward Open-World Software: Issue and Challenges. Computer\u00a039(10), 36\u201343 (2006)","journal-title":"Computer"},{"key":"1_CR6","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., et al.: Software Engineering for Self-Adaptive Systems: A Research Roadmap. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol.\u00a05525, pp. 1\u201326. Springer, Heidelberg (2009)"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-35813-5_1","volume-title":"Software Engineering for Self-Adaptive Systems II","author":"R. Lemos de","year":"2013","unstructured":"de Lemos, R., et al.: Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. In: de Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol.\u00a07475, pp. 1\u201332. Springer, Heidelberg (2013)"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Di Marzo Serugendo, G., Gleizes, M.P., Karageorgos, A. (eds.): Self-organising Software. Natural Computing Series. Springer (2011)","DOI":"10.1007\/978-3-642-17348-6"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Mens, T., Demeyer, S.: Software Evolution. Springer (2008)","DOI":"10.1007\/978-3-540-76440-3"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Mittal, S., Risco Martin, J.: Model-driven systems engineering for netcentric system of systems with DEVS unified process. In: Simulation Conference (WSC), pp. 1140\u20131151 (Winter 2013)","DOI":"10.1109\/WSC.2013.6721503"},{"key":"1_CR11","unstructured":"Object Management Group (OMG): Service oriented architecture Modeling Language (SoaML) Specification, Version 1.0.1. (2012)"},{"key":"1_CR12","unstructured":"UML 2.4 Superstructure Specification, Version 2.4, ptc\/2010-11-14 (2010)"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/11557432_35","volume-title":"Model Driven Engineering Languages and Systems","author":"R.T. Sanders","year":"2005","unstructured":"Sanders, R.T., Castej\u00f3n, H.N., Kraemer, F., Br\u00e6k, R.: Using UML 2.0 Collaborations for Compositional Service Specification. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 460\u2013475. Springer, Heidelberg (2005)"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Broy, M., Kr\u00fcger, I., Meisinger, M.: A formal model of services. ACM Trans. Softw. Eng. Methodol.\u00a016 (2007)","DOI":"10.1145\/1189748.1189753"},{"key":"1_CR15","first-page":"68","volume-title":"Proceedings of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC\/FSE-11","author":"L. Baresi","year":"2003","unstructured":"Baresi, L., Heckel, R., Th\u00f6ne, S., Varr\u00f3, D.: Modeling and Validation of Service-Oriented Architectures: Application vs. Style. In: Proceedings of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC\/FSE-11, pp. 68\u201377. ACM, New York (2003)"},{"issue":"2","key":"1_CR16","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/s10270-006-0001-4","volume":"5","author":"L. Baresi","year":"2006","unstructured":"Baresi, L., Heckel, R., Th\u00f6ne, S., Varr\u00f3, D.: Style-based modeling and refinement of service-oriented architectures. Software and Systems Modeling\u00a05(2), 187\u2013207 (2006)","journal-title":"Software and Systems Modeling"},{"key":"1_CR17","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_CR18","volume-title":"Communicating and mobile systems: the \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and mobile systems: the \u03c0-calculus. Cambridge University Press, New York (1999)"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Milner, R.: The Space and Motion of Communicating Agents. Cambridge University Press (2009)","DOI":"10.1017\/CBO9780511626661"},{"issue":"2","key":"1_CR20","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s10270-003-0050-x","volume":"3","author":"D. Varr\u00f3","year":"2004","unstructured":"Varr\u00f3, D.: Automated formal verification of visual modeling languages by model checking. Software and System Modeling\u00a03(2), 85\u2013113 (2004)","journal-title":"Software and System Modeling"},{"key":"1_CR21","unstructured":"Rensink, A.: Towards model checking graph grammars. In: Proc. of the 3rd Workshop on Automated Verification of Critical Systems, AVoCS, University of Southampton, pp. 150\u2013160 (2003)"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Frias, M.F., Galeotti, J.P., L\u00f3pez\u00a0Pombo, C.G., Aguirre, N.M.: DynAlloy: Upgrading Alloy with actions. In: Proceedings of the 27th International Conference on Software Engineering. ICSE 2005, pp. 442\u2013451. ACM (2005)","DOI":"10.1145\/1062455.1062535"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/978-3-540-24721-0_26","volume-title":"Fundamental Approaches to Software Engineering","author":"P.C. \u00d6lveczky","year":"2004","unstructured":"\u00d6lveczky, P.C., Meseguer, J.: Specification and Analysis of Real-Time Systems Using Real-Time Maude. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, pp. 354\u2013358. Springer, Heidelberg (2004)"},{"key":"1_CR24","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1145\/1509239.1509262","volume-title":"Proceedings of the 8th ACM International Conference on Aspect-oriented Software Development, AOSD 2009","author":"J. Zhang","year":"2009","unstructured":"Zhang, J., Goldsby, H.J., Cheng, B.H.: Modular verification of dynamically adaptive systems. In: Proceedings of the 8th ACM International Conference on Aspect-oriented Software Development, AOSD 2009, pp. 161\u2013172. ACM, New York (2009)"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/3-540-44685-0_26","volume-title":"CONCUR 2001 - Concurrency Theory","author":"P. Baldan","year":"2001","unstructured":"Baldan, P., Corradini, A., K\u00f6nig, B.: A Static Analysis Technique for Graph Transformation Systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 381\u2013395. Springer, Heidelberg (2001)"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-540-74061-2_16","volume-title":"Static Analysis","author":"J. Bauer","year":"2007","unstructured":"Bauer, J., Wilhelm, R.: Static Analysis of Dynamic Communication Systems by Partner Abstraction. In: Riis Nielson, H., Fil\u00e9, G. (eds.) SAS 2007. LNCS, vol.\u00a04634, pp. 249\u2013264. Springer, Heidelberg (2007)"},{"issue":"3","key":"1_CR27","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/s10009-008-0067-0","volume":"10","author":"S. Burmester","year":"2008","unstructured":"Burmester, S., Giese, H., M\u00fcnch, E., Oberschelp, O., Klein, F., Scheideler, P.: Tool Support for the Design of Self-Optimizing Mechatronic Multi-Agent Systems. International Journal on Software Tools for Technology Transfer (STTT)\u00a010(3), 207\u2013222 (2008)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-36249-1_6","volume-title":"Assurances for Self-Adaptive Systems","author":"H. Giese","year":"2013","unstructured":"Giese, H., Sch\u00e4fer, W.: Model-Driven Development of Safe Self-Optimizing Mechatronic Systems with MechatronicUML. In: C\u00e1mara, J., de Lemos, R., Ghezzi, C., Lopes, A. (eds.) Assurances for Self-Adaptive Systems. LNCS, vol.\u00a07740, pp. 152\u2013186. Springer, Heidelberg (2013)"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Giese, H., Burmester, S., Sch\u00e4fer, W., Oberschelp, O.: Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration. In: Proceedings of the 12th ACM SIGSOFT Twelfth International Symposium on Foundations of Software Engineering, SIGSOFT 2004\/FSE-12, pp. 179\u2013188. ACM (2004)","DOI":"10.1145\/1029894.1029920"},{"key":"1_CR30","first-page":"38","volume-title":"Proceedings of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC\/FSE-11","author":"H. Giese","year":"2003","unstructured":"Giese, H., Tichy, M., Burmester, S., Sch\u00e4fer, W., Flake, S.: Towards the compositional verification of real-time uml designs. In: Proceedings of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC\/FSE-11, pp. 38\u201347. ACM, New York (2003)"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Becker, B., Beyer, D., Giese, H., Klein, F., Schilling, D.: Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation. In: Proceedings of the 28th International Conference on Software Engineering, ICSE 2006, pp. 72\u201381. ACM (2006)","DOI":"10.1145\/1134285.1134297"},{"issue":"1","key":"1_CR32","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1504\/IJAOSE.2007.013264","volume":"1","author":"H. Giese","year":"2007","unstructured":"Giese, H., Klein, F.: Systematic verification of multi-agent systems based on rigorous executable specifications. Int. J. Agent-Oriented Softw. Eng.\u00a01(1), 28\u201362 (2007)","journal-title":"Int. J. Agent-Oriented Softw. Eng."},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"Vogel, T., Giese, H.: Model-Driven Engineering of Self-Adaptive Software with EUREMA. ACM Trans. Auton. Adapt. Syst.\u00a08(4), 18:1\u201318:33 (2014)","DOI":"10.1145\/2555612"},{"issue":"10","key":"1_CR34","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MC.2009.326","volume":"42","author":"G. Blair","year":"2009","unstructured":"Blair, G., Bencomo, N., France, R.B.: Models@run.time. Computer\u00a042(10), 22\u201327 (2009)","journal-title":"Computer"},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, vol.\u00a01. World Scientific Pub. Co. (1997)","DOI":"10.1142\/9789812384720"},{"key":"1_CR36","unstructured":"Rozenberg, G., Ehrig, H., Engels, G., Kreowski, H. (eds.): Handbook of graph grammars and computing by graph transformation. applications, languages, and tools, vol.\u00a02. World Scientific (1999)"},{"key":"1_CR37","unstructured":"The Open Group Architectural Framework (TOGAF), version 9.1. Open Group Standard (2011)"},{"issue":"12","key":"1_CR38","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1109\/MC.2010.361","volume":"43","author":"E. Vassev","year":"2010","unstructured":"Vassev, E., Hinchey, M.: The Challenge of Developing Autonomic Systems. Computer\u00a043(12), 93\u201396 (2010)","journal-title":"Computer"},{"key":"1_CR39","doi-asserted-by":"crossref","unstructured":"Marconi, A., Bucchiarone, A., Bratanis, K., Brogi, A., Camara, J., Dranidis, D., Giese, H., Kazhamiakink, R., de Lemos, R., Marquezan, C., Metzger, A.: Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems. In: 2012 Workshop on European Software Services and Systems Research - Results and Challenges (S-Cube), pp. 40\u201346. IEEE (2012)","DOI":"10.1109\/S-Cube.2012.6225509"},{"key":"1_CR40","first-page":"37","volume-title":"2007 Future of Software Engineering, FOSE 2007","author":"R. France","year":"2007","unstructured":"France, R., Rumpe, B.: Model-driven development of complex software: A research roadmap. In: 2007 Future of Software Engineering, FOSE 2007, pp. 37\u201354. IEEE Computer Society, Washington, DC (2007)"},{"key":"1_CR41","doi-asserted-by":"crossref","unstructured":"Vogel, T., Giese, H.: Adaptation and Abstract Runtime Models. In: Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2010, pp. 39\u201348. ACM (2010)","DOI":"10.1145\/1808984.1808989"},{"key":"1_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/978-3-642-21210-9_22","volume-title":"Models in Software Engineering","author":"T. Vogel","year":"2011","unstructured":"Vogel, T., Seibel, A., Giese, H.: The Role of Models and Megamodels at Runtime. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol.\u00a06627, pp. 224\u2013238. Springer, Heidelberg (2011)"},{"key":"1_CR43","unstructured":"W\u00e4tzoldt, S., Giese, H.: Classifying Distributed Self-* Systems Based on Runtime Models and Their Coupling. In: Proceedings of the 9th International Workshop on Models@run.time. CEUR Workshop Proceedings, vol.\u00a01270, pp. 11\u201320. CEUR-WS.org (2014)"},{"issue":"1","key":"1_CR44","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.: The Vision of Autonomic Computing. Computer\u00a036(1), 41\u201350 (2003)","journal-title":"Computer"},{"key":"1_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-642-30982-3_5","volume-title":"Formal Methods for Model-Driven Engineering","author":"H. Giese","year":"2012","unstructured":"Giese, H., Lambers, L., Becker, B., Hildebrandt, S., Neumann, S., Vogel, T., W\u00e4tzoldt, S.: Graph Transformations for MDE, Adaptation, and Models at Runtime. In: Bernardo, M., Cortellessa, V., Pierantonio, A. (eds.) SFM 2012. LNCS, vol.\u00a07320, pp. 137\u2013191. Springer, Heidelberg (2012)"},{"key":"1_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-540-71289-3_16","volume-title":"Fundamental Approaches to Software Engineering","author":"F. Klein","year":"2007","unstructured":"Klein, F., Giese, H.: Joint Structural and Temporal Property Specification using Timed Story Sequence Diagrams. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol.\u00a04422, pp. 185\u2013199. Springer, Heidelberg (2007)"},{"key":"1_CR47","unstructured":"Becker, B.: Architectural modelling and verification of open service-oriented systems of systems. PhD thesis, Hasso-Plattner-Institut f\u00fcr Softwaresystemtechnik, Universit\u00e4t Potsdam (2014)"},{"key":"1_CR48","first-page":"21","volume-title":"OOPSLA 2003 - Second International Workshop on Agent-Oriented Methodologies","author":"H. Giese","year":"2003","unstructured":"Giese, H., Burmester, S., Klein, F., Schilling, D., Tichy, M.: Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML. In: Henderson-Sellers, B., Debenham, J. (eds.) OOPSLA 2003 - Second International Workshop on Agent-Oriented Methodologies, Anaheim, CA, USA, pp. 21\u201332. Center for Object Technology Applications and Research (COTAR), University of Technology, Sydney, Australia (2003)"},{"key":"1_CR49","doi-asserted-by":"crossref","unstructured":"Becker, B., Giese, H.: Modeling of Correct Self-Adaptive Systems: A Graph Transformation System Based Approach. In: Proceedings of the 5th International Conference on Soft Computing As Transdisciplinary Science and Technology, CSTST 2008, pp. 508\u2013516. ACM (2008)","DOI":"10.1145\/1456223.1456326"},{"issue":"1","key":"1_CR50","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/s10270-012-0247-y","volume":"13","author":"H. Giese","year":"2014","unstructured":"Giese, H., Hildebrandt, S., Lambers, L.: Bridging the gap between formal semantics and implementation of triple graph grammars. Software and Systems Modeling\u00a013(1), 273\u2013299 (2014)","journal-title":"Software and Systems Modeling"},{"key":"1_CR51","doi-asserted-by":"crossref","unstructured":"Becker, B., Giese, H.: On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles. In: Proc. of the 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), pp. 203\u2013210. IEEE Computer Society Press (2008)","DOI":"10.1109\/ISORC.2008.13"},{"key":"1_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-642-33654-6_21","volume-title":"Graph Transformations","author":"C. Krause","year":"2012","unstructured":"Krause, C., Giese, H.: Probabilistic Graph Transformation Systems. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol.\u00a07562, pp. 311\u2013325. Springer, Heidelberg (2012)"},{"key":"1_CR53","unstructured":"Becker, B., Giese, H.: Cyber-Physical Systems with Dynamic Structure: Towards Modeling and Verification of Inductive Invariants. Technical Report\u00a064, Hasso Plattner Institute at the University of Potsdam, Germany (2012)"},{"key":"1_CR54","unstructured":"Giese, H., Becker, B.: Modeling and Verifying Dynamic Evolving Service-Oriented Architectures. Technical Report\u00a075, Hasso Plattner Institute at the University of Potsdam, Germany (2013)"},{"issue":"2","key":"1_CR55","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1080\/00207727008920220","volume":"1","author":"R.C. Conant","year":"1970","unstructured":"Conant, R.C., Ashby, W.R.: Every good regulator of a system must be a model of that system. Intl. J. Systems Science\u00a01(2), 89\u201397 (1970)","journal-title":"Intl. J. Systems Science"},{"key":"1_CR56","unstructured":"Simon, H.A.: The Sciences of the Artificial, 3rd edn. The MIT Press (1996)"},{"key":"1_CR57","unstructured":"Meyer, B.: 30. In: Concurrency, Distribution, Client-Server and the Internet, 2nd edn., pp. 951\u20131036. Prentice Hall (1997)"},{"issue":"3","key":"1_CR58","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/352591.352592","volume":"9","author":"N.H. Minsky","year":"2000","unstructured":"Minsky, N.H., Ungureanu, V.: Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a09(3), 273\u2013305 (2000)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"1_CR59","unstructured":"Vogel, T., Giese, H.: On Unifying Development Models and Runtime Models. In: Proceedings of the 9th International Workshop on Models@run.time. CEUR Workshop Proceedings, vol.\u00a01270, pp. 5\u201310. CEUR-WS.org (2014)"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24644-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,22]],"date-time":"2022-05-22T05:39:45Z","timestamp":1653197985000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24644-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319246437","9783319246444"],"references-count":59,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24644-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"12 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}