Abstract
UML and UML2 are the de facto industry standards for model based software development. To deliver the benefits promised by model based development, including sophisticated synthesis and validation tool support, UML2 must have a precise and formally defined semantics. While there have been attempts at defining semantics for individual description techniques in the past, a unifying semantics approach covering the information represented by all UML2 description techniques has proven elusive so far. In this contribution we turn the picture around: we define a semantic core-model of distributed, reactive systems and interpret UML2’s description techniques as queries and constraints at instantiations of this core model. A query selects the elements relevant for a specification. A constraint imposes structural and behavioral properties on the system under consideration.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Krüger, I.H., Menarini, M. (2007). Queries and Constraints: A Comprehensive Semantic Model for UML2. In: Kühne, T. (eds) Models in Software Engineering. MODELS 2006. Lecture Notes in Computer Science, vol 4364. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69489-2_41
Download citation
DOI: https://doi.org/10.1007/978-3-540-69489-2_41
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69488-5
Online ISBN: 978-3-540-69489-2
eBook Packages: Computer ScienceComputer Science (R0)