Temporal extensions of OCL have been proposed in the literature in order to express dynamic system properties of UML models. This paper reviews previous work on Temporal OCL based on dynamic, state-oriented behaviour specifications and gives a more general definition for Linear Temporal OCL (LT-OCL) for languages that are defined using MOF metamodels in conjunction with operational semantics. The definitions presented in this paper intend to pave the way for precise semantics of temporal OCL constraints of languages defined by other metamodels than UML. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Soden, M., & Eichler, H. (2009). Temporal extensions of OCL revisited. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5562 LNCS, pp. 190–205). https://doi.org/10.1007/978-3-642-02674-4_14
Mendeley helps you to discover research relevant for your work.