Skip to main content
SpringerLink
Log in
Book cover
  • Book
  • © 2002

Object Modeling with the OCL

The Rationale behind the Object Constraint Language

Editors:

  1. Tony Clark

    1. Department of Computer Science, King’s College London, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jos Warmer

    1. Klasse Objecten, DB Soest, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Sections

Buy it now

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

Other ways to access

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

Table of contents (13 chapters)

  1. Front Matter

    Pages I-VIII
    PDF

  2. Introduction

    Pages 1-3

  3. A Meta-model Facility for a Family of UML Constraint Languages

    • Tony Clark, Andy Evans, Stuart Kent
    Pages 4-20

  5. OCL: Syntax, Semantics, and Tools

    • Mark Richters, Martin Gogolla
    Pages 42-68

  6. On the Precise Meaning of OCL Constraints

    • Rolf Hennicker, Heinrich Hussmann, Michel Bidoit
    Pages 69-84

  7. Expressing UML Class Diagrams Properties with OCL

    • Martin Gogolla, Mark Richters
    Pages 85-114

  8. The Amsterdam Manifesto on OCL

    • Steve Cook, Anneke Kleppe, Richard Mitchell, Bernhard Rumpe, Jos Warmer, Alan Wills
    Pages 115-149

  9. An OCL Extension for Real-Time Constraints

    • Stephan Flake, Wolfgang Mueller
    Pages 150-171

  10. Statistical Constraints and Verification

    • John Knapman
    Pages 172-188

  12. The Semantics of the OCL Action Clause

    • Anneke Kleppe, Jos Warmer
    Pages 213-227

  13. Constraint Trees

    • Stuart Kent, John Howse
    Pages 228-249

  14. Using OCL and UML to Specify System Behavior

    • Shane Sendall, Alfred Strohmeier
    Pages 250-279

  15. Back Matter

    Pages 281-281
    PDF
Back to top

About this book

As part of the UML standard OCL has been adopted by both professionals in industry and by academic researchers and is one of the most widely used languages for expressing object-oriented system properties. This book contains key contributions to the development of OCL. Most papers are developments of work reported at different conferences and workshops. This unique compilation addresses many important issues faced by advanced professionals and researchers in object modeling like e.g. real-time constraints, type checking, and constraint modeling.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Department of Computer Science, King’s College London, London, UK

    Tony Clark

  • Klasse Objecten, DB Soest, The Netherlands

    Jos Warmer

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Other ways to access

Search

Navigation