Abstract
In this paper we show by using the example of UML, how a software engineering method can benefit from an integrative mathematical foundation. The mathematical foundation is given by a mathematical system model. This model provides the basis both for integrating the various description techniques of UML and for implementing methodical support. After describing the basic concepts of the system model, we give a short overview of the UML description techniques. Then we show how they fit into the system model framework and sketch an approach to structure the UML development process such that it provides methodological guidance for developers.
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
BOEHM, B.W. (1994): A spiral model of software development and enhancement. Software Engineering Notes, 11(4).
BOOCH, G., RUMBAUGH, J., and JACOBSON, I. (1996): The Unified Modeling Language for Object-Oriented Development, Version 1. 0.
BREU, R. GROSU, R., HOFMANN, CH., HUBER, F., KRÜGER, I., RUMPE, B., SCHMIDT, M., and SCHWERIN, W. (1997a): Describing Object Interaction: From Exemplary to Complete Descriptions. TUM-I9737. Technische Universität München
BREU, R. GROSU, R., HUBER, F. RUMPE, B., and SCHWERIN, W. (1997b): Towards a Precise Semantics for Object-Oriented Modeling Techniques. In: KILOV, H., and RUMPE, B. (eds): Proceedings ECOOP’97 Workshop on Precise Semantics for Object-Oriented Modeling Techniques. TUM-I9725.
BROY, M. and STOLEN, K. (1994): Specification and Refinement of Finite Dataflow Networks - A Relational Approach. Tech. rept. TUM-I9412. Technische Univerität München.
BORY, M., DEDRICH, F. DENDORFER, C., FUCHS, M., GRITZNER, TH., and WEBER, R. (1993): The Design of Distributed Systems - An Introduction to FOCUS - revised version -. Tech. rept. SFB-Bericht 342/2–2/92A. Technische Universität München.
BURKHARDT, R. (1997): UML - unified modelling language - objektorientierte Modellierung für die Praxis. Addison Wesley.
GROSU, R. and RUMPE, B. (1995): Concurrent Timed Port Automata. Tech. rept. TUM-I9533. Technische Univerität München.
GROSU, R., KLEIN, C., and RUMPE, B. (1996). Enhancing the SysLab System Model with State. TUM-I9631. Technische Univerität München.
HUSSMANN, H. (1994): Formal Foundations for SSADM. Technische Universität München, Habilitationsarbeit.
KLEIN, C., RUMPE, B., and BROY, M. (1996): A stream-based mathematical model for distributed information processing systems - SysLab system model - . In NAIJM, E., and STEFANI, J.-B. (eds): FMOODS’96 Formal Methods for Open Object-based Distributed Systems, 323–338. ENST France Telecom.
PAECH, B. and RUMPE, B. (1997): State Based Service Description. In: DERRICK, JOHN (ed): Formal Methods for Open Object-based Distributed Systems. Chapman-Hall.
RUMPE, B. (1996): Formale Methodik des Entwurfs verteilter objektorientierter Systeme. Herbert Utz Verlag Wissenschaft. PhD thesis, Technische Universität München.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Physica-Verlag Heidelberg
About this paper
Cite this paper
Breu, R., Grosu, R., Huber, E., Rumpe, B., Schwerin, W. (1998). Systems, Views and Models of UML. In: Schader, M., Korthaus, A. (eds) The Unified Modeling Language. Physica-Verlag HD. https://doi.org/10.1007/978-3-642-48673-9_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-48673-9_7
Publisher Name: Physica-Verlag HD
Print ISBN: 978-3-7908-1105-6
Online ISBN: 978-3-642-48673-9
eBook Packages: Springer Book Archive