A Model for Dynamic Reconfiguration in Service-Oriented Architectures

The importance of modelling the dynamic architectural characteristics of software systems has long been recognised. However, the nature of the dynamic architectural characteristics of service-oriented applications goes beyond what is currently addressed by existing architecture description languages (ADLs). At the heart of the service-oriented approach is the logical separation of service need from the need-fulfillment mechanism, i.e., the service provider: the binding between the two is deferred to runtime and established at the instance level, i.e. each time the need for the service emerges. In this paper we present an architecture-oriented model for dynamic reconfiguration that paves the way for the definition of ADLs that are able to address the specification of dynamic architectural characteristics of service-oriented applications.

[1]  Flávio Oquendo,et al.  Representing Service-Oriented Architectural Models Using pi-ADL , 2008, ECSA.

[2]  Stephen Gilmore,et al.  The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling , 1994, Computer Performance Evaluation.

[3]  Gordon S. Blair,et al.  The case for reflective middleware , 2002, CACM.

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

[5]  Laura Bocchi,et al.  From BPEL to SRML: A Formal Transformational Approach , 2007, WS-FM.

[6]  L. Bocchi,et al.  A Formal Approach to Modelling Time Properties of Service-Oriented Systems ? , 2009 .

[7]  P. Cochat,et al.  Et al , 2008, Archives de pediatrie : organe officiel de la Societe francaise de pediatrie.

[8]  Laura Bocchi,et al.  Specifying and Composing Interaction Protocols for Service-Oriented System Modelling , 2007, FORTE.

[9]  Alexander L. Wolf,et al.  Acm Sigsoft Software Engineering Notes Vol 17 No 4 Foundations for the Study of Software Architecture , 2022 .

[10]  Jeff Magee,et al.  Dynamic structure in software architectures , 1996, SIGSOFT '96.

[11]  Stefano Bistarelli,et al.  A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation , 2009, VODCA@FOSAD.

[12]  José Luiz Fiadeiro,et al.  A formal model for service-oriented interactions , 2012, Sci. Comput. Program..

[13]  Gordon S. Blair,et al.  A generic component model for building systems software , 2008, TOCS.

[14]  David Garlan,et al.  Specifying and Analyzing Dynamic Software Architectures , 1998, FASE.

[15]  Antonio Bucchiarone,et al.  Graph-Based Design and Analysis of Dynamic Software Architectures , 2008, Concurrency, Graphs and Models.

[16]  Laura Bocchi,et al.  A Use-Case Driven Approach to Formal Service-Oriented Modelling , 2008, ISoLA.

[17]  Manuel Mazzara,et al.  A pi-calculus based semantics for WS-BPEL , 2007, J. Log. Algebraic Methods Program..

[18]  Thomas Ledoux,et al.  Reliable Dynamic Reconfigurations in a Reflective Component Model , 2010, CBSE.

[19]  José Luiz Fiadeiro,et al.  A model for dynamic reconfiguration in service-oriented architectures , 2012, Software & Systems Modeling.

[20]  Flávio Oquendo,et al.  Support for evolving software architectures in the ArchWare ADL , 2004, Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004).

[21]  Francesca Rossi,et al.  Semiring-based constraint satisfaction and optimization , 1997, JACM.

[22]  Laura Bocchi,et al.  Service-Oriented Modelling of Automotive Systems , 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.

[23]  José Luiz Fiadeiro.  Categories for software engineering , 2005 .

[24]  Roberto Bruni,et al.  Service Oriented Architectural Design , 2007, TGC.

[25]  Roberto Bruni,et al.  SCC: A Service Centered Calculus , 2006, WS-FM.

[26]  Francesco Tiezzi,et al.  A calculus for orchestration of web services , 2012, J. Appl. Log..

[27]  Horst Reichel,et al.  Initial Computability, Algebraic Specifications, and Partial Algebras , 1987 .

[28]  Michel Wermelinger,et al.  A graph based architectural (Re)configuration language , 2001, ESEC/FSE-9.

[29]  Nobuko Yoshida,et al.  Structured Communication-Centred Programming for Web Services , 2007, ESOP.

[30]  Thomas Schiex,et al.  Mixed Constraint Satisfaction: A Framework for Decision Problems under Incomplete Knowledge , 1996, AAAI/IAAI, Vol. 1.

[31]  Laura Bocchi,et al.  An abstract model of service discovery and binding , 2010, Formal Aspects of Computing.

[32]  Ahmed Elfatatry,et al.  Dealing with change: components versus services , 2007, CACM.

[33]  Flávio Oquendo,et al.  Formal Approach for the Development of Business Processes in Terms of Service-Oriented Architectures Using Pi-ADL , 2008, 2008 IEEE International Symposium on Service-Oriented System Engineering.

[34]  Laura Bocchi,et al.  The Sensoria Reference Modelling Language , 2011, Results of the SENSORIA Project.

[35]  Laura Bocchi,et al.  From Architectural to Behavioural Specification of Services , 2009, Electron. Notes Theor. Comput. Sci..

[36]  Thaís Vasconcelos Batista,et al.  Managing Dynamic Reconfiguration in Component-Based Systems , 2005, EWSA.

[37]  Peyman Oreizy,et al.  On the role of software architectures in runtime system reconfiguration , 1998, Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159).

[38]  Michel Wermelinger,et al.  A graph transformation approach to software architecture reconfiguration , 2002, Sci. Comput. Program..

[39]  Flávio Oquendo.  π-ADL: an Architecture Description Language based on the higher-order typed π-calculus for specifying dynamic and mobile software architectures , 2004, SOEN.

[40]  Marianne Simonot,et al.  A declarative formal approach to dynamic reconfiguration , 2009, IWOCE '09.

[41]  Philippe Merle,et al.  Specifying Self-configurable Component-Based Systems with FracToy , 2010, ASM.

[43]  Nobuko Yoshida,et al.  A Calculus of Global Interaction based on Session Types , 2007, DCM@ICALP.

[44]  José Luiz Fiadeiro,et al.  A Model-Checking Approach for Service Component Architectures , 2009, FMOODS/FORTE.

[45]  S. Griffis.  EDITOR , 1997, Journal of Navigation.

[46]  Thomas Schiex,et al.  A constraint satisfaction framework for decision under uncertainty , 1995, UAI.

[47]  David Garlan,et al.  Rainbow: architecture-based self-adaptation with reusable infrastructure , 2004 .

[48]  Manfred Broy,et al.  From "Formal Methods" to System Modeling , 2007, Formal Methods and Hybrid Real-Time Systems.