Abstract:
A software architecture style identifies classes of software architectures that present distinguishable commonalties. One major problem in the specification of software architectures is when evolution includes reconfiguration and mobility. With this in mind and understanding the relevance of visual languages specially at the design level, we present in this paper a graphical model using hyperedge replacement systems as a formal model to represent styles and their reconfigurations. To model the reconfiguration of styles we present two approaches. The first approach uses Synchronized Hyperedge Replacement Systems with the addition of name mobility to model dynamic reconfiguration. The second approach models consistent reconfigurations with respect to a style over the rewriting system derivations, based on the typing power of the lambda-calculus. ©2002 Published by Elsevier Science B. V.
Registro:
Documento: |
Artículo
|
Título: | Two graph-based techniques for software architecture reconfiguration |
Autor: | Hirsch, D.; Montanari, U.; Bauderon M.; Corradini A. |
Ciudad: | Bordeaux |
Filiación: | Departamento de Computación, Universidad de Buenos Aires, Ciudad Universitaria, Pab. I, (1428), Buenos Aires, Argentina Dipartimento di Informatica, Universita' di Pisa, Corso Italia 40, (56125), Pisa, Italy
|
Palabras clave: | Graph theory; Mathematical models; Mathematical transformations; Synchronization; Graph-based techniques; Hypergraph; Software architecture reconfiguration; Computer architecture |
Año: | 2002
|
Volumen: | 51
|
Página de inicio: | 177
|
Página de fin: | 190
|
DOI: |
http://dx.doi.org/10.1016/S1571-0661(04)80201-9 |
Título revista: | GETGRATS Closing Workshop
|
Título revista abreviado: | Electron. Notes Theor. Comput. Sci.
|
ISSN: | 15710661
|
Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_15710661_v51_n_p177_Hirsch |
Referencias:
- Garlan, D., Shaw, M., (1996) Software Architecture: Perspectives on An Emerging Discipline, , Prentice Hall
- Hirsch, D., Inverardi, P., Montanari, U., Modeling software architectures and styles with graph grammars and constraint solving (1999) Proceedings of the First Working IFIP Conference on Software Architecture, , San Antonio, Texas, E.E.U.U., February 22-24
- Hirsch, D., Montanari, U., Higher-order hyperedge replacement systems and their transformations: Specifying software architecture reconfigurations (2000) Proceedings of Workshop on Graph Transformation Systems (GRATRA 2000), pp. 215-223. , ETAPS 2000. TR of CS Department/TU Berlin, No. 2000-02
- Hirsch, D., Montanari, U., Synchronized hyperedge replacement with name mobility: A graphical calculus for mobile systems (2001) LNCS, , CONCUR 2001 To be published
- Métayer, D., Describing Software Architecture Styles using Graph Grammars (1998) IEEE Transactions on Software Engineering, 24 (7)
- Mitchell, J., (1996) Foundations for Programming Languages, , MIT Press
- Milner, R., (1999) Communicating and Mobile Systems: The π-Calculus, , Cambridge University Press
- (1997) Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, 1. , Rozenberg G. World Scientific
- Taentzer, G., Goedicke, M., Meyer, T., Dynamic change management by distributed graph transformation: Towards configurable distributed systems (1998) Proc. 6th Int. Workshop on Theory and Application of Graph Transformation
- Wermelinger, M., Fiadeiro, J., Algebraic Software Architecture Reconfiguration (1999) Software Engineering-ESEC/FSE'99, LNCS Vol. 1687, Springer-Verlag, pp. 393-409
Citas:
---------- APA ----------
Hirsch, D., Montanari, U., Bauderon M. & Corradini A.
(2002)
. Two graph-based techniques for software architecture reconfiguration. GETGRATS Closing Workshop, 51, 177-190.
http://dx.doi.org/10.1016/S1571-0661(04)80201-9---------- CHICAGO ----------
Hirsch, D., Montanari, U., Bauderon M., Corradini A.
"Two graph-based techniques for software architecture reconfiguration"
. GETGRATS Closing Workshop 51
(2002) : 177-190.
http://dx.doi.org/10.1016/S1571-0661(04)80201-9---------- MLA ----------
Hirsch, D., Montanari, U., Bauderon M., Corradini A.
"Two graph-based techniques for software architecture reconfiguration"
. GETGRATS Closing Workshop, vol. 51, 2002, pp. 177-190.
http://dx.doi.org/10.1016/S1571-0661(04)80201-9---------- VANCOUVER ----------
Hirsch, D., Montanari, U., Bauderon M., Corradini A. Two graph-based techniques for software architecture reconfiguration. Electron. Notes Theor. Comput. Sci. 2002;51:177-190.
http://dx.doi.org/10.1016/S1571-0661(04)80201-9