Paper Info
Title
High-Level Language Support for Reconfiguration Control in Component-Based Architectures
Abstract
Architecting in the context of variability has become a real need in todays software development. Modern software systems and their architecture must adapt dynamically to events coming from the environment (e.g., workload requested by users, changes in functionality) and the execution platform (e.g., resource availability). Component-based architectures have shown to be very suited for self-adaptation especially with their dynamical reconfiguration capabilities. However, existing solutions for reconfiguration often rely on low level, imperative, and non formal languages. This paper presents Ctrl-F, a domain-specific language whose objective is to provide high-level support for describing adaptation behaviours and policies in component-based architectures. It relies on reactive programming for formal verification and control of reconfigurations. We integrate Ctrl-F with the FraSCAti Service Component Architecture middleware platform, and apply it to the Znn. com self-adaptive case study.
Year
DOI
Venue
2015
10.1007/978-3-319-23727-5_1
Lecture Notes in Computer Science
Field
DocType
Volume
Middleware,Computer science,Service Component Architecture,Real-time computing,Software system,High-level programming language,Reactive programming,Control reconfiguration,Software development,Formal verification
Conference
9278
ISSN
Citations 
PageRank 
0302-9743
3
0.38
References 
Authors
18
3
Name
Order
Citations
PageRank
frederico alvares de oliveira130.38
Éric Rutten225530.50
Lionel Seinturier3104179.30