-
Article
Open AccessModel-based fleet deployment in the IoT–edge–cloud continuum
With the increasing computing and networking capabilities, IoT devices and edge gateways have become part of a larger IoT–edge–cloud computing continuum, where processing and storage tasks are distributed acro...
-
Article
Open AccessEvaluating robustness of cloud-based systems
Various services are now available in the Cloud, ranging from turnkey databases and application servers to high-level services such as continuous integration or source version control. To stand out of this div...
-
Chapter and Conference Paper
A Technique for Agile and Automatic Interaction Testing for Product Lines
Product line developers must ensure that existing and new features work in all products. Adding to or changing a product line might break some of its features. In this paper, we present a technique for automat...
-
Chapter and Conference Paper
Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines
Combinatorial interaction testing is an approach for testing product lines. A set of products to test can be set up from the covering array generated from a feature model. The products occurring in a partial c...
-
Chapter and Conference Paper
Standardizing Variability – Challenges and Solutions
Any modeling language can be said to model variability, but our concern is how variability can be expressed generically and thus be standardized on its own and not as an add-on or profile to other languages. I...
-
Chapter and Conference Paper
Summary of the 5th International Workshop on Models@run.time
The 5th edition of the workshop Models@run.time was held at the 13th International Conference MODELS. The workshop took place in the exciting city of Oslo, Norway, on the 5th of October 2010. The workshop was ...
-
Chapter and Conference Paper
Aspect-Oriented Model Development at Different Levels of Abstraction
The last decade has seen the development of diverse aspect-oriented modeling (AOM) approaches. This paper presents eight different AOM approaches that produce models at different level of abstraction. The appr...
-
Chapter and Conference Paper
MDE to Manage Communications with and between Resource-Constrained Systems
With the emergence of Internet of Things (IoT), many things which typically used to be isolated or operated in small local networks, will be interconnected through the Internet. One main challenge to tackle in...
-
Chapter and Conference Paper
Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible
Feature models and associated feature diagrams allow modeling and visualizing the constraints leading to the valid products of a product line. In terms of their expressiveness, feature diagrams are equivalent ...
-
Chapter
Modelling Service Requirements Variability: The DiVA Way
This chapter tackles the challenges of variability identification, modelling and implementation for service-based systems. The DiVA methodology is applied to the Mobile Phone Service Portability case-study to ...
-
Chapter
Model Driven Language Engineering with Kermeta
In many domains such as telecom, aerospace and automotive industries, engineers rely on Domain Specific Modeling Languages (DSML) to solve the complex issues of engineering safety critical software. Traditiona...
-
Chapter and Conference Paper
Develo** a Software Product Line for Train Control: A Case Study of CVL
This paper presents a case study of creating a software product line for the train signaling domain. The Train Control Language (TCL) is a DSL which automates the production of source code for computers contro...
-
Chapter
Aspect-Oriented Design with Reusable Aspect Models
The idea behind Aspect-Oriented Modeling (AOM) is to apply aspect-oriented techniques to (software) models with the aim of modularizing crosscutting concerns. This can be done within different modeling notations,...
-
Article
Qualifying input test data for model transformations
Model transformation is a core mechanism for model-driven engineering (MDE). Writing complex model transformations is error-prone, and efficient testing techniques are required as for any complex program devel...
-
Chapter and Conference Paper
Modeling and Validating Dynamic Adaptation
This paper discusses preliminary work on modeling and validation dynamic adaptation. The proposed approach is on the use of aspect-oriented modeling (AOM) and models at runtime. Our approach covers design and ...
-
Chapter and Conference Paper
Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Execution
One major advantage of executable software process models is that once defined, they can be simulated, checked and validated in short incremental and iterative cycles. This also makes them a powerful asset for...
-
Chapter and Conference Paper
A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems
Constructing and executing distributed systems that can automatically adapt to the dynamic changes of the environment are highly complex tasks. Non-trivial challenges include provisioning of efficient design t...
-
Article
Model-driven analysis and synthesis of textual concrete syntax
Meta-modeling is raising more and more interest in the field of language engineering. While this approach is now well understood for defining abstract syntaxes, formally defining textual concrete syntaxes with...
-
Chapter and Conference Paper
A Generic Approach for Automatic Model Composition
Analyzing and modelling a software system with separate views is a good practice to deal with complexity and maintainability. When adopting such a modular approach for modelling, it is necessary to have the ab...
-
Chapter and Conference Paper
A Model-Based Framework for Security Policy Specification, Deployment and Testing
In this paper, we propose a model-driven approach for specifying, deploying and testing security policies in Java applications. First, a security policy is specified independently of the underlying access cont...
