Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
OMG: OCL 2.0 Specification. Object Management Group (2006) formal/2006-05-01
Ziemann, P., Gogolla, M.: An extension of OCL with temporal logic. In: Critical Systems Development with UML, pp. 53–62 (2002)
Distefano, D., Katoen, J.-P., Rensink, A.: On a temporal logic for object-based systems. In: Formal Methods for Open Objectbased Distributed Systems, pp. 305–326. Kluwer Academic Publishers, Dordrecht (2000)
Flake, S., Mueller, W.: An OCL extension for real-time constraints. In: Advances in Object Modelling with the OCL. LNCS, pp. 150–171. Springer, Heidelberg (2001)
Cengarle, M.V., Knapp, A.: Towards OCL/RT. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol. 2391, pp. 390–409. Springer, Heidelberg (2002)
Soden, M., Eichler, H.: Enterprise Modelling and Information Systems Architectures - Concepts and Applications. In: Proceedings of the 2nd International Workshop on Enterprise Modelling and Information Systems Architectures. LNI, vol. P-119. GI (2007)
Scheidgen, M., Fischer, J.: Human comprehensible and machine processable specifications of operational semantics. In: Akehurst, D.H., Vogel, R., Paige, R.F. (eds.) ECMDA-FA. LNCS, vol. 4530, pp. 157–171. Springer, Heidelberg (2007)
Abrial, J.R.: Steam-boiler control specification problem. In: Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995), London, UK, pp. 500–509. Springer, Heidelberg (1996)
Goldblatt, R.: Mathematical modal logic: a view of its evolution. J. of Applied Logic 1(5-6), 309–392 (2003)
Abiteboul, S., Herr, L., van den Bussche, J.: Temporal versus first-order logic in query temporal databases. In: ACM Symposium on Principles of Database Systems, Montreal, Canada, pp. 49–57 (1996)
Humbold University Berlin: M3Actions - Operational Semantics for MOF Metamodels (2008), http://www.metamodels.de
Soden, M., Eichler, H.: Eclipse Proposal: Model Execution Framework (2009), http://www.eclipse.org/proposals/mxf/
Soden, M.: Operational semantics for MOF metamodels: Tutorial on M3Actions (2008)
Conrad, S., Turowski, K.: Temporal OCL meeting specification demands for business components. In: Unified Modeling Language: Systems Analysis, Design and Development Issues, pp. 151–165 (2001)
Ramakrishnan, S., Mcgregor, J.: Extending OCL to support temporal operators. In: Proceedings of the 21st International Conference on Software Engineering (ICSE 1999) Workshop on Testing Distributed Component-Based Systems, LA, May 16 - 22 (1999)
Ziemann, P., Gogolla, M.: An OCL extension for formulating temporal constraints. Technical report, Universität Bremen (2003)
Distefano, D., Katoen, J.-P., Rensink, A.: Towards model checking OCL. In: Proceedings, ECOOP Workshop on a Precise Semantics for UML (2000)
Havelund, K., Technology, K., Rosu, G.: Monitoring programs using rewriting. In: Proceedings, International Conference on Automated Software Engineering (ASE 2001), pp. 135–143. IEEE, Los Alamitos (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Soden, M., Eichler, H. (2009). Temporal Extensions of OCL Revisited. In: Paige, R.F., Hartman, A., Rensink, A. (eds) Model Driven Architecture - Foundations and Applications. ECMDA-FA 2009. Lecture Notes in Computer Science, vol 5562. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02674-4_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-02674-4_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02673-7
Online ISBN: 978-3-642-02674-4
eBook Packages: Computer ScienceComputer Science (R0)