This repository contains the simulation code to replicate the results of the experimantation of the paper "A Reasoning Framework for Decentralized Control in Large-scale Self-Adaptive Systems"
To replicate the experimental results of the paper download and import in your JAVA IDE the relative project:
- ITS.zip - Intelligent Transportation System case study
- SPG.zip - Smart Power Grid case study
- CC.zip - Cloud Computing case study
DECOR (DEcentralized COntrol Reasoning framework) is a Model-Driven Engineering framework supporting the development and evaluation of decentralized self-adaptive systems; DECOR defines a rigorous process supporting the design and evaluation of decentralized control architectures. DECOR is implemented as an Eclipse plugin, and is based on the Eclipse Modeling Framework and the Graphical Modeling Project.
Given a managed system to control, DECOR allows engineers to design a control architecture by specifying the set of MAPE-K components and their interactions or, as an alternative, by leveraging the ready-to-use control patterns.
Rapresentation of patterns in the literature:
How a pattern is designed in the tool:
Pattern in action during co-simulation:
Designing decentralized control architectures in self-adaptive systems constitutes a design challenge. In fact, in large and distributed systems software engineers are faced with the problem of how to effectively design self-adaptive control schemes that timely performs (i.e., timeliness) the correct adaptations (i.e., correctness), while guaranteeing the managed systems behaviors (i.e., assurances). Since complex, dynamic and adaptive systems are characterized by multiple design dimensions, finding the right solution for the problem might be extremely challenging, as with increase system complexity the solution space might explode.
In this context, the main research question that we this framework aims at tackling is: How to design, evaluate and compare different control architectures and select the best candidate for a given system?
We are working hard to realease the first version of DECOR Eclipse Plugin. At the moment, if you want to use DECOR, you must import the tool and use it as a developer. The installation procedure is not straightfoward as the installation of an Eclipse Plugin, but it is not hard. Follow these steps:
-
Before downloading the tool install the following software inside Eclipse (Help -> Install new Software)
- Eclipse Modeling Framework (EMF)
- Graphical Modeling Project (GMP) - SDK v1.12.2
- Graphical Modeling Project (GMP) - Tooling
- OCL Classic SDK
- OCL Examples and Editors
Alternatively, you can download all these tools by importing the "eclipse_DECOR_CME_installation.p2f" installation file in Eclipse (File -> Import -> Install -> Install Software Items From File). Install all the listed elements, switch on the option "contact all update sites during install to find required software" and switch off the option "install latest version of selected software".
-
Download the sources of the tool from the top of this page (mi-da-DECOR-CME.zip)
-
Extract the files in a desired location
-
Import the following projects as existing projects into the workspace
- se.lnu.decentralizedPattern
- se.lnu.decentralizedPattern.diagram
- se.lnu.decentralizedPattern.edit
-
Launch the runtime workspace: se.lnu.decentralizedPattern.diagram -> Run As -> Eclipse Application
-
In the runtime workspace created after launching the environment import the project in the file "simulation.zip"
- DECOR