Service Oriented Architectural Design

We propose Architectural Design Rewriting (ADR), an approach to formalise the development and reconfiguration of software architectures based on term-rewriting. An architectural style consists of a set of architectural elements and operations called productions which define the well-formed compositions of architectures. Roughly, a term built out of such ingredients constitutes the proof that a design was constructed according to the style, and the value of the term is the constructed software architecture. A main advantage of ADR is that it naturally supports style-preserving reconfigurations. The usefulness of our approach is shown by applying ADR to SRML, an emergent paradigm inspired by the Service Component Architecture. We model the complex operation that composes several SRML modules in a single one by means of suitable rewrite rules. Our approach guarantees that the resulting module respects SRML's metamodel.

[1]  Thierry Coquand,et al.  The Calculus of Constructions , 1988, Inf. Comput..

[2]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

[3]  Annegret Habel,et al.  Hyperedge Replacement: Grammars and Languages , 1992, Lecture Notes in Computer Science.

[4]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[5]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

[6]  Martin Wirsing,et al.  Extraction of Structured Programs from Specification Proofs , 1999, WADT.

[7]  Sebastián Uchitel,et al.  Modes for Software Architectures , 2006, EWSA.

[8]  Alexander L. Wolf,et al.  Software architecture , 2001 .

[9]  Narciso Martí-Oliet,et al.  All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic , 2007, All About Maude.

[10]  Laura Bocchi,et al.  Algebraic Semantics of Service Component Modules , 2006, WADT.

[11]  Robin Milner,et al.  Bigraphs and mobile processes , 2003 .

[12]  Don S. Batory.  Program Refactoring, Program Synthesis, and Model-Driven Development , 2007, CC.

[13]  Jayadev Misra,et al.  Computation Orchestration , 2007, Software & Systems Modeling.

[14]  Laura Bocchi,et al.  A Formal Approach to Service Component Architecture , 2006, WS-FM.

[15]  E. Tuosto,et al.  Style-Based Reconfigurations of Software Architectures with QoS Constraints , 2007 .

[16]  Daniel Le Métayer.  Describing Software Architecture Styles Using Graph Grammars , 1998, IEEE Trans. Software Eng..

[17]  Mohamed Jmaiel,et al.  Consistent reconfiguration for publish/subscribe architecture styles , 2007 .

[18]  Ugo Montanari,et al.  Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004 , 2005, Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems.

[19]  Ivan Lanese,et al.  Synchronised Hyperedge Replacement as a Model for Service Oriented Computing , 2005, FMCO.

[20]  Jayadev Misra,et al.  A Basis for Wide-Area Computing , 2006 .

[21]  José Luiz Fiadeiro,et al.  Structured Co-spans: An Algebra of Interaction Protocols , 2007, CALCO.

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

[23]  David Garlan,et al.  Documenting software architectures: views and beyond , 2002, 25th International Conference on Software Engineering, 2003. Proceedings..

[24]  Roberto Bruni,et al.  Theoretical foundations for compensations in flow composition languages , 2005, POPL '05.

[25]  Andrew D. Gordon,et al.  Verified Reference Implementations of WS-Security Protocols , 2006, WS-FM.

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

[27]  Ugo Montanari,et al.  Shaped Hierarchical Architectural Design , 2004, Electron. Notes Theor. Comput. Sci..

[28]  Fabio Casati,et al.  Web service conversation modeling: a cornerstone for e-business automation , 2004, IEEE Internet Computing.

[29]  Nazareno Aguirre,et al.  Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems , 2004, Electron. Notes Theor. Comput. Sci..