Paper Info
Title
Formal semantics of static and temporal state-oriented OCL constraints
Abstract
The textual Object Constraint Language (OCL) is primarily intended to specify restrictions over UML class diagrams, in particular class invariants, oper- ation pre-, and postconditions. Based on several improve- ments in the definition of the language concepts in last years, a proposal for a new version of OCL has recently been published (43). That document provides an exten- sive OCL semantic description that constitutes a tight integration into UML. However, OCL still lacks a se- mantic integration of UML Statecharts, although it can already be used to refer to states in OCL expressions. This article presents an approach that closes this gap and introduces a formal semantics for such integration through a mathematical model. It also presents the defin- ition of a temporal OCL extension by means of a UML Profile based on the metamodel of the latest OCL pro- posal. Our OCL extension enables modelers to specify be- havioral state-oriented real-time constraints. It provides an intuitive understanding and readability at application level since common OCL syntax and concepts are pre- served. A well-defined formal semantics is given through the mapping of temporal OCL expressions to temporal logics formulae.
Year
DOI
Venue
2003
10.1007/s10270-003-0026-x
Software and System Modeling
Keywords
Field
DocType
temporal logics,uml state- charts,object constraint language,real-time constraints,uml profile,formal semantics,uml class diagram,temporal logic,mathematical model,real time
Semantic integration,Programming language,Expression (mathematics),Unified Modeling Language,Computer science,Applications of UML,Temporal logic,Object Constraint Language,Metamodeling,Class diagram
Journal
Volume
Issue
ISSN
2
3
1619-1374
Citations 
PageRank 
References 
19
1.08
23
Authors
2
Name
Order
Citations
PageRank
Stephan Flake124122.77
Wolfgang Mueller2313.47