Executable UML : a foundation for model driven architecture A Foundation for Model-Driven Architecture Addison-Wesley Object Technology Series
Auteurs : Mellor Stephen, Balcer Marc
Directeur de Collection : Elizabeth Ryan
- How to create UML models that can be executed, tested, and verified.
- xUML extensions, code generation, translation, testing, deployment, and more.
- Cutting-edge techniques from Stephen J. Mellor, one of the worlds leading methodologists.
Stephen J. Mellor Senior Vice President of Project Technology, Inc., is best known for his contributions to the development of object-oriented analysis, recursive design, and the Shlaer-Mellor Method. He is author of Structured Development for Real-Time Systems: Implementation Modeling Techniques, co-author of Object-Oriented Systems Analysis: Modeling the World in Data, and co-author of Object Lifecycles: Modeling the World in States. Marc Balcer, Project Manager for ThoughtWorks, manages development projects intended to push the technology envelope and transform clients businesses. He formerly worked with Sally Shlaer and Stephen Mellor to perform advanced O-O analysis and development, and to develop and teach courses on the subject.
Preface.
Acknowledgements.
1. Introduction.
Executable UML.
Making UML Executable.
Model Compilers.
Model-Driven Architecture.
References.
2. Using Executable UML.
Use Cases.
Iterating the System Model.
Modeling a Single Domain.
State Machines.
State Procedures.
Iterating the Domain Models.
Iterating between System and Domain Modeling.
Verification and Execution.
Model Compilation.
Iterating Verification and Execution.
The Big Picture.
References.
3. Domains and Bridges.
Domain Autonomy.
Domain Replacement.
Domains and Requirements.
Bridges.
Aspects and Join Points.
Domains and Aspects.
4. Use Cases.
Use Cases.
External Signals.
Levels of Use Cases.
Activity Diagrams.
Reusing Use Cases.
Formalizing Use Cases.
Postconditions.
Linked Use Cases.
Scenarios and Testing.
System Modeling.
References.
5. Classes and Attributes.
Naming Classes.
Attributes.
Attribute Types.
Domain-Specific Types.
Using Types.
Documenting Classes.
Class Descriptions.
Attribute Descriptions.
Checking Classes and Attributes.
Abstraction Checks.
Attribute Checks.
Rules, Rules, Rules.
References.
6. Relationships and Associations.
Association Meanings.
Multiplicity.
Association Descriptions.
Checking Associations.
Capturing the Correct Classes and Roles.
Multiple Associations.
Association Classes.
Generalization and Specialization.
Mutual Exclusion and its Implications.
Repeated Specialization.
Multiple Specialization.
Reflexive Associations.
The Class Model.
References.
7. Class Actions.
Selection Expressions.
Link Actions.
Link Object Actions.
Specialization Hierarchies.
Other Action Languages.
TALL.
Actions and Syntax.
References.
8. Constraints.
Multiple Attribute Identifiers.
Multiple Identifiers.
Derived Attributes.
Referential Constraints.
Derived Identifiers.
Association Loops.
Redundant Associations.
Equal Set Associations.
Subset Constraints.
Constraints Capture Semantics.
References.
9. Lifecycles.
State Machine.
States.
Events.
Transitions.
Procedures.
State Transition Table.
Discovering New Transitions.
Discovering New States and Events.
Event Ignored and Cant Happen.
Creating and Deleting objects.
Final Pseudostates.
Forming Lifecycles.
Lifecycles for Classes.
10. Communicat
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 consultant with fifteen years of experience in providing custom application development services to Global 1000 companies. In 1991 he began his collaboration with Stephen J. 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.
The definitive guide to Executable UML: the next breakthrough in software modeling!
- How to create UML models that can be executed, tested, and verified.
- xUML extensions, code generation, translation, testing, deployment, and more.
- Cutting-edge techniques from Stephen J. Mellor, one of the world's leading methodologists.
Date de parution : 05-2002
Ouvrage de 352 p.
19x23 cm