Object Modeling with the OCL

The Rationale behind the Object Constraint Language

  • Tony Clark
  • Jos Warmer
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2263)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Pages 1-3
  3. Tony Clark, Andy Evans, Stuart Kent
    Pages 4-20
  4. Mark Richters, Martin Gogolla
    Pages 42-68
  5. Rolf Hennicker, Heinrich Hussmann, Michel Bidoit
    Pages 69-84
  6. Martin Gogolla, Mark Richters
    Pages 85-114
  7. Steve Cook, Anneke Kleppe, Richard Mitchell, Bernhard Rumpe, Jos Warmer, Alan Wills
    Pages 115-149
  8. Stephan Flake, Wolfgang Mueller
    Pages 150-171
  9. John Knapman
    Pages 172-188
  10. Anneke Kleppe, Jos Warmer
    Pages 213-227
  11. Stuart Kent, John Howse
    Pages 228-249
  12. Shane Sendall, Alfred Strohmeier
    Pages 250-279
  13. Back Matter
    Pages 281-281

About this book

Introduction

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.

Keywords

Java OCL UML Unified Modeling Language (UML) correct software design formal methods modeling object object constraint language object-oriented modeling semi-formal methods software engineering system modeling system specification verification

Editors and affiliations

  • Tony Clark
    • 1
  • Jos Warmer
    • 2
  1. 1.Department of Computer ScienceKing’s College LondonLondonUK
  2. 2.Klasse ObjectenDB SoestThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45669-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43169-5
  • Online ISBN 978-3-540-45669-8
  • Series Print ISSN 0302-9743
  • About this book