Abstract:In the last few years, Model Driven Development (MDD), Component-based Software Development (CBSD), and context-oriented software have become interesting alternatives for the design and construction of self-adaptive software systems. In general, the ultimate goal of these technologies is to be able to reduce development costs and effort, while improving the modularity, flexibility, adaptability, and reliability of software systems. An analysis of these technologies shows them all to include the principle of the separation of concerns, and their further integration is a key factor to obtaining high-quality and self-adaptable software systems. Each technology identifies different concerns and deals with them separately in order to specify the design of the self-adaptive applications, and, at the same time, support software with adaptability and context-awareness. This research studies the development methodologies that employ the principles of model-driven development in building self-adaptive software systems. To this aim, this article proposes an evaluation framework for analysing and evaluating the features of model-driven approaches and their ability to support software with self-adaptability and dependability in highly dynamic contextual environment. Such evaluation framework can facilitate the software developers on selecting a development methodology that suits their software requirements and reduces the development effort of building self-adaptive software systems. This study highlights the major drawbacks of the propped model-driven approaches in the related works, and emphasise on considering the volatile aspects of self-adaptive software in the analysis, design and implementation phases of the development methodologies. In addition, we argue that the development methodologies should leave the selection of modelling languages and modelling tools to the software developers.

Automated Analysis, Validation and Suboptimal Code Detection in Model Management Programs.

Computation platform for automatic analysis of embedded software systems using model based approach

Learning Probabilistic Models for Model Checking: an Evolutionary Approach and an Empirical Study

A Framework for Evaluating Model-Driven Self-adaptive Software Systems

A model-based framework for platform management in Cloud.

Linking Design Model with Code.

Applying MDE Tools at Runtime: Experiments Upon Runtime Models

Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development

Verification and Validation Approaches for Model-Based Software Engineering

Automated Transformation of UML/SysML Behavioral Diagrams for Stochastic Error Propagation Analysis of Autonomous Systems

Modeling the obsolescence of models

Synergy of Large Language Model and Model Driven Engineering for Automated Development of Centralized Vehicular Systems

Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems

Execution of Partial State Machine Models

Easing Maintenance of Academic Static Analyzers

Towards Code Generation from Design Models.

A Module-System Discipline for Model-Driven Software Development

EUnit: A Unit Testing Framework for Model Management Tasks

A knowledge-based system for quality analysis in model-based design

An MDE-based Method for Bridging Different Design Notations

A MDE Based Approach for Bridging Formal Models