{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T05:51:29Z","timestamp":1761976289421,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319028118"},{"type":"electronic","value":"9783319028125"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-02812-5_17","type":"book-chapter","created":{"date-parts":[[2013,10,4]],"date-time":"2013-10-04T09:33:23Z","timestamp":1380879203000},"page":"233-245","source":"Crossref","is-referenced-by-count":4,"title":["A Visual Logic for the Description of Highway Traffic Scenarios"],"prefix":"10.1007","author":[{"given":"Stephanie","family":"Kemper","sequence":"first","affiliation":[]},{"given":"Christoph","family":"Etzien","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"11","key":"17_CR1","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J. Allen","year":"1983","unstructured":"Allen, J.: Maintaining knowledge about temporal intervals. CACM\u00a026(11), 832\u2013843 (1983)","journal-title":"CACM"},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/BFb0053581","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Allen","year":"1998","unstructured":"Allen, R., Douence, R., Garlan, D.: Specifying and analyzing dynamic software architectures. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol.\u00a01382, pp. 21\u201337. Springer, Heidelberg (1998)"},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/3-540-48683-6_3","volume-title":"Computer Aided Verification","author":"R. Alur","year":"1999","unstructured":"Alur, R.: Timed automata. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 8\u201322. Springer, Heidelberg (1999)"},{"key":"17_CR4","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)"},{"doi-asserted-by":"crossref","unstructured":"Bradbury, J., Cordy, J., Dingel, J., Wermelinger, M.: A survey of self-management in dynamic software architecture specifications. In: Garlan, D., Kramer, J., Wolf, A. (eds.) WOSS, pp. 28\u201333. ACM (2004)","key":"17_CR5","DOI":"10.1145\/1075405.1075411"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/978-3-540-27863-4_21","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"M. Brill","year":"2004","unstructured":"Brill, M., Damm, W., Klose, J., Westphal, B., Wittke, H.: Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification. In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 374\u2013399. Springer, Heidelberg (2004)"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/11538097_4","volume-title":"Model Driven Architecture","author":"S. Burmester","year":"2005","unstructured":"Burmester, S., Giese, H., Tichy, M.: Model-driven development of reconfigurable mechatronic systems with mechatronic UML. In: A\u00dfmann, U., Ak\u015fit, M., Rensink, A. (eds.) MDAFA 2003. LNCS, vol.\u00a03599, pp. 47\u201361. Springer, Heidelberg (2005)"},{"doi-asserted-by":"crossref","unstructured":"Canal, C., Pimentel, E., Troya, J.: Specification and refinement of dynamic software architectures. In: Donohoe, P. (ed.) WICSA, IFIP Conference Proceedings, vol.\u00a0140, pp. 107\u2013126. Kluwer (1999)","key":"17_CR8","DOI":"10.1007\/978-0-387-35563-4_7"},{"doi-asserted-by":"crossref","unstructured":"Etzien, C., Gezgin, T., Fr\u00f6schle, S., Henkler, S., Rettberg, A.: Contracts for evolving systems. In: 4th IEEE Workshop on Self-Organizing Real-Time Systems (to appear, 2013)","key":"17_CR9","DOI":"10.1109\/ISORC.2013.6913235"},{"doi-asserted-by":"crossref","unstructured":"Gezgin, T., Etzien, C., Henkler, S., Rettberg, A.: Towards a rigorous modeling formalism for systems of systems. In: ISORC Workshops, pp. 204\u2013211. IEEE (2012)","key":"17_CR10","DOI":"10.1109\/ISORCW.2012.42"},{"unstructured":"Henkler, S., Hirsch, M., Priesterjahn, C., Sch\u00e4fer, W.: Modeling and verifying dynamic communication structures based on graph transformations. In: Engels, G., Luckey, M., Sch\u00e4fer, W. (eds.) Software Engineering. LNI, vol.\u00a0159, pp. 153\u2013164. GI (2010)","key":"17_CR11"},{"key":"17_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/3-540-44929-9_38","volume-title":"Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics","author":"T.A. Henzinger","year":"2000","unstructured":"Henzinger, T.A.: Masaccio: A formal model for embedded components. In: van Leeuwen, J., Watanabe, O., Hagiya, M., Mosses, P.D., Ito, T. (eds.) TCS 2000. LNCS, vol.\u00a01872, pp. 549\u2013563. Springer, Heidelberg (2000)"},{"doi-asserted-by":"crossref","unstructured":"Hirsch, D., Inverardi, P., Montanari, U.: Graph grammars and constraint solving for software architecture styles. In: ISAW, pp. 69\u201372. ACM (1998)","key":"17_CR13","DOI":"10.1145\/288408.288426"},{"doi-asserted-by":"crossref","unstructured":"Hirsch, M., Henkler, S., Giese, H.: Modeling collaborations with dynamic structural adaptation in mechatronic UML. In: SEAMS, pp. 33\u201340. ACM (2008)","key":"17_CR14","DOI":"10.1145\/1370018.1370026"},{"unstructured":"Ivancic, F.: Modeling and analysis of hybrid systems. Ph.D. thesis, Univ. of Pennsylvania (2003)","key":"17_CR15"},{"issue":"7-8","key":"17_CR16","doi-asserted-by":"publisher","first-page":"779","DOI":"10.1016\/j.scico.2011.02.003","volume":"77","author":"S. Kemper","year":"2012","unstructured":"Kemper, S.: SAT-based Verification for Timed Component Connectors. Sciene of Computer Programming\u00a077(7-8), 779\u2013798 (2012), http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167642311000499","journal-title":"Sciene of Computer Programming"},{"unstructured":"Klose, J.: Live sequence charts: A graphical formalism for the specification of communication behaviour. Ph.D. thesis, Universit\u00e4t Oldenburg (2003)","key":"17_CR17"},{"doi-asserted-by":"crossref","unstructured":"Kramer, J., Magee, J.: Analysing dynamic change in software architectures: a case study. In: CDS, pp. 91\u2013100. IEEE (1998)","key":"17_CR18","DOI":"10.1049\/ip-sen:19982297"},{"issue":"4","key":"17_CR19","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. Maier","year":"1998","unstructured":"Maier, M.: Architecting principles for systems-of-systems. Syst. Eng.\u00a01(4), 267\u2013284 (1998)","journal-title":"Syst. Eng."},{"doi-asserted-by":"crossref","unstructured":"Oreizy, P., Medvidovic, N., Taylor, R.: Architecture-based runtime software evolution. In: Torii, K., Futatsugi, K., Kemmerer, R. (eds.) ICSE, pp. 177\u2013186. IEEE CS (1998)","key":"17_CR20","DOI":"10.1109\/ICSE.1998.671114"},{"key":"17_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-540-46464-8_13","volume-title":"Theory and Application of Graph Transformations","author":"G. Taentzer","year":"2000","unstructured":"Taentzer, G., Goedicke, M., Meyer, T.: Dynamic change management by distributed graph transformation: towards configurable distributed systems. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol.\u00a01764, pp. 179\u2013193. Springer, Heidelberg (2000)"},{"unstructured":"UPPAAL: modeling, simulation and verification of real-time systems, http:\/\/www.uppaal.com\/","key":"17_CR22"},{"issue":"1-2","key":"17_CR23","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s100090050009","volume":"1","author":"S. Yovine","year":"1997","unstructured":"Yovine, S.: Kronos: A verification tool for real-time systems. STTT\u00a01(1-2), 123\u2013133 (1997)","journal-title":"STTT"},{"doi-asserted-by":"crossref","unstructured":"Zhang, J., Cheng, B.: Model-based development of dynamically adaptive software. In: Osterweil, L., Rombach, H., Soffa, M. (eds.) ICSE, pp. 371\u2013380. ACM (2006)","key":"17_CR24","DOI":"10.1145\/1134285.1134337"}],"container-title":["Complex Systems Design &amp; Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-02812-5_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T15:30:39Z","timestamp":1746027039000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-02812-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319028118","9783319028125"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-02812-5_17","relation":{},"subject":[],"published":{"date-parts":[[2014]]}}}