OCL Extended with Temporal Logic

  • Paul Ziemann
  • Martin Gogolla
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2890)


UML class diagrams have become a standard for modeling the static structure of object-oriented software systems. OCL can be used for formulating additional constraints that can not be expressed with the diagrams. In this paper, we extend OCL with temporal operators to formulate temporal constraints.


Temporal Logic Object Model State Sequence Temporal Constraint Object Type 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abrial, J.-R., Börger, E., Langmaack, H. (eds.): Dagstuhl Seminar 1995. LNCS, vol. 1165. Springer, Heidelberg (1996)Google Scholar
  2. 2.
    Boldsoft, Rational Software Corporation, and IONA. Response to the UML 2.0 OCL RfP (ad/2000-09-03) (June 2002), Internet:
  3. 3.
    Bradfield, J.C., Filipe, J.K., Stevens, P.: Enriching OCL Using Observational Mu-Calculus. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 203–217. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  4. 4.
    Conrad, S., Turowski, K.: Temporal OCL: Meeting Specification Demands for Business Components. In: Siau, K., Halpin, T. (eds.) Unified Modeling Language: Systems Analysis, Design and Development Issues. ch. 10, pp. 151–166. Idea Publishing Group (2001)Google Scholar
  5. 5.
    Distefano, D., Katoen, J.-P., Rensink, A.: On a Temporal Logic for Object-Based Systems. In: Smith, S.F., Talcott, C.L. (eds.) Formal Methods for Open Object-based Distributed Systems, pp. 305–326. Kluwer Acadeim Publishers, Dordrecht (2000); Report version: TR–CTIT–00–06, Faculty of Informatics, University of TwenteGoogle Scholar
  6. 6.
    Flake, S., Mueller, W.: A UML Profile for Real-Time Constraints with the OCL. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, pp. 179–195. Springer, Heidelberg (2002)Google Scholar
  7. 7.
    Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems. Springer, New York (1992)Google Scholar
  8. 8.
    OMG. OMG Unified Modeling Language Specification, Version 1.5. Object Management Group, Inc., Framingham, Mass., Internet: (March 2003),
  9. 9.
    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)Google Scholar
  10. 10.
    Ziemann, P., Gogolla, M.: An Extension of OCL with Temporal Logic. In: Jürjens, J., Cengarle, M.V., Fernanez, E.B., Rumpe, B., Sandner, R. (eds.) Critical Systems Development with UML – Proceedings of the UML 2002 workshop, September 2002, pp. 53–62. TUM, Institut für Informatik (2002) TUM-I0208Google Scholar
  11. 11.
    Ziemann, P., Gogolla, M.: An OCL Extension for Formulating Temporal Constraints. Technical Report 1/03, Universität Bremen (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Paul Ziemann
    • 1
  • Martin Gogolla
    • 1
  1. 1.Department of Computer ScienceUniversity of BremenBremenGermany

Personalised recommendations