Name
Title | ||
|---|---|---|
A domain-specific language for the control of self-adaptive component-based architecture. |
Abstract | ||
|---|---|---|
Ctrl-F: a high-level language for describing adaptive behaviours and policies of component based architecture.Formal definition of Ctrl-Fs semantics with finite state automata models.Automatic translation from Ctrl-F to the FSA-based reactive language Heptagon/BZR.Correct-by-construct controllers, resulting from Heptagon/BZR compilation involving verification and controller synthesis.Implementation and integration with a Service Component Architecture middleware. Self-adaptive behaviours in the context of Component-based Architecture are generally designed based on past monitoring events, configurations (component assemblies) as well as behavioural programs defining the adaptation logics and invariant properties. Providing assurances on the navigation through the configuration space remains a challenge. That requires taking decisions on predictions on the possible futures of the system in order to avoid going into branches of the behavioural program leading to bad configurations. We propose the design of self-adaptive software components based on logical discrete control approaches, in which the self-adaptive behavioural models enrich component controllers with a knowledge not only on events, configurations and past history, but also with possible future configurations. This article provides the description, implementation and discussion of Ctrl-F, a Domain-specific Language whose objective is to provide high-level support for describing these control policies. Ctrl-Fis formally defined by translation to Finite State Automata models, which allow for the exploration of behavioural programs by verification or Discrete Controller Synthesis, i.e., by automatically generating a controller to enforce correct self-adaptive behaviours. We integrate Ctrl-F with FraSCAti, a Service Component Architecture middleware platform and we illustrate the use of Ctrl-Fby applying it to two case studies. |
Year | DOI | Venue |
|---|---|---|
2017 | 10.1016/j.jss.2017.01.030 | Journal of Systems and Software |
Keywords | Field | DocType |
Component-based architecture,Self-adaptation,Discrete control | Domain-specific language,Middleware,Architecture,Control theory,Computer science,Service Component Architecture,Finite-state machine,Real-time computing,Component-based software engineering,Configuration space | Journal |
Volume | Issue | ISSN |
130 | C | 0164-1212 |
Citations | PageRank | References |
3 | 0.39 | 34 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Frederico Alvares de Oliveira, Jr. | 1 | 65 | 6.49 |
| Éric Rutten | 2 | 255 | 30.50 |
| Lionel Seinturier | 3 | 1041 | 79.30 |