Handling dynamic behaviour in software architectures

Authors:
Sorana Cîmpan;Fabien Leymonerie;Flavio Oquendo
Affiliations:
LISTIC, ESIA Ecole Supérieure d'Ingénieurs d'Annecy, Université de Savoie, Annecy Cedex, France;LISTIC, ESIA Ecole Supérieure d'Ingénieurs d'Annecy, Université de Savoie, Annecy Cedex, France;VALORIA, Université de Bretagne-Sud, Vannes Cedex, France
Venue:
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
Year:
2005

Citing 12
Cited 2

Foundations for the study of software architecture

ACM SIGSOFT Software Engineering Notes
A calculus of mobile processes, I

Information and Computation
Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model

IEEE Transactions on Software Engineering - Special issue on software architecture
A framework for classifying and comparing architecture description languages

ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
On-line change mechanisms: the software architectural level

SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Dynamic coordination architecture through the use of reflection

Proceedings of the 2001 ACM symposium on Applied computing
Describing Software Architecture Styles Using Graph Grammars

IEEE Transactions on Software Engineering
AML: An Architecture Meta-Language

ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
p-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems

ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Architecting Software Systems with Process Algebras

Architecting Software Systems with Process Algebras
A formal approach to software architecture

A formal approach to software architecture
π-ADL: an Architecture Description Language based on the higher-order typed π-calculus for specifying dynamic and mobile software architectures

ACM SIGSOFT Software Engineering Notes

Editorial: Commentary on 'Software architectures and mobility: A Roadmap'

Journal of Systems and Software
An xADL extension for managing dynamic deployment in distributed service oriented architectures

FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

More and more software applications have to be able to dynamically change during execution in order to adapt to changes in their environment. In the context of architecture-centred software development, this capability has to be expressed at the architectural level, inducing the need of architecture description languages capable of representing dynamic architectures. In this paper we propose an architecture description language for dynamic software architectures, the ArchWare C&C-ADL. This language uses the component-connector view, and is constructed as an architectural style on top of a more generic ADL, the ArchWare π-ADL (formal ADL based on strongly typed π-calculus). The mechanisms the language offers for the management of dynamic behaviour of software systems, as well as all the advantages of the language design are stressed in the paper. We illustrate the language concepts using dynamic client server architectures.