Details

<b>CONTRIBUTORS.</b> <p><b>PREFACE.</b></p> <p><b>1 INTRODUCTION TOTHE UNIFIED MODELING LANGUAGE (</b><i>Kevin Lano).</i></p> <p>1.1 Introduction.</p> <p>1.2 Class Diagrams.</p> <p>1.3 Object Diagrams.</p> <p>1.4 Use Cases.</p> <p>1.5 State Machines.</p> <p>1.6 Object Constraint Language.</p> <p>1.7 Interaction Diagrams.</p> <p>1.8 Activity Diagrams.</p> <p>1.9 Deployment Diagrams.</p> <p>1.10 Relationships Between UML Models.</p> <p>1.11 Summary.</p> <p><b>2 THE ROLE OF SEMANTICS (</b><i>Kevin Lano).</i></p> <p>2.1 Introduction.</p> <p>2.2 Different Semantic Approaches.</p> <p>2.3 Applications of Semantics.</p> <p>2.4 UML Semantics.</p> <p>2.5 Applications of Semantics to UML.</p> <p>2.6 Application of Semantics to the Use of UML.</p> <p>2.7 Summary.</p> <p><b>3 CONSIDERATIONS AND RATIONALE FOR A UML SYSTEM MODEL (</b><i>Manfred Broy, María Victoria Cengarle, Hans Grönniger, and Bernhard Rumpe).</i></p> <p>3.1 Introduction.</p> <p>3.2 General Approach to Semantics.</p> <p>3.3 Structuring the Semantics of UML.</p> <p>3.4 The Math Behind the System Model.</p> <p>3.5 What Is the System Model?</p> <p>3.6 Usage Scenarios.</p> <p>3.7 Concluding Remarks.</p> <p><b>4 DEFINITION OF THE SYSTEM MODEL (</b><i>Manfred Broy, María Victoria Cengarle, Hans Grönniger, and Bernhard Rumpe).</i></p> <p>4.1 Introduction.</p> <p>4.2 Notational Conventions.</p> <p>4.3 Static Part of the System Model.</p> <p>4.4 Control Part of the System Model.</p> <p>4.5 Messages and Events in the System Model.</p> <p>4.6 Object State.</p> <p>4.7 Event-Based Object Behavior.</p> <p>4.8 Timed Object Behavior.</p> <p>4.9 The System Model Definition.</p> <p>Appendix A.1 State Transition Systems.</p> <p>Appendix A.2 Timed State Transition Systems.</p> <p><b>5 FORMAL DESCRIPTIVE SEMANTICS OF UML AND ITS APPLICATIONS (</b><i>Hong Zhu, Lijun Shan, Ian Bayley, and Richard Amphlett).</i></p> <p>5.1 Introduction.</p> <p>5.2 Definition of Descriptive Semantics in FOPL.</p> <p>5.3 The LAMBDES Tool.</p> <p>5.4 Applications Using Model and Metamodel Analysis.</p> <p>5.5 Conclusions.</p> <p><b>6 AXIOMATIC SEMANTICS OF UML CLASS DIAGRAMS (</b><i>Kevin Lano).</i></p> <p>6.1 Introduction.</p> <p>6.2 Real-Time Action Logic.</p> <p>6.3 Semantics of Class Diagrams.</p> <p>6.4 Application of the Semantics.</p> <p>6.5 Related Work.</p> <p>6.6 Conclusions.</p> <p><b>7 OBJECT CONSTRAINT LANGUAGE: METAMODELING SEMANTICS (</b><i>Anneke Kleppe).</i></p> <p>7.1 Introduction.</p> <p>7.2 Metamodeling Semantics.</p> <p>7.3 OCL Semantics: Types and Values.</p> <p>7.4 OCL Semantics: Expressions and Evaluations.</p> <p>7.5 Summary and Conclusions.</p> <p><b>8 AXIOMATIC SEMANTICS OF STATE MACHINES (</b><i>Kevin Lano and David Clark).</i></p> <p>8.1 Introduction.</p> <p>8.2 State Machine Semantics.</p> <p>8.3 Extended State Machines.</p> <p>8.4 Semantics for Extended State Machines.</p> <p>8.5 Solutions for Semantic Problems.</p> <p>8.6 Structured Behavior State Machines.</p> <p>8.7 Related Work.</p> <p>8.8 Summary.</p> <p><b>9 INTERACTIONS (</b><i>María Victoria Cengarle, Alexander Knapp, and Heribert Mühlberger).</i></p> <p>9.1 Introduction.</p> <p>9.2 Trace-Based Semantics.</p> <p>9.3 Alternative Semantics.</p> <p>9.4 Implementation and Refinement.</p> <p>9.5 Verification and Validation.</p> <p><b>10 CO-ALGEBRAIC SEMANTIC FRAMEWORK FOR REASONING ABOUT INTERACTION DESIGNS (</b><i>Sun Meng and Luís S. Barbosa).</i></p> <p>10.1 Introduction.</p> <p>10.2 Why Co-algebras?</p> <p>10.3 A Semantics for UML Sequence Diagrams.</p> <p>10.4 New Sequence Diagrams from Old.</p> <p>10.5 Coercions and Designs.</p> <p>10.6 A Calculus for Interactions.</p> <p>10.7 Concluding Remarks.</p> <p><b>11 SEMANTICS OF ACTIVITY DIAGRAMS (</b><i>Kevin Lano).</i></p> <p>11.1 Introduction.</p> <p>11.2 Semantics of Structured Activities.</p> <p>11.3 Semantics of Intermediate Activities.</p> <p>11.4 Data Flow Semantics.</p> <p>11.5 Semantic Analysis.</p> <p>11.6 Related Work.</p> <p>11.7 Summary.</p> <p><b>12 VERIFICATION OF UML MODELS (</b><i>Kevin Lano).</i></p> <p>12.1 Introduction.</p> <p>12.2 Class Diagrams.</p> <p>12.3 State Machine Diagrams.</p> <p>12.4 Sequence Diagrams.</p> <p>12.5 Summary.</p> <p><b>13 DESIGN VERIFICATION WITH STATE INVARIANTS (</b><i>Emil Sekerinski).</i></p> <p>13.1 Introduction.</p> <p>13.2 Preliminaries.</p> <p>13.3 Statechart Structure.</p> <p>13.4 Configurations and Operations.</p> <p>13.5 State Invariant Verification.</p> <p>13.6 Accumulated Invariants.</p> <p>13.7 Verification Condition Generation.</p> <p>13.8 Priority Among Transitions.</p> <p>13.9 Conclusions.</p> <p><b>14 MODELTRANSFORMATION SPECIFICATION AND VERIFICATION (</b><i>Kevin Lano).</i></p> <p>14.1 Introduction.</p> <p>14.2 Categories of Model Transformation.</p> <p>14.3 Specification of Model Transformations.</p> <p>14.4 Refinement Transformations.</p> <p>14.5 Quality Improvement Transformations.</p> <p>14.6 Design Patterns.</p> <p>14.7 Enhancement Transformations.</p> <p>14.8 Implementation of Model Transformations.</p> <p>14.9 Summary.</p> <p><b>INDEX</b>.</p>

<b>Kevin Lano</b> is an Associate Professor in the Computer Science Department at King's College in London. He currently works on UML-RSDS: Reactive Systems Design Support where he runs the development of a method and toolset for system development using UML and MDA. Professor Lano is also an editor of the journal <i>Software and Systems Modeling</i>.

A coherent and integrated account of the leading UML 2 semantics work and the practical applications of UML semantics development <p>With contributions from leading experts in the field, the book begins with an introduction to UML and goes on to offer in-depth and up-to-date coverage of:</p> <ul> <li> <p>The role of semantics</p> </li> <li> <p>Considerations and rationale for a UML system model</p> </li> <li> <p>Definition of the UML system model</p> </li> <li> <p>UML descriptive semantics</p> </li> <li> <p>Axiomatic semantics of UML class diagrams</p> </li> <li> <p>The object constraint language</p> </li> <li> <p>Axiomatic semantics of state machines</p> </li> <li> <p>A coalgebraic semantic framework for reasoning about interaction designs</p> </li> <li> <p>Semantics of activity diagrams</p> </li> <li> <p>Verification of UML models</p> </li> <li> <p>State invariants</p> </li> <li> <p>Model transformation specification and verification</p> </li> </ul> <p>Additionally, readers are provided with expert guidance on how to resolve semantic problems and a section on applications of UML semantics with model analysis. <i>UML 2 Semantics and Applications</i> is an ideal resource for researchers and tool-builders working in UML, among others. It is also an excellent textbook for postgraduate teaching and research.</p>

US