Reconfiguration of software architecture styles with name mobility
An important issue in the area of software architecture is the specification of reconfiguration and mobility of systems. This paper presents an approach for the specification of software architecture styles using hyperedge replacement systems and for their dynamic reconfiguration using constraint so...
Guardado en:
| Publicado: |
2000
|
|---|---|
| Materias: | |
| Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v1906_n_p148_Hirsch http://hdl.handle.net/20.500.12110/paper_03029743_v1906_n_p148_Hirsch |
| Aporte de: |
| Sumario: | An important issue in the area of software architecture is the specification of reconfiguration and mobility of systems. This paper presents an approach for the specification of software architecture styles using hyperedge replacement systems and for their dynamic reconfiguration using constraint solving. A system architecture is represented as a graph where edges are components and nodes are ports of communication. Then, a style is represented as a graph grammar where the instances of the style are the graphs generated by the corresponding grammar. The construction and dynamic evolution of the style are represented as context-free productions and graph rewriting. To modelreconfigurations we allow the declaration, creation and matching of new nodes (i.e. ports of communication) and use constraint solving over the productions of the style grammar for achieving synchronization. In this way complex evolutions can be specified in a more expressive and compact form than using π-calculus style languages for mobility. © Springer-Verlag Berlin Heidelberg 2000. |
|---|