Skip to main content
SpringerLink
Log in

Object Modeling with the OCL

The Rationale behind the Object Constraint Language

  • Book
  • © 2002

Overview

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)

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 chapters)

  1. Front Matter

    Pages I-VIII
    Download chapter 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

  4. A New Type Checking Approach for OCL Version 2.0 ?

    • Andy SchĂĽrr
    Pages 21-41

  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

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

    • Bernhard Rumpe
    Pages 189-212

  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
    Download chapter PDF
Back to top

Keywords

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.

Editors and Affiliations

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

    Tony Clark

  • Klasse Objecten, DB Soest, The Netherlands

    Jos Warmer

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation