Navegar

Colección

Datos Estadísticas

Artículo

Estamos trabajando para incorporar este artículo al repositorio
Consulte el artículo en la página del editor
Consulte la política de Acceso Abierto del editor

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