Dynamic System Adaptation by Constraint Orchestration

For Paradigm models, evolution is just-in-time specified coordination conducted by a special reusable component McPal. Evolution can be treated consistently and on-the-fly through Paradigm’s constraint orchestration, also for originally unforeseen evolution. UML-like diagrams visually supplement such migration, as is illustrated for the case of a critical section solution evolving into a pipeline architecture. 1 Problem Situation Software systems are large and complex. However, more strikingly, software systems have a strong tendency to grow over time, both in size and complexity. In order to deal with size and complexity, software architectures are used. A software architecture provides a global description of an actually far more detailed software system by giving an overview in terms of components and links. Components are the main relevant parts, links are the relevant connections between them.

[1]  Erik P. de Vink,et al.  Evolution On-the-Fly with Paradigm , 2006, COORDINATION.

[2]  Gwen Salaün,et al.  Adaptation of Open Component-Based Systems , 2007, FMOODS.

[3]  Erik P. de Vink,et al.  Dynamic consistency in process algebra: From Paradigm to ACP , 2009, Sci. Comput. Program..

[4]  Jan Friso Groote,et al.  The Formal Specification Language mCRL2 , 2006, MMOSS.

[5]  Javier Cámara,et al.  Context-Based Adaptation of Component Behavioural Interfaces , 2007, COORDINATION.

[6]  Antonio Brogi,et al.  Dynamic Contextual Adaptation , 2007, Electron. Notes Theor. Comput. Sci..

[7]  Reiko Heckel,et al.  Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution , 2000, ICALP.

[8]  Heike Wehrheim,et al.  Checking the Validity of Scenarios in UML Models , 2005, FMOODS.

[9]  Julia Padberg.  Basic Ideas for Transformations of Specification Architectures , 2003, Electron. Notes Theor. Comput. Sci..

[10]  Luciano Baresi,et al.  Style-based modeling and refinement of service-oriented architectures , 2006, Software & Systems Modeling.

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

[12]  Reiko Heckel,et al.  A methodology for specifying and analyzing consistency of object-oriented behavioral models , 2001, ESEC/FSE-9.

[13]  Dan Hirsch,et al.  Graph Transformation Models for Software Architecture Styles , 2003 .

[14]  Tom Mens,et al.  Analysing refactoring dependencies using graph transformation , 2007, Software & Systems Modeling.

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

[16]  Javier Cámara,et al.  Run-time Composition and Adaptation of Mismatching Behavioural Transactions , 2007, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).

[17]  Reiko Heckel,et al.  Verification of Architectural Refactorings by Rule Extraction , 2008, FASE.

[18]  Erik P. de Vink,et al.  Paradigm as Organization-Oriented Coordination Language , 2006, CoOrg@COORDINATION.

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

[20]  John Derrick,et al.  Model Transformations Incorporating Multiple Views , 2006, AMAST.

[21]  Ronald Morrison,et al.  A framework for supporting dynamic systems co-evolution , 2007, Automated Software Engineering.

[22]  Luís Soares Barbosa,et al.  An Orchestrator for Dynamic Interconnection of Software Components , 2007, CoOrg/MTCoord@COORDINATION.

[23]  Erik P. de Vink,et al.  Reconfiguring Distributed Reo Connectors , 2009, WADT.

[24]  Flávio Oquendo,et al.  An Active Architecture Approach to Dynamic Systems Co-evolution , 2007, ECSA.

[25]  Roberto Bruni,et al.  Style-Based Architectural Reconfigurations , 2008, Bull. EATCS.

[26]  Heike Wehrheim,et al.  Checking Consistency in UML Diagramms: Classes and State Machines , 2003, FMOODS.

[27]  Betty H. C. Cheng,et al.  Model-based development of dynamically adaptive software , 2006, ICSE.

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