scispace - formally typeset
Journal ArticleDOI

FPath and FScript: Language support for navigation and reliable reconfiguration of Fractal architectures

Reads0
Chats0
TLDR
This article presents two languages: FPath, a domain-specific language that provides a concise yet powerful notation to navigate inside and query Fractal architectures, and FScript, a scripting language that embeds FPath and supports the definition of complex reconfigurations.
Abstract
Component-based systems must support dynamic reconfigurations to adapt to their execution context, but not at the cost of reliability. Fractal provides intrinsic support for dynamic reconfiguration, but its definition in terms of low-level APIs makes it complex to write reconfigurations and to ensure their reliability. This article presents a language-based approach to solve these issues: direct and focused language support for architecture navigation and reconfiguration make it easier both to write the reconfigurations and to ensure their reliability. Concretely, this article presents two languages: (1) FPath, a domain-specific language that provides a concise yet powerful notation to navigate inside and query Fractal architectures, and (2) FScript, a scripting language that embeds FPath and supports the definition of complex reconfigurations. FScript ensures the reliability of these reconfigurations thanks to sophisticated run-time control, which provides transactional semantics (ACID properties) to the reconfigurations.

read more

Citations
More filters
Journal ArticleDOI

A component-based middleware platform for reconfigurable service-oriented architectures

TL;DR: The internal component‐based architecture of the FRASCATI platform is presented, a run‐time support for SCA with dynamic reconfiguration capabilities and run‐ time management features are introduced, and its key features are presented.
Proceedings ArticleDOI

Context awareness for dynamic service-oriented product lines

TL;DR: A Context-Aware Dynamic Software Product Line (DSPL) for building service oriented applications and adapting them at runtime in accordance with their using context, based on two different processes for product derivation.
Proceedings ArticleDOI

A dynamic component model for cyber physical systems

TL;DR: ¼-Kevoree provides the advantages of a dynamically reconfigurable component-based model (safe, fine-grained, and efficient reconfiguration) compared to tra- ditional techniques for dynamic firmware upgrades.
Book ChapterDOI

Reliable dynamic reconfigurations in a reflective component model

TL;DR: A definition of consistency for configurations and reconfigurations in Fractal component architectures with a model based on integrity constraints like for example structural invariants is proposed.
Book ChapterDOI

Using temporal logic for dynamic reconfigurations of components

TL;DR: This paper deals with the formal specification and verification of dynamic reconfigurations of component-based systems using architectural constraints and temporal logic patterns for Fractal, to characterizing the correct behaviour of the system under some architectural constraints.
References
More filters
Journal ArticleDOI

The vision of autonomic computing

TL;DR: A 2001 IBM manifesto noted the almost impossible difficulty of managing current and planned computing systems, which require integrating several heterogeneous environments into corporate-wide computing systems that extend into the Internet.
Journal ArticleDOI

Basic concepts and taxonomy of dependable and secure computing

TL;DR: The aim is to explicate a set of general concepts, of relevance across a wide range of situations and, therefore, helping communication and cooperation among a number of scientific and technical communities, including ones that are concentrating on particular types of system, of system failures, or of causes of systems failures.

Basic Concepts and Taxonomy of Dependable and Secure Computing

TL;DR: In this paper, the main definitions relating to dependability, a generic concept including a special case of such attributes as reliability, availability, safety, integrity, maintainability, etc.
Journal ArticleDOI

A classification and comparison framework for software architecture description languages

TL;DR: A definition and a classification framework for architecture description languages are presented and the utility of the definition is demonstrated by using it to differentiate ADLs from other modeling notations, enabling us, in the process, to identify key properties ofADLs.

XML Path Language (XPath) Version 1.0

TL;DR: XPath is a language for addressing parts of an XML document, designed to be used by both XSLT and XPointer, and has been endorsed by the Director as a W3C Recommendation.
Related Papers (5)