Object modeling with the OCL : the rationale behind the Object Constraint Language / Tony Clark, Jos Warmer (eds.).
Contributor(s): Clark, Tony (College teacher) | Warmer, Jos BMaterial type: TextSeries: SerienbezeichnungLecture notes in computer science: 2263.Publisher: Berlin ; New York : Springer, ©2002Description: 1 online resource (viii, 279 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783540456698; 3540456694Subject(s): Object-oriented methods (Computer science) | Object-oriented methods (Computer science)Genre/Form: Aufsatzsammlung. | Electronic books. Additional physical formats: Print version:: Object modeling with the OCL : the rationale behind the Object Constraint LanguageDDC classification: 005.1/17 LOC classification: QA76.9.O35 | O242 2002Other classification: SS 4800 | DAT 364f | DAT 368f | DAT 315f Online resources: Click here to access online
|Item type||Current location||Collection||Call number||Status||Date due||Barcode||Item holds|
Includes bibliographical references and index.
Introduction / Bran Selic -- A meta-model facility for a family of UML constraint languages / Tony Clark, Andy Evans, and Stuart Kent -- A new type checking approach for OCL version 2.0? / Andy Schurr -- OCL: syntax, semantics, and tools / Mark Richters and Martin Gogolla -- On the precise meaning of OCL constraints / Rolf Hennicker, Heinrich Hussmann, and Michel Bidoit -- Expressing UML class diagrams properties with OCL / Martin Gogolla and Mark Richters -- The Amsterdam Manifesto on OCL / Steve Cook [and others] -- An OCL extension for real-time constraints / Stephan Flake and Wolfgang Mueller -- Statistical constraints and verification / John Knapman -- Java OCL based on new presentation of the OCL-syntax / Bernhard Rumpe -- The semantics of the OCL action clause / Anneke Kleppe and Jos Warmer -- Constraint trees / Stuart Kent and John Howse -- Using OCL and UML to specify system behavior / Shane Sendall and Alfred Strohmeier.
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.