Jos Warmer, Anneke Kleppe Object Constraint Language, The Getting Your Models Ready for MDA 2003

Main Page Table of content Copyright Praise for 'The Object Constraint Language, Second Edition' 'The Addison-Wesley Object Technology Series' 'The Component Software Series' List of Figures List of Tables Foreword to the First Edition Foreword to the Second Edition Preface and Introduction Who Should Read This Book How This Book Should Be Used Typeface Conventions Information on Related Subjects Acknowledgments Part 1: User Manual Chapter 1. MDA and the Use of OCL 1.1 Introducing OCL 1.2 Model Driven Architecture 1.3 Modeling Maturity Levels 1.4 Building Better Models 1.5 Characteristics of OCL 1.6 Summary Chapter 2. OCL By Example 2.1 The 'Royal and Loyal' System Example 2.2 Adding Extra Information 2.3 Adding Invariants 2.4 Working with Collections of Objects 2.5 Adding Preconditions and Postconditions 4 Implementing OCL Expressions 4.7 Comments 2.2 Implementing UML Model Elements 4.1 Relation of OCL to MDA 5.6 Considerations for Constraints 4.11 Summary Chapter 4.9 Summary Chapter 3.1 Implementation Process 4.5 Completing Statecharts 3. Implementing OCL 4. Building Models with OCL 3.4 Using OCL to Define Languages 5.8 Completing Use Cases 3.3 The OCL and UML Metamodels 5.1 What Is a Model? 3.9 Modeling Styles 3.4 Completing Interaction Diagrams 3.2.10 Tips and Hints 3.6 Completing Activity Diagrams 3.5 Merging Code Fragments 4.7 Completing Component Diagrams 3. Using OCL for MDA 5.8 Let Expressions 2.5 Using OCL to Define Transformations 5.6 Taking Inheritance into Account 2.7 Summary Chapter 5.3 Completing Class Diagrams 3.6 Summary .3 Implementing the OCL Standard Library 4.2 Metamodels 5.2 Use UML Diagrams as a Base 3. 2 Operations of the 'OclMessage' Type 10.2 Associations and Aggregations 8.4 Local Variables 10.1 The Collection Types 9.5 Comments Chapter 8.2 Operations on Collection Types 9.6 Undefined Values.2 Classes and Other Types 6.Part 2: Reference Manual Chapter 6.3 Enumeration Types Chapter 9.2 Basic Types and Operators 7.1 Constructs for Postconditions 10. and Values 7.3 Loop Operations or Iterators Chapter 10.6 Use Cases 6.4 Use of Infix Operators 7. User-defined Types 8.5 Tuples and Tuple Types 10. Advanced Constructs 10. Basic OCL Elements 7. Types.7 Retyping or Casting .1 Features of User-Defined Types 8.3 Packaging Expressions 10. the 'OclVoid' Type 10.1 Expressions.7 Constraints and Inheritance Chapter 7.3 Attributes and Association Ends 6.3 Precedence Rules 7. Collection Types 9.5 Expressions in Behavior Diagrams 6.4 Operations 6. The Context of OCL Expressions 6.1 A Combined Model 6. OCL Grammar Rules B.3 Extra Predefined Operations E. Differences Between OCL Versions 1.9 Accessing Overriden Features 10.4 More Elaborate Examples Appendix D.1 and 2.1 Introduction C. Example Implementation Appendix E. A Business Modeling Syntax for OCL C.2 New Types E.3 Some Remarks on the Resemblance to SQL C.10.8 Type Conformance Rules 10.1 EBNF Rules for Context Declaration B.4 New Options in Postconditions E.2 EBNF Rules for Expression Appendix C.1 Syntax Changes E.10 The 'OclAny' Type Appendix A. Glossary Glossary Appendix B.0 E.5 Other Changes Bibliography Index Index SYMBOL Index A Index B Index C Index D Index E Index F Index G Index H .2 Informal Definition C. Index I Index J Index L Index M Index N Index O Index P Index Q Index R Index S Index T Index U Index V . Their discussion of OCL's potential role in Model Driven Architecture (MDA) is timely and offers great insight into the way that UML can be taken to the next level of automated software development practice. 2003 0-321-17936-6 240 "In this thoroughly revised edition. I highly recommend this book to anyone who is looking to get the most out of UML" -Shane Sendall. and pedagogic explanation of the Object Constraint Language (OCL) and its different applications. pragmatic.Senior ResearcherSwiss Federal Institute of Technology in Lausanne The release of Unified Modeling Language (UML) 2.D.• • Table of Contents Index Object Constraint Language. Second Edition By Jos Warmer.0 . The: Getting Your Models Ready for MDA. Anneke Kleppe Publisher : Pub Date : ISBN : Pages : Addison Wesley August 29. Ph. Jos and Anneke offer a concise. Model-Driven Architecture (MDA) relies on OCL to add the level of programming detail necessary to enable Platform-Specific Models (PSM) to communicate with Platform-Independent Models (PIM). Within UML. Second Edition. and developers. designers. This newly updated edition also Explains why OCL is critical to MDA-and why UML alone is not enough Introduces an SQL-like syntax to OCL Defines the new language constructs of OCL 2. accessible guide to OCL for software architects. The Object Constraint Language. utilizes a case study to show how to exercise these compact but powerful expressions for maximum effect. Much care has been taken during the redesign of OCL to ensure that the syntax remains readable and writable by the average software modeler.0 Demonstrates how OCL can be incorporated into code Shares tips and tricks for applying OCL to real-world modeling challenges-showing which can be solved .places renewed emphasis on the Object Constraint Language (OCL). OCL is the standard for specifying expressions that add vital information to object-oriented models and other object-modeling artifacts. This book is a practical. with UML and which require OCL Using a combination of UML and OCL allows developers to realize the effective. . and coherent models that are critical to working with MDA. consistent. The authors' pragmatic approach and illustrative use of examples will help application developers come quickly up to speed with this important object-modeling method--and will serve as a ready reference thereafter. Model Driven Architecture Section 1.• • Table of Contents Index Object Constraint Language.5. User Manual Chapter 1. The: Getting Your Models Ready for MDA.2.1.3. Second Edition By Jos Warmer. 2003 0-321-17936-6 240 Copyright Praise for The Object Constraint Language. Anneke Kleppe Publisher : Pub Date : ISBN : Pages : Addison Wesley August 29. Second Edition The Addison-Wesley Object Technology Series The Component Software Series List of Figures List of Tables Foreword to the First Edition Foreword to the Second Edition Preface and Introduction Who Should Read This Book How This Book Should Be Used Typeface Conventions Information on Related Subjects Acknowledgments Part 1. Characteristics of OCL . Modeling Maturity Levels Section 1. Introducing OCL Section 1. Building Better Models Section 1.4. MDA and the Use of OCL Section 1. 4. Operations . Completing Class Diagrams Section 3. Adding Extra Information Section 2.5.5. Implementing OCL Expressions Section 4. The Context of OCL Expressions Section 6. OCL By Example Section 2. Reference Manual Chapter 6.3.6.2. Considerations for Constraints Section 4.11. Comments Section 2.2. Use UML Diagrams as a Base Section 3. Working with Collections of Objects Section 2.8. Completing Statecharts Section 3. Adding Preconditions and Postconditions Section 2. Taking Inheritance into Account Section 2. Summary Part 2. Tips and Hints Section 3.4. Summary Chapter 3.6.9.Section 1.1.1.7.8.2.1. Summary Chapter 2. Using OCL for MDA Section 5.6.1. Modeling Styles Section 3.10. Completing Interaction Diagrams Section 3. Relation of OCL to MDA Section 5.2.2. Using OCL to Define Transformations Section 5. Completing Component Diagrams Section 3. Summary Chapter 5.4.9. Building Models with OCL Section 3.1.3. Implementation Process Section 4. Summary Chapter 4.3.6. Adding Invariants Section 2.4.7. Implementing UML Model Elements Section 4. Using OCL to Define Languages Section 5. Merging Code Fragments Section 4. Completing Activity Diagrams Section 3. Implementing OCL Section 4.5.7.4.6. Completing Use Cases Section 3. Implementing the OCL Standard Library Section 4.3. Let Expressions Section 2. Metamodels Section 5. The OCL and UML Metamodels Section 5.5. A Combined Model Section 6.3. Classes and Other Types Section 6. The "Royal and Loyal" System Example Section 2. Attributes and Association Ends Section 6. What Is a Model? Section 3. Basic OCL Elements Section 7.7. Basic Types and Operators Section 7. Advanced Constructs Section 10.1.10. EBNF Rules for Expression Appendix C.1. Extra Predefined Operations .7. Precedence Rules Section 7.2. Expressions.0 Section E. Operations on Collection Types Section 9.4.4. Operations of the OclMessage Type Section 10.5.3.6. and Values Section 7.2.3. Comments Chapter 8. Constructs for Postconditions Section 10.9. Constraints and Inheritance Chapter 7.5. Enumeration Types Chapter 9.1. OCL Grammar Rules Section B. Glossary Glossary Appendix B. Features of User-Defined Types Section 8. Loop Operations or Iterators Chapter 10.2.4.2.1 and 2. New Types Section E.8. The OclAny Type Appendix A. User-defined Types Section 8.5.2.3. Use Cases Section 6. the OclVoid Type Section 10.1. Syntax Changes Section E.1. Associations and Aggregations Section 8.2.3. Local Variables Section 10. Differences Between OCL Versions 1. Type Conformance Rules Section 10. A Business Modeling Syntax for OCL Section C. Example Implementation Appendix E.6. Some Remarks on the Resemblance to SQL Section C. Expressions in Behavior Diagrams Section 6. Accessing Overriden Features Section 10.Section 6. Collection Types Section 9.1. Informal Definition Section C. The Collection Types Section 9. Packaging Expressions Section 10. Use of Infix Operators Section 7.1. Types. More Elaborate Examples Appendix D. Tuples and Tuple Types Section 10.3. Retyping or Casting Section 10. EBNF Rules for Context Declaration Section B.2.3. Undefined Values. Introduction Section C. Other Changes Bibliography Index .4.5.Section E. New Options in Postconditions Section E. Anneke Kleppe. Corporate and Government Sales (800) 382-3419 corpsales@pearsontechgroup. II. Jos B.O35W35 2003 005.9. The object constraint language : getting your models ready for MDA / Jos Warmer. the designations have been printed with initial capital letters or in all capitals. MDA® is a registered trademark of Object Management Group. Where those designations appear in this book. Object-oriented methods (Computer science) 2. please contact: U. and Addison-Wesley was aware of a trademark claim. Kleppe. No liability is assumed for incidental or consequential damages in connection with or arising out of the use of the information or programs contained herein.com Library of Congress Cataloging-in-Publication Data Warmer. but make no expressed or implied warranty of any kind and assume no responsibility for errors or omissions. cm. Inc.com For sales outside of the U.S. For more information. please contact: International Sales (317) 581-3793 international@pearsontechgroup. QA76.Copyright Many of the designations used by manufacturers and sellers to distinguish their products are claimed as trademarks.S. ISBN 0-321-17936-6 1. p. Includes bibliographical references and index. The authors and publisher have taken care in the preparation of this book..1'17--dc22 2003057724 . Title. in the United States and/or other countries. Anneke G. The publisher offers discounts on this book when ordered in quantity for bulk purchases and special sales. UML (Computer science) I. recording. or transmitted.Copyright © 2003 by Pearson Education. in any form. Inc. photocopying. For information on obtaining permission for use of material from this work. Published simultaneously in Canada. MA 02116 Fax: (617) 848-7047 Text printed on recycled paper 1 2 3 4 5 6 7 8 9 10-CRS-0706050403 First printing. electronic. without the prior consent of the publisher. mechanical. All rights reserved. Rights and Contracts Department 75 Arlington Street. Inc. please submit a written request to: Pearson Education. No part of this publication may be reproduced. or by any means. Suite 300 Boston. stored in a retrieval system. August 2003 . Printed in the United States of America. or otherwise. " Dan Chiorean Head of the Computer Science Research Laboratory Babes-Bolyai University. pragmatic. I am sure that this work will contribute in a significant manner to the development and widespread use of new software technologies.Praise for The Object Constraint Language. and. I highly recommend this book to anyone who is looking to get the most out of UML. using. Lausanne "MDA promises a revolution in the way we develop software. Their discussion of OCL's potential role in Model Driven Architecture (MDA) is timely and offers great insight into the way that UML can be taken to the next level of automated software development practice. London "Through examples. Jos and Anneke demonstrate the power and intuitiveness of OCL. PhD Senior Researcher Swiss Federal Institute of Technology. PhD King's College. Second Edition "In this thoroughly revised edition. and promoting OCL. and the key role that this language plays in implementing and promoting MDA. structure. and pedagogic explanation of the Object Constraint Language (OCL) and its different applications. The theme. contents. This book is essential reading for anyone intending to adopt MDA technology." Shane Sendall. the clarity of explanations recommend this book as the best advocate for learning. Cluj . Jos and Anneke offer a concise. and MDA. not lastly." Tony Clark. UML.