Abstract
Software construction is essentially a modeling task. The most important decisions in software development are decisions that deal with modeling. The better, the more adequate and more powerful the available modeling paradigms are, the easier the program development task is and the better its results are. However, a large complex software system can hardly be described and understood by providing one huge model. Instead a number of partial models are used that describe certain aspects of software systems in so-called views and that are in certain mutual relationships such as in levels of abstraction. In the following we describe the role of models and views in program development and show how closely the issue of modeling is related to the so- called formal methods in program development. Moreover, we give a comprehensive family of models of aspects of software systems and show how to relate and integrate them.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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. 88, pp. 273–324. Springer, Heidelberg (1992)
Ben-Abdallah, H., Leue, S.: Timing Constraints in Message Sequence Charts Specifictions. In: Proceeding of the FORTE/PSTV 1997 (1997)
Booch, G.: Object Oriented Design with Applications. Benjamin Cummings, Redwood City (1991)
Broy, M.: Towards a formal foundation of the specification and description language SDL. Formal Aspects of Computing 3, 21–57 (1991)
Broy, M.: Compositional Refinement of Interactive Systems Modelled by Relations, Malente (1997)
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 ; Also in: Joint 1997 Asia Pacific Software Engineering Conference and International Computer Science Conference (APSEC 1997/ICSC 1997)
Broy, M., Stølen, K.: Specification and Development of Interactive Systems: FOCUS Focus on Streams, Interfaces, and Refinement. Springer, Heidelberg (2001)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)
Milner, R.: A Calculus of Communication Systems. LNCS, vol. 92. Springer, Heidelberg (1980)
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)
Berry, G., Gonthier, G.: The Esterel Synchronous Programming Language: Design, Semantics, Implementation. INRIA, Research Report 842 (1988)
Hettler, R.: Zur Übersetzung von E/R-Schemata nach Spectrum. Technischer Bericht TUM-I9409, TU München (1994)
Hinkel, U.: Formale, semantische Fundierung und ein darauf abgestützte Verifikationsmethode für SDL. Dissertation, Fakultät für Informatik, Technische Universität München (1998)
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)
Jacobsen, I.: Object-Oriented Software Engineering. ACM Press, Addison-Wesley (1992)
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–475. North Holland, Amsterdam (1974)
Klein, C.: Anforderungsspezifikation durch Transitionssysteme und Szenarien. Promotion, Fakultät für Informatik, Technische Universität München (Dezember 1997)
Krüger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to statecharts. In: Proceedings of DIPES 1998. Kluwer, Dordrecht (1999)
ITU-T Criteria for the Use and Applicability of Formal Description Techniques. Recommendation Z. 120, Message Sequence Chart (MSC), 35pgs (March 1993) (previously CCITT)
ITU-T. Recommendation Z.120, Annex B: Algebraic Semantics of Message Sequence Charts. ITU-Telecommunication Standardization Sector, Geneva, Switzerland (1995)
Ladkin, P.B., Leue, S.: Interpreting Message Flow Graphs. Formal Aspects of Computing 7(5), 473–509 (1995)
Selic, B., Gullekson, G., Ward, P.T.: Real-time Objectoriented Modeling. Wiley, New York (1994)
Rumbaugh, J.: Object-Oriented Modelling and Design. Prentice-Hall, Englewood Cliffs (1991)
Rumpe, B.: Formale Methodik des Entwurfs verteilter objektorientierter Systeme. Ph.D. Thesis Technische Universität München, Fakultät für Informatik (1996) (published by Herbert Utz Verlag)
Specification and Description Language (SDL), Recommendation Z.100. Technical report, CCITT (1988)
Broy, M., Facchi, C., Hettler, R., Hußmann, H., Nazareth, D., Regensburger, F., Slotosch, O., Stølen, K.: The Requirement and Design Specification Language Spectrum. An Informal Introduction. Version 1.0. Part I/II Technische Universität München, Institut für Informatik, TUM-I9311 / TUM-I9312 (May 1993)
Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language for Object- Oriented Development, Version 1.0, RATIONAL Software Cooperation
Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Transactions on Software Engineering and Methodology (January 1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Broy, M. (2003). Multi-view Modeling of Software Systems. In: Aichernig, B.K., Maibaum, T. (eds) Formal Methods at the Crossroads. From Panacea to Foundational Support. Lecture Notes in Computer Science, vol 2757. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-40007-3_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-40007-3_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20527-2
Online ISBN: 978-3-540-40007-3
eBook Packages: Springer Book Archive