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.Citations
More filters
Journal ArticleDOI
A component-based middleware platform for reconfigurable service-oriented architectures
Lionel Seinturier,Philippe Merle,Romain Rouvoy,Daniel Romero,Valerio Schiavoni,Jean-Bernard Stefani +5 more
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
Steven J. DeRose,Inso Corp +1 more
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.