Abstract
The proposal for the 2.0 version of the UML’s Object Constraint Language provides the modeller of object-oriented systems with a way to express the fact that a signal has been send, or an operation has been called. This type of expression is called an Action Clause. This paper defines the Action Clause based on a model of the values in the semantic domain of UML models. In order to define the semantics of the Action Clause a small kernel of the semantic domain of every UML model needs to be specified. This paper uses a specification of the semantic domain based on local object states. These local object states includes a ‘virtual’ input and output queue that may contain signals. The Action Clause is defined using the signals in the in- and output queues.
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
Response to OMG RFP ad/98-11-01 Action Semantics for the UML, March 24, 2001, available from http://www.kc.com/as_site/home.html
Hans-Erik Eriksson and Magnus Penker, Business Modeling with UML, Business Patterns at Work, 2000, Wiley
Tony Clark, Andy Evans, Stuart Kent, Steve Brodsky, Steve Cook, A feasibility Study in Rearchitecting UML as a Family of Languages using a Precise OO Meta-Modelling Approach, version 1.0, September 2000, available from http://www.puml.org
Anneke Kleppe and Jos Warmer, Extending OCL to Include Actions, in Proceeedings of the ≪UML≫ 2000-The Unified Modeling Language, 2000, Springer Verlag
Anneke Kleppe and Jos Warmer, Unification of Static and Dynamic Semantics of UML, version 0.2, July 2001, available from http://www.klasse.nl/english/uml/semantics
Jos Warmer and Anneke Kleppe, The Object Constraint Language, Precise Modeling with UML, 1999, Addison-Wesley
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Kleppe, A., Warmer, J. (2002). The Semantics of the OCL Action Clause. In: Clark, T., Warmer, J. (eds) Object Modeling with the OCL. Lecture Notes in Computer Science, vol 2263. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45669-4_11
Download citation
DOI: https://doi.org/10.1007/3-540-45669-4_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43169-5
Online ISBN: 978-3-540-45669-8
eBook Packages: Springer Book Archive