{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:51:28Z","timestamp":1725558688231},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205272"},{"type":"electronic","value":"9783540400073"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40007-3_14","type":"book-chapter","created":{"date-parts":[[2010,6,25]],"date-time":"2010-06-25T16:04:10Z","timestamp":1277481850000},"page":"207-225","source":"Crossref","is-referenced-by-count":5,"title":["Multi-view Modeling of Software Systems"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","series-title":"NATO ASI Series, Series F: Computer and System Sciences","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/978-3-642-77572-7_13","volume-title":"Programming and Mathematical Method","author":"J.C.M. Baeten","year":"1992","unstructured":"Baeten, J.C.M., Bergstra, J.: Process Algebras with Signals and Conditions. In: Broy, M. (ed.) Programming and Mathematical Method. NATO ASI Series, Series F: Computer and System Sciences, vol.\u00a088, pp. 273\u2013324. Springer, Heidelberg (1992)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Ben-Abdallah, H., Leue, S.: Timing Constraints in Message Sequence Charts Specifictions. In: Proceeding of the FORTE\/PSTV 1997 (1997)","DOI":"10.1007\/978-0-387-35271-8_6"},{"key":"14_CR3","volume-title":"Object Oriented Design with Applications","author":"G. Booch","year":"1991","unstructured":"Booch, G.: Object Oriented Design with Applications. Benjamin Cummings, Redwood City (1991)"},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/BF01211434","volume":"3","author":"M. Broy","year":"1991","unstructured":"Broy, M.: Towards a formal foundation of the specification and description language SDL. Formal Aspects of Computing\u00a03, 21\u201357 (1991)","journal-title":"Formal Aspects of Computing"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Broy, M.: Compositional Refinement of Interactive Systems Modelled by Relations, Malente (1997)","DOI":"10.1007\/3-540-49213-5_6"},{"key":"#cr-split#-14_CR6.1","unstructured":"Broy, M., Hofmann, C., Kr??ger, I., Schmidt, M.: A Graphical Description Technique for Communication in Software Architectures. Technische Universit??t M??nchen, Institut f??r Informatik, TUM-I9705 (February 1997), URL: http:\/\/www4.informatik.tumuenchen.de\/reports\/TUM-I9705;"},{"key":"#cr-split#-14_CR6.2","unstructured":"Also in: Joint 1997 Asia Pacific Software Engineering Conference and International Computer Science Conference (APSEC 1997\/ICSC 1997)"},{"key":"14_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification and Development of Interactive Systems: FOCUS Focus on Streams, Interfaces, and Refinement","author":"M. Broy","year":"2001","unstructured":"Broy, M., St\u00f8len, K.: Specification and Development of Interactive Systems: FOCUS Focus on Streams, Interfaces, and Refinement. Springer, Heidelberg (2001)"},{"key":"14_CR8","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"key":"14_CR10","unstructured":"Damm, W., Harel, D.: Breathing Life into Message Sequence Charts. Weismann Insitute Tech. Report CS98-09 (April 1998); revised July 1998, to appear in: FMOODS 1999, IFIP TC6\/WG6.1 Third International Conference on, Formal Methods for Open Object-Based Distributed Systems, Florence, Italy, February 15-18 (1999)"},{"key":"14_CR11","unstructured":"Berry, G., Gonthier, G.: The Esterel Synchronous Programming Language: Design, Semantics, Implementation. INRIA, Research Report 842 (1988)"},{"key":"14_CR12","unstructured":"Hettler, R.: Zur \u00dcbersetzung von E\/R-Schemata nach Spectrum. Technischer Bericht TUM-I9409, TU M\u00fcnchen (1994)"},{"key":"14_CR13","unstructured":"Hinkel, U.: Formale, semantische Fundierung und ein darauf abgest\u00fctzte Verifikationsmethode f\u00fcr SDL. Dissertation, Fakult\u00e4t f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen (1998)"},{"key":"14_CR14","unstructured":"Hoare, C.A.R., Brookes, S.D., Roscoe, A.W.: A theory of communicating sequential processes. Oxford University Computing Laboratory Programming Research Group, Technical Monograph PRG-21, Oxford (1981)"},{"key":"14_CR15","volume-title":"Object-Oriented Software Engineering","author":"I. Jacobsen","year":"1992","unstructured":"Jacobsen, I.: Object-Oriented Software Engineering. ACM Press, Addison-Wesley (1992)"},{"key":"14_CR16","first-page":"471","volume-title":"Information Processing 74, Proc. of the IFIP Congress 74","author":"G. Kahn","year":"1974","unstructured":"Kahn, G.: The Semantics of a Simple Language for Parallel Processing. In: Rosenfeld, J.L. (ed.) Information Processing 74, Proc. of the IFIP Congress 74, pp. 471\u2013475. North Holland, Amsterdam (1974)"},{"key":"14_CR17","unstructured":"Klein, C.: Anforderungsspezifikation durch Transitionssysteme und Szenarien. Promotion, Fakult\u00e4t f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen (Dezember 1997)"},{"key":"14_CR18","volume-title":"Proceedings of DIPES 1998","author":"I. Kr\u00fcger","year":"1999","unstructured":"Kr\u00fcger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to statecharts. In: Proceedings of DIPES 1998. Kluwer, Dordrecht (1999)"},{"key":"14_CR19","unstructured":"ITU-T Criteria for the Use and Applicability of Formal Description Techniques. Recommendation Z. 120, Message Sequence Chart (MSC), 35pgs (March 1993) (previously CCITT)"},{"key":"14_CR20","unstructured":"ITU-T. Recommendation Z.120, Annex B: Algebraic Semantics of Message Sequence Charts. ITU-Telecommunication Standardization Sector, Geneva, Switzerland (1995)"},{"issue":"5","key":"14_CR21","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/BF01211629","volume":"7","author":"P.B. Ladkin","year":"1995","unstructured":"Ladkin, P.B., Leue, S.: Interpreting Message Flow Graphs. Formal Aspects of Computing\u00a07(5), 473\u2013509 (1995)","journal-title":"Formal Aspects of Computing"},{"key":"14_CR22","volume-title":"Real-time Objectoriented Modeling","author":"B. Selic","year":"1994","unstructured":"Selic, B., Gullekson, G., Ward, P.T.: Real-time Objectoriented Modeling. Wiley, New York (1994)"},{"key":"14_CR23","volume-title":"Object-Oriented Modelling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"Rumbaugh, J.: Object-Oriented Modelling and Design. Prentice-Hall, Englewood Cliffs (1991)"},{"key":"14_CR24","unstructured":"Rumpe, B.: Formale Methodik des Entwurfs verteilter objektorientierter Systeme. Ph.D. Thesis Technische Universit\u00e4t M\u00fcnchen, Fakult\u00e4t f\u00fcr Informatik (1996) (published by Herbert Utz Verlag)"},{"key":"14_CR25","unstructured":"Specification and Description Language (SDL), Recommendation Z.100. Technical report, CCITT (1988)"},{"key":"14_CR26","unstructured":"Broy, M., Facchi, C., Hettler, R., Hu\u00dfmann, H., Nazareth, D., Regensburger, F., Slotosch, O., St\u00f8len, K.: The Requirement and Design Specification Language Spectrum. An Informal Introduction. Version 1.0. Part I\/II Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-I9311 \/ TUM-I9312 (May 1993)"},{"key":"14_CR27","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language for Object- Oriented Development, Version 1.0, RATIONAL Software Cooperation"},{"key":"14_CR28","doi-asserted-by":"crossref","unstructured":"Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Transactions on Software Engineering and Methodology (January 1997)","DOI":"10.1145\/237432.237434"}],"container-title":["Lecture Notes in Computer Science","Formal Methods at the Crossroads. From Panacea to Foundational Support"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40007-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T08:45:15Z","timestamp":1559205915000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40007-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205272","9783540400073"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40007-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}