Cristin-resultat-ID: 1272181
Sist endret: 24. september 2015, 20:21
Resultat
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2009

A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems

Bidragsytere:
  • Franck Fleurey og
  • Arnor Solberg

Bok

Om resultatet

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Publiseringsår: 2009
Sider: 606 - 621
ISBN:
  • 9783642044243

Importkilder

SINTEF AS-ID: S14773

Beskrivelse Beskrivelse

Tittel

A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems

Sammendrag

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 time and run time representations, system validation to ensure safe adaptation of interdependent components, and scalable solutions to cope with the possible combinatorial explosions of adaptive system artifacts such as configurations, variant dependencies and adaptation rules. These are all challenges where current approaches offer only partial solutions. Furthermore, in current approaches the adaptation logic is typically specified at the code level, tightly coupled with the main system functionality, making it hard to control and maintain. This paper presents a domain specific modeling language (DSML) allowing specification of the adaptation logic at the model level, and separation of the adaptation logic from the main system functionality. It supports model-checking and design-time simulation for early validation of adaptation policies. The model level specifications are used to generate the adaptation logic. The DSML also provides indirection mechanisms to cope with combinatorial explosions of adaptive system artifacts. The proposed approach has been implemented and validated through case studies. This work was partially funded by the DiVA project (EU FP7 STREP, contract 215412). See http://www.ict-diva.eu/

Bidragsytere

Franck Fleurey

  • Tilknyttet:
    Forfatter
    ved Sustainable Communication Technologies ved SINTEF AS

Arnor Solberg

  • Tilknyttet:
    Forfatter
    ved Sustainable Communication Technologies ved SINTEF AS
1 - 2 av 2

Resultatet er en del av Resultatet er en del av

1 - 1 av 1