Paper Info
Title
Extending OCL to include actions
Abstract
The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The constraints which can be expressed in this language, all state requirements on the static aspects of the system. The Object Constraint Language currently lacks a way to express that events have happened or will happen, that signals are or will be send, or that operations are or will be called. This paper introduces an extension to OCL to solve the above problem: the so-called action clause. We describe how this extension is integrated with the UML semantics to avoid semantics overlap. It also shows that a modeler can use it to specify dynamic requirements declaratively on an abstract level, without the need to use full operational dynamic diagrams.
Year
Venue
Keywords
2000
Lecture Notes in Computer Science
declarative manner,abstract level,full operational dynamic diagram,object-oriented system,dynamic requirements declaratively,static aspect,so-called action clause,extending ocl,uml semantics,object constraint language,state requirement,semantics,object oriented,constraint,specification language,unified modeling language,invariant,action
Field
DocType
Volume
Specification language,Programming language,Unified Modeling Language,Object-oriented programming,Computer science,Invariant (mathematics),Object Constraint Language,Semantics
Conference
1939
ISSN
ISBN
Citations 
0302-9743
3-540-41133-X
23
PageRank 
References 
Authors
3.78
1
2
Name
Order
Citations
PageRank
Anneke Kleppe118427.68
Jos Warmer221241.21