Executable UML (häftad)
Format
Häftad (Paperback)
Språk
Engelska
Antal sidor
416
Utgivningsdatum
2002-05-01
Upplaga
1
Förlag
Addison-Wesley
Medarbetare
Elizabeth Ryan / Mellor, Stephen / Balcer, Marc
Illustratör/Fotograf
illustrations
Illustrationer
Ill.
Dimensioner
241 x 192 x 31 mm
Vikt
700 g
Antal komponenter
1
ISBN
9780201748048

Executable UML

A Foundation for Model-Driven Architecture

Häftad,  Engelska, 2002-05-01

Slutsåld

Executable UML is a major innovation in the field of software development. It is designed to produce a comprehensive and understandable model of a solution independent of the organization of the software implementation. It is a highly abstract thinking tool that aids in the formalization of knowledge, and is also a way of describing the concepts that make up abstract solutions to software development problems.

This timely new book, Executable UML: A Foundation for Model-Driven Architecture, thoroughly introduces, documents, and explains this important new technology. The authors show how UML can formalize requirements and use cases into a rich set of verifiable diagrams, how it can be used to produce executable and testable models, and how these models can be translated directly into code. In addition, the book explains how individual system domains are woven together by an executable UML model compiler.

The book is full of tips and techniques to help you:
  • Partition a system into subject matters based on individual aspects
  • Pick the right level for use case modeling to speed subject matter comprehension
  • Model classes and focus on relationships to capture subject matter semantics precisely
  • Express behavior using the newly adopted UML action semantics and action languages
  • Specify constraints using tags specified in OCL (Object Constraint Language)
In addition, this book tackles topics of particular importance in execution, such as how to:
  • Synchronize objects by building lifecycles using statechart diagrams
  • Model relationships and contention safely
  • Distribute dynamics to avoid unmaintainable controller objects
  • Verify the models by executing test cases against the statechart diagrams and constraints
A large-scale, fully developed case study runs throughout the book to illustrate concepts and techniques. These models, plus tools to translate and run Executable UML models, can be downloaded from the book's websites, www.executableumlbook.com and www.projtech.com.

0201748045B05092002
Visa hela texten

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Övrig information

Stephen J. Mellor is cofounder of Project Technology, Inc., a company focused on tools to execute and translate UML models, where he now serves as vice president. He chaired the UML Action Semantics Consortium, and is now active in specifying MDA. In his copious spare time, he is a member of the IEEE Software Industrial Advisory Board. Marc J. Balcer is a project manager with ThoughtWorks, a leading provider of custom application development services to Global 1000 companies. In 1991 he began his collaboration with Stephen Mellor and the late Sally Shlaer, and he now applies the techniques on client projects in such diverse areas as medical instrumentation, transportation logistics, telecommunications, and financial services. 0201748045AB03282002

Innehållsförteckning



Foreword.


Preface.


Acknowledgments.


1. Introduction.

Raising the Level of Abstraction.

Executable UML.

Making UML Executable.

Model Compilers.

Model-Driven Architecture.

References.



2. Using Executable UML.

The System Model.

Domain Identification.

Use Cases.

Iterating the System Model.

Modeling a Single Domain.

Classes.

State Machines.

Procedures.

Iterating the Domain Models.

Iterating between System and Domain Modeling.

Verification and Execution.

Model Verification.

Model Compilation.

Iterating Verification and Execution.

The Big Picture.

References.



3. Domains and Bridges.

Domains.

Domain Missions.

Domain Autonomy.

Domain Replacement.

Domains and Requirements.

Bridges.

Aspects and Join Points.

Domains and Aspects.

References.



4. Use Cases.

Basics of Use Cases.

Actors.

Use Cases.

External Signals.

Working with Use Cases.

Single-Domain Use Cases.

Levels of Use Cases.

Applying Use Cases.

Activity Diagrams.

Formalizing Use Cases.

Preconditions.

Postconditions.

Linked Use Cases.

Scenarios and Testing.

System Modeling.

References.



5. Classes and Attributes.

Classes.

Finding Classes.

Naming Classes.

Attributes.

Finding Attributes.

Attribute Data Types.

Core Data Types.

Domain-Specific Data Types.

Using Types.

Documenting Classes and Attributes.

Diagramming Classes and Attributes.

Class Descriptions.

Attribute Descriptions.

Checking Classes and Attributes.

Subject-Matter Check.

Abstraction Checks.

Attribute Checks.

Rules, Rules, Rules.

References.



6. Relationships and Associations.

Associations.

Association Names.

Association Meanings.

Multiplicity.

Association Descriptions.

Checking Associations.

Conditionality.

Capturing the Correct Classes and Roles.

Multiple Associations.

Association Classes.

Generalization and Specialization.

The Concept of Generalization and Specialization.

Mu...