Dynamic adaptation with distributed control in Paradigm

Andova, Suzana; Groenewegen, Luuk; Vink, Erik P. de

doi:10.1016/j.scico.2013.11.034

Cited by 7 publications

(3 citation statements)

References 33 publications

(52 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [42], a framework for dynamic update in the coordination modelling language Paradigm is presented. The system starts from an initial architecture and then migrates towards a new architecture through a number of adaptation steps that are executed on-the-y.…”

Section: Related Workmentioning

confidence: 99%

Static and dynamic property-preserving updates

Bresolin¹,

Lanese²

2021

Information and Computation

View full text Add to dashboard Cite

Systems need to be updated to last for a long time in a dynamic environment, and to cope with changing requirements. The update can be performed both statically, by restarting the system, or dynamically. In both the cases, 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. In order to apply our approach also to dynamic update, we consider the state transfer problem, namely how to nd the state in which the new component should be started to ensure that the overall behaviour is correct.

show abstract

Section: Related Workmentioning

confidence: 99%

Static and dynamic property-preserving updates

Bresolin¹,

Lanese²

2021

Information and Computation

View full text Add to dashboard Cite

show abstract

“…Paradigm is a coordination modelling language that can represent dynamic adaptation in distributed component-based systems [AGdV14]. Each component of a system is represented as a state transition diagram (STD) with sub-STDs (termed phases) used to represent the internal transitions of the component.…”

Section: Process Algebrasmentioning

confidence: 99%

An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems

2017

View full text Add to dashboard Cite

Abstract. This paper uses a case study to evaluate empirically three formalisms of different kinds for their suitability for the modelling and analysis of dynamic reconfiguration of dependable systems. The requirements on an ideal formalism for dynamic software reconfiguration are defined. The reconfiguration of an office workflow for order processing is described, and the requirements on the reconfiguration of the workflow are defined. The workflow is modelled using the Vienna Development Method (VDM), conditional partial order graphs (CPOGs), and the basic Calculus of Communicating Systems for dynamic process reconfiguration (basic CCS dp ), and verification of the reconfiguration requirements is attempted using the models. The formalisms are evaluated according to their ability to model the reconfiguration of the workflow, to verify the requirements on the workflow's reconfiguration, and to meet the requirements on an ideal formalism.

show abstract

“…The authors [3] further emphasize that changes are hard to predict at design time. The continuous service execution makes it difficult to fix bugs and add new required functionality on-the-fly as this requires non-disruptive replacement of parts of a software version by new ones [4,5]. Ertel and Felber [4] further explain that prior approaches to dynamic reconfiguration (a.k.a.…”

Section: Introductionmentioning

confidence: 99%

Dynamic and coordinated software reconfiguration in distributed data stream systems

Vasconcelos

Endler

2016

J Internet Serv Appl

View full text Add to dashboard Cite

While many systems have to provide 24 × 7 services with no acceptable downtime, they have to be able to cope with changes in their execution environment and in the requirements that they must comply, in which data stream processing is one example of system that has to evolve during its execution. On one hand, dynamic reconfiguration (i.e., the capability of evolving on-the-fly) is a desirable feature. On the other hand, stream systems may suffer with the disruption and overhead caused by the reconfiguration. Due to these conflicting requirements, safe and non-disruptive reconfiguration is still an open problem. In this paper, we propose and validate a nondisruptive reconfiguration approach for distributed data stream systems that support stateful components and intermittent connections. We present experimental evidence that our mechanism supports safe distributed reconfiguration and has negligible impact on availability and performance.

show abstract

Dynamic adaptation with distributed control in Paradigm

Cited by 7 publications

References 33 publications

Static and dynamic property-preserving updates

Static and dynamic property-preserving updates

An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems

Dynamic and coordinated software reconfiguration in distributed data stream systems

Contact Info

Product

Resources

About