Dynamic Software Architectures for Global Computing Systems

• AGG
  
• AUGUR
  
• FUJABA
  
• GenGED
  
• GReAT
  
• Groove
  
• GTXL
  
• GXL
  
• HOPS
  
• Progress
  
• yEd
  
• TIGER
  
• VIATRA
  

Software Architectures

• M. Shaw and D. Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall,April 1996.
• L. Bass, P. Clements, R. Kazman.Software Architecture In Practice, 2nd Edition Addison Wesley, 2003.
• Software Architecture Essential BookShelf

Formal Methods

Survey

• J. S. Bradbury et al.A Survey of Self-Management in Dynamic Software Architecture Specifications. In Proc. of the International Workshop on Self-Managed Systems (WOSS'04), Newport Beach, California, USA, October/November 2004.

Graph Grammars

• L. Baresi, R. Heckel, S. Thone and D. Varrò.Style-based modeling and refinement of service-oriented architecture. Software and Systems Modeling, 5(2):187-207, June 2006.
• D. L. Mètayer.Describing software architecture styles using graph grammars. IEEE Transaction on Software Engineering, 24(7):521-533, 1998.

Architectural Description Languages (ADLs)

• D. Garlan, R. Monroe and D. Wile.ACME: An Architecture Description Interchange Language. In Proc. of the Conference of the Centre for Advanced Studies on Collaborative Research (CASCON'97), November 10-13, 1997. [BibTex]
• R. Allen, R. Douence and David Garlan.Specifying and Analyzing Dynamic Software Architectures In Proc. of the Conference on Fundamental Approaches to Software Engineering (FASE '98), March 1998. [BibTex]
• N. Medvidovic and R. N. Taylor.A Classification and Comparison Framework for Software Architecture Description Languages.
  IEEE Transactions on Software Engineering, Vol. 26, No. 1, pp. 70-93 (January 2000). [BibTex]
• E. M. Dashofy, A. van der Hoek and R. N. Taylor.A Highly-Extensible, XML-Based Architecture Description Language. In Proc. of Working IEEE/IFIP Conference on Software Architecture (WISCA'01). [BibTex]
• D. S. Wile.Using Dynamic Acme. In Proc. of a Working Conference on Complex and Dynamic Systems Architecture, Brisbane, Australia, Dec. 2001.
• R. Morrison et al.Support for Evolving Software Architectures in the ArchWare ADL In Proc. of WICSA 2004. [BibTex]

UML-based Approaches

• M. N. Miladi et al.Describing dynamic software architectures using an extended UML model. In Proc. of SAC 2006. [BibTex]

Dynamism in Software Architecture

• J. Magee and J. Kramer.Dynamic Structure in Software Architecture. In Proc. of the 4th ACM SIGSOFT symposium on Foundations of software engineering, 1996.
• P. Oreizy.Issues in Modeling and Analyzing Dynamic Software Architectures. In Proc. of the International Workshop on the Role of Software Architecture in Testing and Analysis, Marsala, Sicily, Italy. June 30 - July 3, 1998.
• J. Andersson and B. Lennartsson.Reactive Architectures with Architectural Agents. In Proc. of the 32nd Hawaii International Conference on System Sciences, 1999. [BibTex]
• A. Liu.Dynamic Distributed Software Architecture Design with PARSE-DAT. In Proc. of the International Conference on Software Methods and Tools, SMT 2000. [BibTex]
• R. Torkar.Dynamic Software Architecture. Extended Report for I. Crnkovic and M. Larsson (editors), Building Reliable Component-Based Systems, Artech House, July 2002, ISBN 1-58053-327-2: Chapter 3: Architecting Component-Based Systems, J. Bosch, J. A. Stafford

Verification and Case Studies

• M.R. Frias, J. P. Galeotti, C. G. L. Pombo and N. M. Aguirre.DynAlloy: upgrading alloy with actions. In Proc. of the 27th international conference on Software engineering (ICSE 2005), New York, NY, USA. [BibTex]
• J. S. Kim and D. Garlan.Analyzing Architectural Styles with Alloy. In Proc. of the Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA 2006), Portland, Maine, July 17, 2006. [BibTex]
• B. Becker, D. Beyer, H.Giese, F. Klein and D. Schilling.Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation. In Proc. of the 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006. [BibTex]

Runtime Support

• P. Falcarin and G. Alonso.Software Architecture Evolution through Dynamic AOP. In Proc. of EWSA 2004. [BibTex]
• T. Batista, A. Joolia and G. Coulson.Managing Dynamic Reconfiguration in Component-based Systems. In Proc. of 2nd European Workshop on Software Architecture, EWSA 2005, Pisa, Italy, June 13-14, 2005. [BibTex]
• ArchJava Project Home Page, 2005.
• E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J.-B. Stefani.The Fractal Component Model and Its Support in Java. Software Practice and Experience, special issue on Experiences with Auto-adaptive and Reconfigurable Systems. 36(11-12), 2006.
• H. Baumeister, F. Hacklinger, R. Hennicker, A. Knapp and M. Wirsing.A Component Model for Architectural Progamming. Electronic Notes in Theoretical Computer Science 160(2006), pages 75-96. [BibTex]
• T. Bures, P. Hnetynka, F. Plasil, J. Klesnil, O. Kmoch, T. Kohan and P. Kotrc.Runtime Support for Advanced Component Concepts. 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007).
• OSGI - The Dynamic Module System for Java. July 2007

Our Papers

• A. Bucchiarone and J. P. Galeotti.Dynamic Software Architectures Verification using DynAlloy In Proceedings of the 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'08), To Appear.
• R. Bruni, A. Lluch Lafuente, and U. Montanari.Hierarchical design rewriting with Maude. In Proceedings of the 7th International Workshop on Rewriting Logic and its Applications (WRLA'08), To appear.
• R. Bruni, A. Lluch Lafuente, U. Montanari and E. Tuosto.Service Oriented Architectural Design. 3rd International Symposium on Trustworthy Global Computing (TGC'07), To appear.
• R. Bruni, A. Lluch Lafuente, U. Montanari and E. Tuosto.Style-Based Architectural Reconfigurations. Technical Report TR-07-17, Dipartimento di Informatica, Università di Pisa, July 2007.
• R. Bruni, A. Bucchiarone, S. Gnesi and H. Melgratti. Modelling Dynamic Software Architectures using Typed Graph Grammars. Graph Transformation for Verification and Concurrency (GT-VC 2007), To appear.

Bike Example

GT-VMT 2008