You are previewing Progressions and Innovations in Model-Driven Software Engineering.
O'Reilly logo
Progressions and Innovations in Model-Driven Software Engineering

Book Description

Users increasingly demand more from their software than ever before—more features, fewer errors, faster runtimes. To deliver the best quality products possible, software engineers are constantly in the process of employing novel tools in developing the latest software applications. Progressions and Innovations in Model-Driven Software Engineering investigates the most recent and relevant research on model-driven engineering. Within its pages, researchers and professionals in the field of software development, as well as academics and students of computer science, will find an up-to-date discussion of scientific literature on the topic, identifying opportunities and advantages, and complexities and challenges, inherent in the future of software engineering.

Table of Contents

  1. Cover
  2. Title Page
  3. Copyright Page
  4. Book Series
  5. Editorial Advisory Board and List of Reviewers
    1. Editorial Advisory Board
    2. List of Reviewers
  6. Foreword
  7. Preface
  8. Acknowledgment
  9. Chapter 1: High-Integrity Model-Based Development
    1. ABSTRACT
    2. INTRODUCTION
    3. BACKGROUND
    4. SATISFYING DO-178C FOR MODEL-BASED DEVELOPMENT
    5. FORMALISATION OF UML AND OCL
    6. CASE STUDY
    7. IMPLEMENTATION
    8. MODEL TRANSFORMATIONS
    9. EVALUATION
    10. RELATED WORK
    11. CONCLUSION
  10. Chapter 2: UML-Driven Software Performance Engineering
    1. ABSTRACT
    2. 1. INTRODUCTION
    3. 2. BACKGROUND AND RELATED WORK
    4. 3. RESEARCH METHOD
    5. 4. ARTICLE SELECTION
    6. 5. DEVELOPMENT OF THE SYSTEMATIC MAP (CLASSIFICATION SCHEME)
    7. 7. RESULTS OF SYSTEMATIC MAPPING (RQ 1)
    8. 8. TRENDS, BIBLIOMETRICS, AND DEMOGRAPHICS (RQ 2)
    9. 9. DISCUSSIONS
    10. 10. CONCLUSION AND FUTURE WORK
  11. Chapter 3: EXTREME
    1. ABSTRACT
    2. INTRODUCTION
    3. GOAL MODELLING
    4. PROTOCOL MODELLING
    5. PROTOCOL MODEL CORRESPONDING TO THE GOAL MODEL
    6. ENABLING LOCAL REASONING ON PARTS OF THE MODEL ABOUT THE BEHAVIOR OF THE WHOLE
    7. FUTURE RESEARCH DIRECTIONS
    8. CONCLUSION
    9. APPENDIX
  12. Chapter 4: Ptolemaic Metamodelling?
    1. ABSTRACT
    2. 1. INTRODUCTION
    3. 2. DRAWING PARALLELS WITH HISTORY
    4. 3. EVOLUTION: ADDITION OF SAFETY HARNESSES IN MODELLING
    5. 4. REVOLUTION: MAKE LANGUAGE USE NOT MODELS THE FOCUS
    6. 5. CONCLUSION: FUTURE NEEDS
  13. Chapter 5: Runtime Integration Capability for Distributed Model Driven Applications
    1. ABSTRACT
    2. INTRODUCTION
    3. BACKGROUND
    4. DISTRIBUTED EXECUTION IN META-DATA EIS APPLICATIONS
    5. FUTURE RESEARCH DIRECTIONS
    6. CONCLUSION
  14. Chapter 6: CMF
    1. ABSTRACT
    2. INTRODUCTION
    3. BACKGROUND
    4. TAILORING A DSML FOR CROP MODELLING
    5. FUTURE RESEARCH DIRECTIONS
    6. CONCLUSION
  15. Chapter 7: Model-Driven Engineering for Electronic Commerce
    1. ABSTRACT
    2. INTRODUCTION
    3. BACKGROUND
    4. METAMODEL OF PROCESSES ELECTRONIC COMMERCE
    5. STUDY OF E-COMMERCE PLATFORMS
    6. DEFINING SEMANTICS PROCESS INDEPENDENT OF THE PLATFORM
    7. DEVELOPMENT TOOLS METAMODEL
    8. CONSTRUCTION OF THE DSL MODEL
    9. FUTURE RESEARCH DIRECTIONS
    10. CONCLUSION
  16. Chapter 8: Process for the Validation of System Architectures against Requirements
    1. ABSTRACT
    2. MOTIVATION
    3. DESCRIPTION OF THE VALIDATION PROCESS
    4. EXAMPLE OF USE
    5. SUPPORT TOOL
    6. CONCLUSION
  17. Chapter 9: Demystifying Domain Specific Languages
    1. ABSTRACT
    2. INTRODUCTION
    3. BACKGROUND
    4. 1. WHAT IS A DSL?
    5. 2. TYPES OF DSLS
    6. 3. DSL DEVELOPMENT TOOLS
    7. 4. INDUSTRY STANDARDS
    8. 5. DSL DEVELOPMENT PROCESS
    9. 6. SUMMARY
  18. Chapter 10: A Model-Based Approach to Aligning Business Goals with Enterprise Architecture
    1. ABSTRACT
    2. INTRODUCTION
    3. BACKGROUND
    4. LEAP
    5. IMPLEMENTATION
    6. CASE STUDY
    7. FUTURE RESEARCH DIRECTIONS
    8. CONCLUSION
  19. Chapter 11: Towards Public Services and Process Integration
    1. ABSTRACT
    2. INTRODUCTION
    3. BACKGROUND
    4. DOMAIN SPECIFIC PROCESS-SERVICE MODELING INTEGRATION
    5. FUTURE RESEARCH DIRECTIONS
    6. CONCLUSION
  20. Chapter 12: Architecture-Driven Modernization for Software Reverse Engineering Technologies
    1. ABSTRACT
    2. INTRODUCTION
    3. BACKGROUND
    4. A FRAMEWORK FOR ADM-BASED REVERSE ENGINEERING
    5. SPECIFYING REVERSE ENGINEERING IN ADM
    6. STUDY CASE: SPECIFYING REVERSE ENGINEERING OF USE CASES
    7. FUTURE RESEARCH DIRECTIONS
    8. CONCLUSION
  21. Chapter 13: Adaptive Software based on Correct-by-Construction Metamodels
    1. ABSTRACT
    2. INTRODUCTION
    3. BACKGROUND
    4. PROVEN METAMODEL KERNEL FOR UML
    5. EXAMPLE
    6. RELATED WORK
    7. CONCLUSION
  22. Compilation of References
  23. About the Contributors