Table of Contents. Preface...viii. Acknowledgment... xiv. Section 1 Basics

Transcription

1 Table of Contents Preface...viii Acknowledgment... xiv Section 1 Basics Chapter 1 Reverse Engineering and MDA: An Introduction... 1 Introduction... 1 Reverse Engineering in the Last 20 Years... 4 Reverse Engineering and MDA... 6 References Chapter 2 Model Driven Architecture (MDA) Introduction The Basic Concepts UML Metamodel The Meta Object Facility (MOF) Four-Layer Architecture Profiles vs. Metamodels References Chapter 3 MDA, Metamodeling and Transformation Introduction MOF Constructs Examples Common Concepts on Transformations References... 47

2 Section 2 Formalization of MOF-Based Processes Chapter 4 Formalization of MOF-Based Metamodels Introduction Object-Orientation, Metamodeling and Formal Languages MDA Infrastructure NEREUS: A Metamodeling Language Example 4-1: OCL Collections in NEREUS Example 4-2: Bidirectional Associations in NEREUS Example 4-3: Aggregation/Composition in NEREUS Example 4-4: State Diagram Metamodel Example 4-5: QVT Core Formalization References Chapter 5 MOF-Metamodels and Formal Languages A Bridge Between MOF-Metamodels and NEREUS Transformation of Associations Transformation of OCL Specification into NEREUS Example 5-1: Class Diagram Specified in OCL References Chapter 6 Mappings of MOF Metamodels and Algebraic Languages Introduction Translating Basic Specifications Translating Associations Example 6-1: Translating P&M Class Diagram into CASL References Chapter 7 Mappings of MOF Metamodels and Object-Oriented Languages Introduction Mapping Classes and Associations Constructing Object-Oriented Contracts and Implementations References

3 Section 3 Techniques Underlying MDA-Based Reverse Engineering Chapter 8 Software Evolution, MDA and Design Pattern Components Introduction Related Work A Megamodel for Defining MDA Reusable Components Specifying MDA Design Pattern Components The Observer Component PIM-Metamodel of the Observer Pattern PSM-Metamodel of the Observer Pattern ISM-Metamodel of the Observer Pattern Specifying Metamodel-Based Transformations Formalization of Megamodel Instances References Chapter 9 Evolution of Models and MDA-Based Refactoring Introduction Related Work MDA-Based Refactoring Specifying MDA Refactoring Refactoring at Metamodel Level Refactoring at Model Level Refactoring at Formal Language Level Example 9-1: State Machine Diagram Refactoring References Chapter 10 MDA-Based Object-Oriented Reverse Engineering Introduction Related Work CASE Tools A Framework for Reverse Engineering Code-to-Model Transformations Code-to-Model Transformations: The Bases for Recovering Class Diagram Code-to-Model Transformations: The Bases for Recovering State Diagram MOF-Based Formalization: Reverse Engineering UML Class Diagram MOF-Based Formalization: Reverse Engineering UML State Diagram Specifying Anti-Refinements in NEREUS References

4 Section 4 Conclusions Chapter 11 Summing Up the Parts Reverse Engineering: A Different Point of View Challenges on MDA-Based Reverse Engineering Chapter 12 Towards MDA Software Evolution Introduction Challenges on MDA-Based Software Evolution References Section 5 Selected Readings Chapter 13 Foundations for MDA Case Tools Liliana Favre, Universidad Nacional del Centro de la Pcia. de Buenos Aires, Argentina Claudia Teresa Pereira, Universidad Nacional del Centro de la Pcia. de Buenos Aires, Argentina Liliana Inés Martinez, Universidad Nacional del Centro de la Pcia. de Buenos Aires, Argentina Chapter 14 A Rigorous Framework for Model-Driven Development Liliana Favre, Universidad Nacional del Centro de la Provincia de Buenos Aires, Argentina Section 6 Appendices Appendix A Platform Specific Metamodels and Language Metamodels A.1. PSM Metamodel: Eiffel Platform A.2. PSM Metamodel: Java Platform A.3. ISM Metamodel: Eiffel Language A.4. ISM Metamodel: Java Language A.5. ISM Metamodel: C++ Language

5 Appendix B OCL and NEREUS: Type System B.1. Primitive Types B.2. Collection Types B.3. Enumeration Signature B.4. Type Constructors Appendix C Transformation Rule System The Object Constraint Language: An Overview From OCL to NEREUS: A System of Transformation Rules Appendix D Design Pattern Metamodels D.1. Eiffel PSM Observer Metamodel D.2. Java PSM Observer Metamodel D.3. Java ISM Observer Metamodel About the Author Index