On the reconfiguration of software connectors

Oliveira, Nuno; Barbosa, Lu­ís Soares

doi:10.1145/2480362.2480712

Cited by 6 publications

(7 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To achieve this, it may be required to enrich the Aeolus Model with connectors such as those introduced by the Reo coordination language [47]. In this way it will be possible to model the exchange of configuration data between the components and deal with the connectors dynamic reconfiguration [48,49]. Finally, we would like to take into account also conflicts among components.…”

Section: Discussionmentioning

confidence: 99%

Automatic deployment of component-based applications

Lascu

Mauro

Zavattaro

2015

Science of Computer Programming

View full text Add to dashboard Cite

In distributed systems like those based on cloud or service-oriented frameworks, applications are typically assembled by deploying and connecting a large number of heterogeneous software components, spanning from fine-grained packages to coarse-grained complex services. Automation techniques and tools have been proposed to ease the deployment process of these complex system. By relying on a formal model of components, we describe a sound and complete algorithm for computing the sequence of actions that permits the deployment of a desired configuration even in the presence of circular dependencies among components. We give a proof for the polynomiality of the devised algorithm and exploit it to develop METIS, a tool for computing deployment plans. The validation of METIS has been performed in two ways: on the one hand, by considering artificial scenarios consisting of a huge number of different components synthesized by following typical configuration patterns and, on the other hand, by exploiting it to deploy real-life installations of a WordPress blogging service.

show abstract

Section: Discussionmentioning

confidence: 99%

Automatic deployment of component-based applications

Lascu

Mauro

Zavattaro

2015

Science of Computer Programming

View full text Add to dashboard Cite

show abstract

“…The work in [18] categorizes dierent kinds of recongurations in the context of Reo connectors. Our updates correct for any property (in a given context) are called contractive in [18], and a property for which an update is correct (in a given context) is called an invariant for the update.…”

Section: Conclusion and Related Workmentioning

confidence: 99%

“…Our updates correct for any property (in a given context) are called contractive in [18], and a property for which an update is correct (in a given context) is called an invariant for the update. However, in [18], nothing is said about the requirements that an update must satisfy to be contractive or to have a given invariant: these problems have been solved by the present paper.…”

Section: Conclusion and Related Workmentioning

confidence: 99%

Most General Property-Preserving Updates

Bresolin

Lanese

2017

Language and Automata Theory and Applications

View full text Add to dashboard Cite

Abstract. Systems need to be updated to last for a long time in a dynamic environment, and to cope with changing requirements. It is important for updates to preserve the desirable properties of the system under update, while possibly enforcing new ones. Here we consider a simple yet general update mechanism, which replaces a component of the system with a new one. The context, i.e., the rest of the system, remains unchanged. We dene contexts and components as Constraint Automata interacting via either asynchronous or synchronous communication, and we express properties using Constraint Automata too. Then we build most general updates which preserve specic properties, considering both a single property and all the properties satised by the original system, in a given context or in all possible contexts.

show abstract

“…Our previous work reported in references [10] and [11] introduced a notion of a reconfiguration pattern and discussed a first experiment on the use of a hybrid logic to express structural properties of coordination protocols, respectively. Both topics, however, are largely developed in this paper, leading to a new semantic model and a number of results for the logic, including a characterisation of bisimilarity and the proof of a Hennessy-Milner-like theorem on the equivalence between the assertion of two models being bisimilar and satisfying the same hybrid formulas.…”

Section: Contributionsmentioning

confidence: 99%

“…This paper combines and extends our previous work [10,11], to set up a conceptual framework for modelling and reasoning about reconfigurations of software connectors. Connectors are syntactically represented as graphs of communication primitives (e.g., channels), referred to as coordination patterns, whose nodes stand for interaction points.…”

mentioning

confidence: 91%

Reasoning about software reconfigurations: The behavioural and structural perspectives

Oliveira

Barbosa

2015

Science of Computer Programming

Self Cite

View full text Add to dashboard Cite

Software connectors encapsulate interaction patterns between services in complex, distributed service-oriented applications. Such patterns encode the interconnection between the architectural elements in a system, which is not necessarily fixed, but often evolves dynamically. This may happen in response to faults, degrading levels of QoS, new enforced requirements or the re-assessment of contextual conditions. To be able to characterise and reason about such changes became a major issue in the project of trustworthy software. This paper discusses what reconfiguration means within coordination-based models of software design. In these models computation and interaction are kept separate: components and services interact anonymously through specific connectors encoding the coordination protocols. In such a setting, of which Reo is a paradigmatic illustration, the paper introduces a model for connector reconfigurations, from both a structural and a behavioural perspective.

show abstract

On the reconfiguration of software connectors

Cited by 6 publications

References 21 publications

Automatic deployment of component-based applications

Automatic deployment of component-based applications

Most General Property-Preserving Updates

Reasoning about software reconfigurations: The behavioural and structural perspectives

Contact Info

Product

Resources

About