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.
[1]
Anneke Kleppe,et al.
Extending OCL to include Actions
,
2000,
UML.
[2]
Anneke Kleppe,et al.
The object constraint language: precise modeling with UML
,
1998
.
[3]
Hans-Erik Eriksson,et al.
Business Modeling with UML
,
2001
.
[4]
Hans Eriksson,et al.
Business Modeling With UML: Business Patterns at Work
,
2000
.
[5]
Stuart Kent,et al.
A Feasibility Study in Rearchitecting UML as a Family of Languages using a Precise OO Meta-Modeling Approach
,
2000
.
[6]
Jos Warmer,et al.
The object constraint language
,
1998
.