24 search results - page 2 / 5 » A Formal Semantics for OCL 1.4 |
UML
2005
Springer
13 years 10 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
UML
2001
Springer
13 years 9 months ago
2001
Springer
FMOODS
2000
13 years 6 months ago
2000
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
ECEASST
2008
13 years 5 months ago
2008
The OCL (Object Constraint Language) as part of the UML (Unified Modeling Language) is a rich language with different collection kinds (sets, multi-sets, sequences) and a large var...
AGTIVE
2007
Springer
13 years 9 months ago
2007
Springer
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...