{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,3]],"date-time":"2025-11-03T09:02:59Z","timestamp":1762160579986},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2006,11,15]],"date-time":"2006-11-15T00:00:00Z","timestamp":1163548800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.0"},{"start":{"date-parts":[[2006,11,15]],"date-time":"2006-11-15T00:00:00Z","timestamp":1163548800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2007,3]]},"DOI":"10.1007\/s11334-006-0011-y","type":"journal-article","created":{"date-parts":[[2006,11,14]],"date-time":"2006-11-14T15:43:19Z","timestamp":1163518999000},"page":"75-102","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones"],"prefix":"10.1007","volume":"3","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,11,15]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-book","author":"JR Abrial","year":"1996","unstructured":"Abrial JR (1996) The B-book. Cambridge University Press, Cambridge"},{"key":"11_CR2","unstructured":"Website of AutoFocus with documentation, screenshots, tutorials and download. http:\/\/autofocus.in.tum.de"},{"key":"11_CR3","unstructured":"Website AutoRAID, with documentation, screenshots and downloads http:\/\/wwwbroy.in.tum.de\/~autoraid\/"},{"key":"11_CR4","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/978-3-642-77572-7_13","volume-title":"Programming and mathematical method","author":"JCM Baeten","year":"1992","unstructured":"Baeten JCM, Bergstra J (1992) Process algebras with signals and conditions. In: Broy M (ed.) Programming and mathematical method. Springer, Berlin Heidelberg New York, pp 273\u2013324, NATO ASI Series, Series F: Computer and system sciences, vol. 88."},{"issue":"1","key":"11_CR5","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"Benveniste A, Caspi P, Edwards S, Halbwachs N, LeGuernic P, De Simone R (2003) The synchronous languages twelve years later. Proc IEEE 91(1):64\u201383","journal-title":"Proc IEEE"},{"key":"11_CR6","unstructured":"Berry G, Gonthier G (1988) The Esterel synchronous programming language: design, semantics, implementation. INRIA, Research Report 842"},{"key":"11_CR7","volume-title":"The foundations of esterel","author":"G Berry","year":"2000","unstructured":"Berry G (2000) The foundations of esterel. MIT Press, Cambridge"},{"key":"11_CR8","volume-title":"Object oriented design with applications","author":"G Booch","year":"1991","unstructured":"Booch G (1991) Object oriented design with applications. Benjamin Cummings, Redwood City"},{"key":"11_CR9","unstructured":"Booch G, Rumbaugh J, Jacobson I (1998) The unified modeling language for object-oriented development, version 1.0. RATIONAL Software Cooperation"},{"key":"11_CR10","unstructured":"Botaschanjan J, Broy M, Gruler A, Harhurin A, Knapp S, Kof L, Paul W, Spichkova M (2006) On the correctness of upper layers of automotive systems. (in press)"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/BF01211434","volume":"3","author":"M Broy","year":"1991","unstructured":"Broy M (1991) Towards a formal foundation of the specification and description language SDL. Formal Aspects Comput 3:21\u201357","journal-title":"Formal Aspects Comput"},{"key":"11_CR12","unstructured":"Broy M, Facchi C, Hettler R, Hu\u00dfmann H, Nazareth D, Regensburger F, Slotosch O, St\u00f8len K (1993) The requirement and design specification language spectrum. An introduction. version 1.0. Part I\/II Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-I9311 \/ TUM-I9312"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Broy M (1997) Refinement of time. In: Bertran M, Rus Th (eds) Transformation-based reactive system development. ARTS\u201997, Mallorca 1997. Lecture notes in computer science vol 1231, pp 44\u201363 (To appear in TCS)","DOI":"10.1007\/3-540-63010-4_4"},{"key":"11_CR14","unstructured":"Broy M, Hofmann C, Kr\u00fcger I, Schmidt M (1997) A graphical description technique for communication in software architectures. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-I9705, February 1997. http:\/\/www4.informatik.tu-muenchen.de\/reports\/TUM-I9705.Also in: Joint 1997 Asia Pacific Software Engineering Conference and International Computer Science Conference (APSEC\u201997\/ICSC\u201997)"},{"key":"11_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification and development of interactive systems: Focus on streams, interfaces, and refinement","author":"M Broy","year":"2001","unstructured":"Broy M, St\u00f8len K (2001) Specification and development of interactive systems: Focus on streams, interfaces, and refinement. Springer, Berlin Heidelberg New York"},{"key":"11_CR16","first-page":"48","volume-title":"Formal techniques for networked and distributed systems","author":"M Broy","year":"2003","unstructured":"Broy M (2003) Modeling services and layered architectures. In: K\u00f6nig H, Heiner M, Wolisz A (eds) Formal techniques for networked and distributed systems. Springer, Berlin Heidelberg New York, pp 48\u201361, Lecture notes in computer science, vol 2767."},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Broy M (2004) Time, abstraction, causality, and modularity in interactive systems. FESCA 2004. Workshop at ETAPS 2004, pp. 1\u20138","DOI":"10.1016\/j.entcs.2004.11.003"},{"issue":"2\u20133","key":"11_CR18","first-page":"213","volume":"54","author":"M Broy","year":"2004","unstructured":"Broy M (2004) The semantic and methodological essence of message sequence charts. Sci Comput Program SCP 54(2\u20133):213\u2013256","journal-title":"Sci Comput Program SCP"},{"key":"11_CR19","unstructured":"Broy M, Cengarle MV, Rumpe B (2006) Semantics of UML. Towards a system model for UML. The structural data model. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, Report TUM-IO612"},{"key":"11_CR20","volume-title":"Program design: a foundation","author":"KM Chandy","year":"1988","unstructured":"Chandy KM, Misra J (1988) Program design: a foundation. Addison\u2013Wesley, Reading"},{"key":"11_CR21","volume-title":"Structured analysis and system specification","author":"T DeMarco","year":"1979","unstructured":"DeMarco T (1979) Structured analysis and system specification. Prentice Hall, Englewood Cliffs"},{"key":"11_CR22","unstructured":"Deubler M (2006) Dienst-orientierte Softwaresysteme: Anforderungen und Entwurf. Dissertation (To appear)"},{"key":"11_CR23","volume-title":"Aspect-oriented software development","author":"R Filman","year":"2004","unstructured":"Filman R, Elrad T, Clarke S, Aksit M (2004) Aspect-oriented software development. Addison\u2013Wesley, Reading"},{"issue":"6","key":"11_CR24","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/52.469757","volume":"12","author":"D Garlan","year":"1995","unstructured":"Garlan D, Allen R, Ockerbloom J (1995) Architectural mismatch: why reuse is so hard. IEEE Soft 12(6):17\u201326","journal-title":"IEEE Soft"},{"key":"11_CR25","first-page":"423","volume-title":"IFIP 1994 World Computer Congress, vol. I: Technology and Foundations","author":"Y Gurevich","year":"1994","unstructured":"Gurevich Y (1994) Evolving algebra. In: Pehrson B, Simson I (eds) IFIP 1994 World Computer Congress, vol. I: Technology and Foundations. Elsevier, Amsterdam, pp. 423\u2013427"},{"key":"11_CR26","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel D (1987) Statecharts: a visual formalism for complex systems. Sci Comput Program 8:231\u2013274","journal-title":"Sci Comput Program"},{"key":"11_CR27","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8596-5","volume-title":"A practical theory of programming","author":"ECR Hehne","year":"1993","unstructured":"Hehne ECR (1993) A practical theory of programming. Springer, Berlin eidelberg New York"},{"key":"11_CR28","volume-title":"Modeling layered distributed communication systems","author":"D Herzberg","year":"2005","unstructured":"Herzberg D, Broy M (2005) Modeling layered distributed communication systems. Springer, Berlin Heidelberg New York, Applicable formal methods, vol. 17, no. 1."},{"key":"11_CR29","unstructured":"Hettler R (1994) Zur \u00dcbersetzung von E\/R-Schemata nach Spectrum. Technischer Bericht TUM-I9409, TU M\"unchen"},{"key":"11_CR30","volume-title":"Communicating sequential processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare CAR (1985) Communicating sequential processes. Prentice Hall, Englewood Cliffs"},{"key":"11_CR31","volume-title":"Object-oriented software engineering","author":"I Jacobsen","year":"1992","unstructured":"Jacobsen I (1992) Object-oriented software engineering. Addison\u2013Wesley, ACM, Reading"},{"key":"11_CR32","volume-title":"Systematic program development using VDM","author":"C Jones","year":"1986","unstructured":"Jones C (1986) Systematic program development using VDM. Prentice Hall, Englewood Cliffs"},{"key":"11_CR33","volume-title":"System development","author":"MA Jackson","year":"1983","unstructured":"Jackson MA (1983) System development. Prentice Hall, Englewood Cliffs"},{"key":"11_CR34","unstructured":"Kahn G (1974) The semantics of a simple language for parallel processing. In: Rosenfeld JL (ed.) Information processing 74. Proceedings of the IFIP Congress 74. North Holland, Amsterdam, pp. 471\u2013475"},{"issue":"3","key":"11_CR35","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L Lamport","year":"1994","unstructured":"Lamport L (1994) The temporal logic of actions. ACM Trans Program Languages Syst 16(3):872\u2013923","journal-title":"ACM Trans Program Languages Syst"},{"issue":"4","key":"11_CR36","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1109\/32.385971","volume":"21","author":"DC Luckham","year":"1955","unstructured":"Luckham DC, Kenney JL, Augustin LM, Vera J, Bryan D, Mann W (1955) Specification and analysis of system architecture using rapide. IEEE Trans Softw Eng 21(4):336\u2013355","journal-title":"IEEE Trans Softw Eng"},{"key":"11_CR37","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"A temporal logic of reactive systems and concurrent systems","author":"Z Manna","year":"1992","unstructured":"Manna Z, Pnueli A (1992) A temporal logic of reactive systems and concurrent systems. Springer, Berlin Heidelberg New York"},{"key":"11_CR38","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A calculus of communicating systems","author":"R Milner","year":"1980","unstructured":"Milner R (1980) A calculus of communicating systems. Springer, Berlin Heidelberg New York, Lecture notes in computer science, vol 92."},{"key":"11_CR39","unstructured":"Petri CA (1962) Kommunikation mit Automaten.Technical Report RADCTR-65-377, Bonn, institut f\u00fcr Instrumentelle Mathematik"},{"key":"11_CR40","unstructured":"Petri CA (1963) Fundamentals of a theory of asynchronous information flow. In: Proceedings of IFIP Congress 62. North Holland Publishing Company, Amsterdam, pp. 386\u2013390"},{"key":"11_CR41","unstructured":"Romberg J (2006) Synthesis of distributed systems from synchronous dataflow programs. PhD Thesis, Technische Universit\u00e4t M\u00fcnchen, Fakult\u00e4t f\u00fcr Informatik"},{"issue":"1","key":"11_CR42","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/TSE.1977.229900","volume":"3","author":"DT Ross","year":"1977","unstructured":"Ross DT (1977) Structured analysis (sa): a language for communicating ideas. IEEE Trans Softw Eng 3(1):16\u201334","journal-title":"IEEE Trans Softw Eng"},{"key":"11_CR43","first-page":"147","volume-title":"Visual programming environments: paradigms and systems","author":"DT Ross","year":"1990","unstructured":"Ross DT (1990) Applications and extensions of sadt. In: Glinert EP (ed) Visual programming environments: paradigms and systems. IEEE Computer Society Press, Los Alamitos, pp 147\u2013156"},{"key":"11_CR44","volume-title":"Object-oriented modelling and design","author":"J Rumbaugh","year":"1991","unstructured":"Rumbaugh J (1991) Object-oriented modelling and design. Prentice Hall, Englewood Cliffs"},{"key":"11_CR45","unstructured":"Rumpe B (1996) Formale Methodik des Entwurfs verteilter objektorientierter Systeme. PhD Thesis, Technische Universit\u00e4t M\u00fcnchen, Fakult\u00e4t f\u00fcr Informatik 1996. Published by Herbert Utz Verlag"},{"key":"11_CR46","volume-title":"Formal techniques for embedded distributed systems: from requirements to detailed design","author":"B Sch\u00e4tz","year":"2004","unstructured":"Sch\u00e4tz B (2004) Mastering the complexity of embedded systems \u2013 the Autofocus approach. In: Fabrice Kordon F, Lemoine M (eds) Formal techniques for embedded distributed systems: from requirements to detailed design. Kluwer, Dordrecht"},{"key":"11_CR47","unstructured":"Specification and Description Language (SDL), Recommendation Z.100. Technical Report, CCITT, 1988"},{"key":"11_CR48","unstructured":"ITU-T (previously CCITT) (1993) Criteria for the use and applicability of formal description techniques. Recommendation Z. 120, Message Sequence Chart (MSC), 35p"},{"key":"11_CR49","unstructured":"ITU-T. Recommendation Z.120, Annex B: Algebraic semantics of message sequence charts. ITU-Telecommunication Standardization Sector, Geneva, Switzerland, 1995"},{"key":"11_CR50","volume-title":"Real-time objectoriented modeling","author":"B Selic","year":"1994","unstructured":"Selic B, Gullekson G, Ward PT (1994) Real-time objectoriented modeling. Wiley, New York"},{"key":"11_CR51","volume-title":"Understanding Z \u2013 a specification language and its formal semantics. Cambridge tracts in theoretical computer science 3","author":"M Spivey","year":"1988","unstructured":"Spivey M (1988) Understanding Z \u2013 a specification language and its formal semantics. Cambridge tracts in theoretical computer science 3. Cambridge University Press, Cambridge"},{"key":"11_CR52","volume-title":"Denotational semantics: the scott strachey approach to programming languages","author":"JE Stoy","year":"1997","unstructured":"Stoy JE (1997) Denotational semantics: the scott strachey approach to programming languages. MIT Press, Cambridge"},{"issue":"1","key":"11_CR53","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/237432.237434","volume":"6","author":"P Zave","year":"1997","unstructured":"Zave P, Jackson M (1997) Four dark corners of requirements engineering. ACM Trans Softw Eng and Methodol 6(1):1\u201330","journal-title":"ACM Trans Softw Eng and Methodol"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-006-0011-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11334-006-0011-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/s11334-006-0011-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-006-0011-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,31]],"date-time":"2021-08-31T16:22:27Z","timestamp":1630426947000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11334-006-0011-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,11,15]]},"references-count":53,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,3]]}},"alternative-id":["11"],"URL":"https:\/\/doi.org\/10.1007\/s11334-006-0011-y","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,11,15]]},"assertion":[{"value":"14 April 2006","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 August 2006","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 November 2006","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}