Skip to main content
SpringerLink
Log in

OCL Extended with Temporal Logic

  • Conference paper
Book cover Perspectives of System Informatics (PSI 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2890))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abrial, J.-R., Börger, E., Langmaack, H. (eds.): Dagstuhl Seminar 1995. LNCS, vol. 1165. Springer, Heidelberg (1996)

    Google Scholar 

  2. Boldsoft, Rational Software Corporation, and IONA. Response to the UML 2.0 OCL RfP (ad/2000-09-03) (June 2002), Internet: http://www.klasse.nl/ocl/subm-draft-text.html

  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)

    Chapter  Google Scholar 

  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. 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 Twente

    Google Scholar 

  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. Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems. Springer, New York (1992)

    Google Scholar 

  8. OMG. OMG Unified Modeling Language Specification, Version 1.5. Object Management Group, Inc., Framingham, Mass., Internet: (March 2003), http://www.omg.org

  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. 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-I0208

    Google Scholar 

  11. Ziemann, P., Gogolla, M.: An OCL Extension for Formulating Temporal Constraints. Technical Report 1/03, Universität Bremen (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Bremen, P.O. Box 330440, D-28334, Bremen, Germany

    Paul Ziemann & Martin Gogolla

Authors
  1. Paul Ziemann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Martin Gogolla
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Technische Universität München, Germany

    Manfred Broy

  2. A.P. Ershov Institute of Informatics Systems, Siberian Branch of Russian Academy of Sciences, 630090, Novosibirsk, Russia

    Alexandre V. Zamulin

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ziemann, P., Gogolla, M. (2004). OCL Extended with Temporal Logic. In: Broy, M., Zamulin, A.V. (eds) Perspectives of System Informatics. PSI 2003. Lecture Notes in Computer Science, vol 2890. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39866-0_35

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-39866-0_35

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20813-6

  • Online ISBN: 978-3-540-39866-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation