Temporal versus first-order logic to query temporal databases
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On a temporal logic for object-based systems
Fourth International Conference on Formal methods for open object-based distributed systems IV
Temporal OCL: meeting specification demands for business components
Unified modeling language
Steam-Boiler Control Specification Problem
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
An OCL Extension for Real-Time Constraints
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Monitoring Programs Using Rewriting
Proceedings of the 16th IEEE international conference on Automated software engineering
Mathematical modal logic: a view of its evolution
Journal of Applied Logic
Human comprehensible and machine processable specifications of operational semantics
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
Hi-index | 0.00 |
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.