Abstract
UML is there — it’s accepted, it’s booming, and even more: it’s a standard. From telecom to train systems to avionics: using UML to capture the system is “in”. But do we really understand what we model?
This talk takes for granted, that models are alive, are executable, are used to explore the design space, are used to communicate design decisions, and ultimately are evolving to target code. And it asks plenty of nasty questions about the meaning of all these diagrams, which are so intuitive, but which require clarification if viewed from the most rigorous possible perspective — that of a formal semantics.
Formal Semantics are to modeling languages what X rays are to the human body: they bring to the surface problem spots not typically seen — and this process is painful. It shows, that what we see, is possibly far from what we expect: it highlights design decisions in giving a rigorous semantics to UML, which could have significant impact on e.g. meeting timeliness requirements.
But it also shows the rewards derivable from this painful exercise: giving a rigorous semantics offers the floor for powerful analysis techniques allowing to boost the quality of models.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Damm, W. (2001). Understanding UML — Pains and Rewards. In: Gogolla, M., Kobryn, C. (eds) ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools. UML 2001. Lecture Notes in Computer Science, vol 2185. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45441-1_18
Download citation
DOI: https://doi.org/10.1007/3-540-45441-1_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42667-7
Online ISBN: 978-3-540-45441-0
eBook Packages: Springer Book Archive