Models@run.time

1. Front Matter

   PDF

2. Roadmap Chapters

   1. A Reference Architecture and Roadmap for Models@run.time Systems

      • Uwe Aßmann, Sebastian Götz, Jean-Marc Jézéquel, Brice Morin, Mario Trapp

      Pages 1-18

   2. Mechanisms for Leveraging Models at Runtime in Self-adaptive Software

      • Amel Bennaceur, Robert France, Giordano Tamburrelli, Thomas Vogel, Pieter J. Mosterman, Walter Cazzola et al.

      Pages 19-46

   3. Living with Uncertainty in the Age of Runtime Models

      • Holger Giese, Nelly Bencomo, Liliana Pasquale, Andres J. Ramirez, Paola Inverardi, Sebastian Wätzoldt et al.

      Pages 47-100

   4. Using Models at Runtime to Address Assurance for Self-Adaptive Systems

      • Betty H. C. Cheng, Kerstin I. Eder, Martin Gogolla, Lars Grunske, Marin Litoiu, Hausi A. Müller et al.

      Pages 101-136

3. Normal Chapters

   1. Model-driven, Moving-Target Defense for Enterprise Network Security

      • Scott A. DeLoach, Xinming Ou, Rui Zhuang, Su Zhang

      Pages 137-161

   2. ModelLAND: Where Do Models Come from?

      • Marco Autili, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli

      Pages 162-187

   3. From Model-Driven Software Development Processes to Problem Diagnoses at Runtime

      • Yijun Yu, Thein Than Tun, Arosha K. Bandara, Tian Zhang, Bashar Nuseibeh

      Pages 188-207

   4. Research Challenges for Business Process Models at Run-Time

      • David Redlich, Gordon Blair, Awais Rashid, Thomas Molka, Wasif Gilani

      Pages 208-236

   5. Fine-Grained Semi-automated Runtime Evolution

      • Walter Cazzola, Nicole Alicia Rossini, Phillipa Bennett, Sai Pradeep Mandalaparty, Robert France

      Pages 237-258

   6. Evolution as ≪Reflections on the Design≫

      • Walter Cazzola

      Pages 259-278

   7. Safety Assurance of Open Adaptive Systems – A Survey

      • Mario Trapp, Daniel Schneider

      Pages 279-318

4. Back Matter

   PDF

Traditionally, research on model-driven engineering (MDE) has mainly focused on the use of models at the design, implementation, and verification stages of development. This work has produced relatively mature techniques and tools that are currently being used in industry and academia. However, software models also have the potential to be used at runtime, to monitor and verify particular aspects of runtime behavior, and to implement self-* capabilities (e.g., adaptation technologies used in self-healing, self-managing, self-optimizing systems). A key benefit of using models at runtime is that they can provide a richer semantic base for runtime decision-making related to runtime system concerns associated with autonomic and adaptive systems. This book is one of the outcomes of the Dagstuhl Seminar 11481 on models@run.time held in November/December 2011, discussing foundations, techniques, mechanisms, state of the art, research challenges, and applications for the use of runtime models. The book comprises four research roadmaps, written by the original participants of the Dagstuhl Seminar over the course of two years following the seminar, and seven research papers from experts in the area. The roadmap papers provide insights to key features of the use of runtime models and identify the following research challenges: the need for a reference architecture, uncertainty tackled by runtime models, mechanisms for leveraging runtime models for self-adaptive software, and the use of models at runtime to address assurance for self-adaptive systems.

• MDE
• MDSD
• applied computing
• assurance techniques
• enterprise computing
• model-driven engineering
• model-driven software development
• process modeling
• reference architecture
• reference models
• runtime models
• security
• self-adaptive software
• self-adaptive systems
• software creation and management
• software engineering
• software extra-functional properties
• software safety
• software system models
• uncertainty

• School of Engineering and Applied Science, Aston University, Birmingham, UK

  Nelly Bencomo

• Department of Computer Science, Colorado State University, Fort Collins, USA

  Robert France

• Department of Computer Science and Engineering, Michigan State University, East Lansing, USA

  Betty H. C. Cheng

• Institut für Software- und Multimediatechnik, Technische Universität Dresden, Dresden, Germany

  Uwe Aßmann

Policies and ethics