Skip to main content
SpringerLink
Log in

≪Java≫OCL Based on New Presentation of the OCL-Syntax

  • Chapter
  • First Online:
Object Modeling with the OCL

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

Abstract

The Object Constraint Language (OCL) is a part of the Unified Modeling Language (UML) - an emerging standard language for object-oriented analysis and design. OCL is designed as a formal language for specifying constraints that cannot be expressed conveniently using UML’s diagrammatic notation.

This article describes results of a careful analysis of the syntactic structure of OCL, resulting in a number of improvements of the OCL-syntax. In particular, a new and better readable grammar describing OCL is defined. The paper enhances not only the language OCL itself, but in particular its presentation.

Given the new grammar, a Java-style variant of OCL with essentially the same abstract grammar is defined, which should be more comfortable to Java-programmers.

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. Aliprand, J., Allen, J., Becker, J., Davis, M., Everson, M., Freytag, A., Jenkins, J., Ksar, M., McGowan, R., Moore, L., Suignard, M., Whistler, K., The Unicode Standard, Version 3.0. Addison Wesley Longman Publisher, 2000.

    Google Scholar 

  2. Boger, M., Baier, T., Wienberg, F., Extreme Modeling, In: XP’2000 conference proceedings, Ed. Michele Marchesi (to appear), Addison-Wesley, 2001.

    Google Scholar 

  3. Broy, M., Facchi, C., Grosu, R., Hettler, R., Hussmann, H., Nazareth, D., Regensburger, F., Slotosch, O., Stolen K., The Requirement and Design Specification Language SPECTRUM. An Informal Introduction. Version 1.0. Part ii. Technical Report TUM-I9312, Technische Universität München. Institut für Informatik, TUM, München, Germany, May 1993.

    Google Scholar 

  4. Church A, A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56–68, 1940.

    Article  MATH  MathSciNet  Google Scholar 

  5. Cook, S., Kleppe, A., Mitchell, R., Rumpe, B., Warmer, J., Wills, A., The Amsterdam Manifesto on OCL, Technical Report, Technische Universität München, Computer Science, 1999.

    Google Scholar 

  6. Cook, S., Daniels, J. Designing Object Systems-Object Oriented Modeling with Syntropy. Prentice-Hall, 1994.

    Google Scholar 

  7. Fitzgerald, J., Larsen, P. G., Modelling Systems: Practical Tools and Techniques in Software Development. Cambridge University Press, 1998.

    Google Scholar 

  8. Gogolla, M., Richters, M., On Constraints and Queries in UML. In M. Schader and A. Korthaus, editors, Proc. UML’97 Workshop ‘The Unified Modeling Language-Technical Aspects and Applications’, pages 109–121. Physica-Verlag, Heidelberg, 1997.

    Google Scholar 

  9. Gosling, J,. Joy, B., Steele, G., The Java Language Specification, Addison-Wesley, 1996.

    Google Scholar 

  10. Hamie, A., Civello, F., Howse, J., Kent, S., Mitchell, R., Reflections on the Object Constraint Language. In P. Muller and J. Bézivin, editors, Proc. of UML’98 International Workshop, Mulhouse, France, June 3–4, 1998, pages 137–145.

    Google Scholar 

  11. Hamie, A., Howse, J., Kent S., Interpreting the Object Constraint Language. In Proceedings of Asia Pacific Conference in Software Engineering. IEEE Press, July 1998.

    Google Scholar 

  12. Harel, D., Rumpe, B., Modeling Languages: Syntax, Semantics and All That Stuff, The Weizmann Institute of Science, Rehovot, Israel, MCS00-16, 2000.

    Google Scholar 

  13. Hussmann, H., OCL Compiler. Technische Universität Dresden. Available from http://www-st.inf.tu-dresden.de/ocl, 2001.

  14. Jacobi, C., Rumpe, B., Hierarchical XP-Improving XP for large scale projects, In: XP’2000 conference proceedings, Ed. Michele Marchesi (to appear), Addison-Wesley, 2001.

    Google Scholar 

  15. OMG. Object Constraint Language Specification. In OMG Unified Modeling Language Specification, Version 1.3 (June 1999), chapter 7. Available from http://www.rational.com.

  16. Richters, M., Gogolla, M., On Formalizing the UMLObje ct Constraint Language OCL. In Tok-Wang Ling, Sudha Ram, and Mong Li Lee, editors, Proc. 17th Int. Conf. Conceptual Modeling (ER’98), pages 449–464. Springer, Berlin, LNCS 1507, 1998.

    Google Scholar 

  17. Rumpe, B., Gofer Objekt-System-Imperativ Objektorientierte und Funktionale Programmierung in einer Sprache, Technical Report, Universität Passau, MIP-9519, 1995.

    Google Scholar 

  18. Warmer, J., Kleppe, A., The Object Constraint Language: Precise Modeling with UML. Addison Wesley Longman, Reading, Massachusetts, 1999.

    Google Scholar 

  19. Wirth, N., Programming in Modula-2, Springer Verlag, 1982.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Technische Universität München, Arcisstr. 21, D-80333, Munich, Germany

    Bernhard Rumpe

Authors
  1. Bernhard Rumpe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, King’s College London, Strand, WC2R 2LS, London, UK

    Tony Clark

  2. Klasse Objecten, Postbus 3082, 3760, DB Soest, The Netherlands

    Jos Warmer

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Rumpe, B. (2002). ≪Java≫OCL Based on New Presentation of the OCL-Syntax. In: Clark, T., Warmer, J. (eds) Object Modeling with the OCL. Lecture Notes in Computer Science, vol 2263. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45669-4_10

Download citation

  • DOI: https://doi.org/10.1007/3-540-45669-4_10

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43169-5

  • Online ISBN: 978-3-540-45669-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation