Skip to main content
SpringerLink
Log in

Informal Formality? The Object Constraint Language and Its Application in the UML Metamodel

  • Conference paper
The Unified Modeling Language. «UML»’98: Beyond the Notation (UML 1998)

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

Included in the following conference series:

Abstract

Within the field of object technology it is becoming recognised that constraints are a good way to produce more precise and formal specifications than with diagrams alone. Evidence of this is that UML incorporates a standard constraint language called OCL (Object Constraint Language). The availability of OCL will encourage UML users to add constraints to their UML models. This paper explains OCL and demonstrates its applicability. Probably the largest application of OCL to date was its use to define the metamodel of UML, and the experiences gained in this application are discussed.

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. Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-oriented modeling and design. Prentice-Hall, Englewood Cliffs (1991)

    MATH  Google Scholar 

  2. OMG document ad/97-01-14: UML 1.0 Proposal

    Google Scholar 

  3. Blaha, M., Premerlani, W.: Object-oriented modeling and design for database applications. Prentice-Hall, Englewood Cliffs (1998)

    Google Scholar 

  4. OMG document ad/97-01-18 IBM/ObjecTime Limited joint submission for AD RFP1

    Google Scholar 

  5. OMG documents ad/97-08-02 through ad/97-08-11: UML 1.1 Proposal

    Google Scholar 

  6. Cook, S., Daniels, J.: Designing Object Systems: Object-oriented modelling with Syntropy. Prentice-Hall, Englewood Cliffs (1994)

    MATH  Google Scholar 

  7. Wordsworth, J.B.: Software Development with Z. Addison-Wesley, Reading (1992)

    MATH  Google Scholar 

  8. Meyer, B.: Object-oriented software construction. Prentice-Hall, Englewood Cliffs (1988)

    Google Scholar 

  9. d’Souza, D., Wills, A.C.: Objects, Components, and Frameworks with UML: the Catalysis Approach (forthcoming)

    Google Scholar 

  10. Lano, K., Haughton, H. (eds.): Object-oriented specification case studies. Prentice-Hall, Englewood Cliffs (1994)

    MATH  Google Scholar 

  11. Coleman, D., Arnold, P., Bodoff, S., Dollin, C., Gilchrist, H., Hayes, F., Jeremaes, P.: Object-oriented development: the Fusion method. Prentice-Hall, Englewood Cliffs (1994)

    MATH  Google Scholar 

  12. Warmer, J., Kleppe, A.: The Object Constraint Language: precise modeling with UML. Addison-Wesley, Reading (1998)

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Anneke Kleppe

  2. IBM Netherlands, Watsonweg 2, 1423 ND, Uithoorn, The Netherlands

    Jos Warmer

  3. IBM UK Ltd, 1 New Square, Bedfont Lakes, Feltham, Middlesex, TW14 8HB, UK

    Steve Cook

Authors
  1. Anneke Kleppe
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jos Warmer
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Steve Cook
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. ATLAS Group, INRIA and LINA, University of Nantes, France

    Jean Bézivin

  2. IRISA / INRIA Rennes, Rennes, France

    Pierre-Alain Muller

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kleppe, A., Warmer, J., Cook, S. (1999). Informal Formality? The Object Constraint Language and Its Application in the UML Metamodel. In: Bézivin, J., Muller, PA. (eds) The Unified Modeling Language. «UML»’98: Beyond the Notation. UML 1998. Lecture Notes in Computer Science, vol 1618. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-48480-6_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-48480-6_12

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-48480-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation