RIVERA , Marcela

This report proposes an algorithm for safely stopping a subsystem of a component assembly. More precisely, it safely stops a component and all its subcomponents in a distributed and hierarchical component model. Our components are distributed, autonomous, and communicating asynchronously. Thus, one of the great challenges addressed by this...

This paper is placed in the context of large scale distributed programming, providing a programming model based on asynchronous components. It focuses on the semantics of asynchronous invocations and component synchronisation. Our model is precise enough to enable the specification of a formal semantics. A variant of this model has been...

Adaptability is a key feature of distributed systems. In component systems, adaptability can be realised by reconfiguration of the component assembly. The objective of this work is to increase the support for reconfiguration capabilities in distributed component models. This work extends an existing framework of reconfiguration language,...

This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From the behavioural specification of primitive components, and from the architectural description of the composite components, our tools build models encoding the...

This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From the behavioural specification of primitive components, and from the architectural description of the composite components, our tools build models encoding the...