Evolution On-the-Fly with Paradigm

The coordination language Paradigm allows for a flexible and orthogonal modeling of interprocess relationships at the architectural level. It is shown how dynamic system adaptation can be captured in Paradigm by means of a special evolution component and associated evolution coordination scheme. The component, called McPal, drives the migration following a just-in-time strategy in its own view of the system, independent of other coordination relations. During migration, dynamic consistency between components remains assured, even for mixtures of old, intermediate and new behaviour. A restricted scheme of McPal that supports various forms of self-adaptation is presented. A simple but generic example of a scheduler and workers illustrates on-the-fly updating of coordination and run-time adaptation of scheduling policies using McPal.

[1]  Manuel Oriol,et al.  An approach to the dynamic evolution of software systems , 2004 .

[2]  Earl T. Barr,et al.  Runtime Support for Type-Safe Dynamic Java Classes , 2000, ECOOP.

[3]  Juan Carlos Augusto,et al.  A temporal logic view of paradigm models , 2002, SEKE '02.

[4]  Antonio Brogi,et al.  A formal approach to component adaptation , 2005, J. Syst. Softw..

[5]  Erik P. de Vink,et al.  Operational Semantics for Coordination in Paradigm , 2002, COORDINATION.

[6]  Wouter Joosen,et al.  Towards preserving correctness in self-managed software systems , 2004, WOSS '04.

[7]  Gerti Kappel,et al.  Coordinated Collaboration of Objects , 2000, Advances in Object-Oriented Data Modeling.

[8]  Pascal Poizat,et al.  KORRIGAN : un formalisme et une méthode pour la spécification formelle et structurée de systèmes mixtes. (KORRIGAN : a formalism and a method for the formal and structured specification of mixed systems) , 2000 .

[9]  Gavin M. Bierman,et al.  Mutatis Mutandis: Safe and predictable dynamic software updating , 2007, TOPL.

[10]  Erik P. de Vink,et al.  Delegation Modeling with Paradigm , 2005, COORDINATION.

[11]  Jun Han,et al.  Coordination Systems in Role-Based Adaptive Software , 2005, COORDINATION.

[12]  David Garlan,et al.  Proceedings of the first workshop on Self-healing systems , 2002, Fast Software Encryption Workshop.

[13]  Sun Meng,et al.  On Refinement of Generic State-Based Software Components , 2004, AMAST.

[14]  Manuel Oriol,et al.  Tagged Sets: A Secure and Transparent Coordination Medium , 2005, COORDINATION.

[15]  José Júlio Alferes,et al.  Dynamic updates of non-monotonic knowledge bases , 2000, J. Log. Program..

[16]  David Garlan,et al.  A formal basis for architectural connection , 1997, TSEM.

[17]  Jochen Malte Küster,et al.  Consistency management of object oriented behavioral models , 2004 .

[18]  Jürgen Dingel,et al.  A survey of self-management in dynamic software architecture specifications , 2004, WOSS '04.