UML 2 Semantics and Applications (eBook, PDF)
Redaktion: Lano, Kevin
Alle Infos zum eBook verschenken
Alle Infos zum eBook verschenken
UML 2 Semantics and Applications (eBook, PDF)
Redaktion: Lano, Kevin
- Format: PDF
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung

Hier können Sie sich einloggen

Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei bücher.de, um das eBook-Abo tolino select nutzen zu können.
A coherent and integrated account of the leading UML 2 semanticswork and the practical applications of UML semantics development With contributions from leading experts in the field, the bookbegins with an introduction to UML and goes on to offer in-depthand up-to-date coverage of: * The role of semantics * Considerations and rationale for a UML system model * Definition of the UML system model * UML descriptive semantics * Axiomatic semantics of UML class diagrams * The object constraint language * Axiomatic semantics of state machines * A coalgebraic semantic framework for reasoning about…mehr
- Geräte: PC
- mit Kopierschutz
- eBook Hilfe
- Größe: 2.62MB
- Pascal RoquesUML in Practice (eBook, PDF)27,99 €
- Frank BuschmannPattern-Oriented Software Architecture, Volume 5, On Patterns and Pattern Languages (eBook, PDF)32,99 €
- Amnon H. EdenCodecharts (eBook, PDF)82,99 €
- Peter FritzsonPrinciples of Object-Oriented Modeling and Simulation with Modelica 2.1 (eBook, PDF)107,99 €
- Avinash C. KakDesigning with Objects (eBook, PDF)67,99 €
- Steven KellyDomain-Specific Modeling (eBook, PDF)97,99 €
- Michael Jesse ChonolesUML 2 For Dummies (eBook, PDF)21,99 €
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
- Produktdetails
- Verlag: John Wiley & Sons
- Seitenzahl: 400
- Erscheinungstermin: 4. November 2009
- Englisch
- ISBN-13: 9780470522615
- Artikelnr.: 37296187
- Verlag: John Wiley & Sons
- Seitenzahl: 400
- Erscheinungstermin: 4. November 2009
- Englisch
- ISBN-13: 9780470522615
- Artikelnr.: 37296187
María Victoria Cengarle
Hans Grönniger
and Bernhard Rumpe). 3.1 Introduction. 3.2 General Approach to Semantics. 3.3 Structuring the Semantics of UML. 3.4 The Math Behind the System Model. 3.5 What Is the System Model? 3.6 Usage Scenarios. 3.7 Concluding Remarks. 4 DEFINITION OF THE SYSTEM MODEL (Manfred Broy
María Victoria Cengarle
Hans Grönniger
and Bernhard Rumpe). 4.1 Introduction. 4.2 Notational Conventions. 4.3 Static Part of the System Model. 4.4 Control Part of the System Model. 4.5 Messages and Events in the System Model. 4.6 Object State. 4.7 Event-Based Object Behavior. 4.8 Timed Object Behavior. 4.9 The System Model Definition. Appendix A.1 State Transition Systems. Appendix A.2 Timed State Transition Systems. 5 FORMAL DESCRIPTIVE SEMANTICS OF UML AND ITS APPLICATIONS (Hong Zhu
Lijun Shan
Ian Bayley
and Richard Amphlett). 5.1 Introduction. 5.2 Definition of Descriptive Semantics in FOPL. 5.3 The LAMBDES Tool. 5.4 Applications Using Model and Metamodel Analysis. 5.5 Conclusions. 6 AXIOMATIC SEMANTICS OF UML CLASS DIAGRAMS (Kevin Lano). 6.1 Introduction. 6.2 Real-Time Action Logic. 6.3 Semantics of Class Diagrams. 6.4 Application of the Semantics. 6.5 Related Work. 6.6 Conclusions. 7 OBJECT CONSTRAINT LANGUAGE: METAMODELING SEMANTICS (Anneke Kleppe). 7.1 Introduction. 7.2 Metamodeling Semantics. 7.3 OCL Semantics: Types and Values. 7.4 OCL Semantics: Expressions and Evaluations. 7.5 Summary and Conclusions. 8 AXIOMATIC SEMANTICS OF STATE MACHINES (Kevin Lano and David Clark). 8.1 Introduction. 8.2 State Machine Semantics. 8.3 Extended State Machines. 8.4 Semantics for Extended State Machines. 8.5 Solutions for Semantic Problems. 8.6 Structured Behavior State Machines. 8.7 Related Work. 8.8 Summary. 9 INTERACTIONS (María Victoria Cengarle
Alexander Knapp
and Heribert Mühlberger). 9.1 Introduction. 9.2 Trace-Based Semantics. 9.3 Alternative Semantics. 9.4 Implementation and Refinement. 9.5 Verification and Validation. 10 CO-ALGEBRAIC SEMANTIC FRAMEWORK FOR REASONING ABOUT INTERACTION DESIGNS (Sun Meng and Luís S. Barbosa). 10.1 Introduction. 10.2 Why Co-algebras? 10.3 A Semantics for UML Sequence Diagrams. 10.4 New Sequence Diagrams from Old. 10.5 Coercions and Designs. 10.6 A Calculus for Interactions. 10.7 Concluding Remarks. 11 SEMANTICS OF ACTIVITY DIAGRAMS (Kevin Lano). 11.1 Introduction. 11.2 Semantics of Structured Activities. 11.3 Semantics of Intermediate Activities. 11.4 Data Flow Semantics. 11.5 Semantic Analysis. 11.6 Related Work. 11.7 Summary. 12 VERIFICATION OF UML MODELS (Kevin Lano). 12.1 Introduction. 12.2 Class Diagrams. 12.3 State Machine Diagrams. 12.4 Sequence Diagrams. 12.5 Summary. 13 DESIGN VERIFICATION WITH STATE INVARIANTS (Emil Sekerinski). 13.1 Introduction. 13.2 Preliminaries. 13.3 Statechart Structure. 13.4 Configurations and Operations. 13.5 State Invariant Verification. 13.6 Accumulated Invariants. 13.7 Verification Condition Generation. 13.8 Priority Among Transitions. 13.9 Conclusions. 14 MODELTRANSFORMATION SPECIFICATION AND VERIFICATION (Kevin Lano). 14.1 Introduction. 14.2 Categories of Model Transformation. 14.3 Specification of Model Transformations. 14.4 Refinement Transformations. 14.5 Quality Improvement Transformations. 14.6 Design Patterns. 14.7 Enhancement Transformations. 14.8 Implementation of Model Transformations. 14.9 Summary. INDEX.
María Victoria Cengarle
Hans Grönniger
and Bernhard Rumpe). 3.1 Introduction. 3.2 General Approach to Semantics. 3.3 Structuring the Semantics of UML. 3.4 The Math Behind the System Model. 3.5 What Is the System Model? 3.6 Usage Scenarios. 3.7 Concluding Remarks. 4 DEFINITION OF THE SYSTEM MODEL (Manfred Broy
María Victoria Cengarle
Hans Grönniger
and Bernhard Rumpe). 4.1 Introduction. 4.2 Notational Conventions. 4.3 Static Part of the System Model. 4.4 Control Part of the System Model. 4.5 Messages and Events in the System Model. 4.6 Object State. 4.7 Event-Based Object Behavior. 4.8 Timed Object Behavior. 4.9 The System Model Definition. Appendix A.1 State Transition Systems. Appendix A.2 Timed State Transition Systems. 5 FORMAL DESCRIPTIVE SEMANTICS OF UML AND ITS APPLICATIONS (Hong Zhu
Lijun Shan
Ian Bayley
and Richard Amphlett). 5.1 Introduction. 5.2 Definition of Descriptive Semantics in FOPL. 5.3 The LAMBDES Tool. 5.4 Applications Using Model and Metamodel Analysis. 5.5 Conclusions. 6 AXIOMATIC SEMANTICS OF UML CLASS DIAGRAMS (Kevin Lano). 6.1 Introduction. 6.2 Real-Time Action Logic. 6.3 Semantics of Class Diagrams. 6.4 Application of the Semantics. 6.5 Related Work. 6.6 Conclusions. 7 OBJECT CONSTRAINT LANGUAGE: METAMODELING SEMANTICS (Anneke Kleppe). 7.1 Introduction. 7.2 Metamodeling Semantics. 7.3 OCL Semantics: Types and Values. 7.4 OCL Semantics: Expressions and Evaluations. 7.5 Summary and Conclusions. 8 AXIOMATIC SEMANTICS OF STATE MACHINES (Kevin Lano and David Clark). 8.1 Introduction. 8.2 State Machine Semantics. 8.3 Extended State Machines. 8.4 Semantics for Extended State Machines. 8.5 Solutions for Semantic Problems. 8.6 Structured Behavior State Machines. 8.7 Related Work. 8.8 Summary. 9 INTERACTIONS (María Victoria Cengarle
Alexander Knapp
and Heribert Mühlberger). 9.1 Introduction. 9.2 Trace-Based Semantics. 9.3 Alternative Semantics. 9.4 Implementation and Refinement. 9.5 Verification and Validation. 10 CO-ALGEBRAIC SEMANTIC FRAMEWORK FOR REASONING ABOUT INTERACTION DESIGNS (Sun Meng and Luís S. Barbosa). 10.1 Introduction. 10.2 Why Co-algebras? 10.3 A Semantics for UML Sequence Diagrams. 10.4 New Sequence Diagrams from Old. 10.5 Coercions and Designs. 10.6 A Calculus for Interactions. 10.7 Concluding Remarks. 11 SEMANTICS OF ACTIVITY DIAGRAMS (Kevin Lano). 11.1 Introduction. 11.2 Semantics of Structured Activities. 11.3 Semantics of Intermediate Activities. 11.4 Data Flow Semantics. 11.5 Semantic Analysis. 11.6 Related Work. 11.7 Summary. 12 VERIFICATION OF UML MODELS (Kevin Lano). 12.1 Introduction. 12.2 Class Diagrams. 12.3 State Machine Diagrams. 12.4 Sequence Diagrams. 12.5 Summary. 13 DESIGN VERIFICATION WITH STATE INVARIANTS (Emil Sekerinski). 13.1 Introduction. 13.2 Preliminaries. 13.3 Statechart Structure. 13.4 Configurations and Operations. 13.5 State Invariant Verification. 13.6 Accumulated Invariants. 13.7 Verification Condition Generation. 13.8 Priority Among Transitions. 13.9 Conclusions. 14 MODELTRANSFORMATION SPECIFICATION AND VERIFICATION (Kevin Lano). 14.1 Introduction. 14.2 Categories of Model Transformation. 14.3 Specification of Model Transformations. 14.4 Refinement Transformations. 14.5 Quality Improvement Transformations. 14.6 Design Patterns. 14.7 Enhancement Transformations. 14.8 Implementation of Model Transformations. 14.9 Summary. INDEX.