The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Business Modeling With UML: Business Patterns at Work
Business Modeling With UML: Business Patterns at Work
Extending OCL to include actions
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Towards the completion of the formal semantics of OCL 2.0
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
On Message Specifications in OCL
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Semantics of OCL Messages
Electronic Notes in Theoretical Computer Science (ENTCS)
On integrating structure and behavior modeling with OCL
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
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.