Artículo
Hirsch, D.; Inverardi, P.; Montanari, U.; Porto A.; Roman G.-C. "Reconfiguration of software architecture styles with name mobility" (2000) 4th International Conference on Coordination Languages and Models, COORDINATION 2000. 1906:148-163
Consulte la política de Acceso Abierto del editor
Abstract:
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.
Registro:
| Documento: | Artículo |
| Título: | Reconfiguration of software architecture styles with name mobility |
| Autor: | Hirsch, D.; Inverardi, P.; Montanari, U.; Porto A.; Roman G.-C. |
| Filiación: | Departamento de Computación, Universidad de Buenos Aires, Ciudad Universitaria, Pab.I, 1428, Buenos Aires, Argentina Dipartamento Di Matematica, Universitá dell’Aquila, Via Vetoio, Localita’ Coppito, L’Aquila, Italy Dipartimento di Informatica, Universitá di Pisa, Corso Italia 40, Pisa, I-56125, Italy |
| Palabras clave: | Calculations; Codes (symbols); Computational linguistics; Dynamic models; Formal languages; Logic programming; Memory architecture; Reconfigurable hardware; Software architecture; Specifications; Complex evolutions; Constraint Solving; Dynamic evolution; Dynamic re-configuration; Graph rewriting; Hyperedge replacement; Software architecture style; System architectures; Graph theory |
| Año: | 2000 |
| Volumen: | 1906 |
| Página de inicio: | 148 |
| Página de fin: | 163 |
| Título revista: | 4th International Conference on Coordination Languages and Models, COORDINATION 2000 |
| Título revista abreviado: | Lect. Notes Comput. Sci. |
| ISSN: | 03029743 |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v1906_n_p148_Hirsch |
Referencias:
- Corradini, A., Degano, P., Montanari, U., Specifying Highly Concurrent Data Structure Manipulation (1985) COMPUTING 85: A Broad Perspective of Concurrent Developments. Elsevier Science, , Bucci, G. and Valle, G., editors
- Degano, P., Montanari, U., A Modelof Distributed Systems Based on Graph Rewriting (1987) Journalof the ACM, 34 (2), pp. 411-449. , April
- Hirsch, D., Montanari, U., Consistent Transformations for Software Architecture Styles of Distributed Systems (1999) Proceedings of the Workshop on (Formal Methods Applied To) Distributed Systems, Gheorghe Stefanescu, 28, pp. 23-40. , http://www.elsevier.nl/locate/entcs/volume28.html, Ed., Iasi, Rumania, Septem ber 2-3. Electronic Notes in Theoretical Computer Science
- Hirsch, D., Montanari, U., Higher-Order Hyperedge Replacement Systems and their Transformations: Specifying Software Architecture Reconfigurations (2000) Proceedings of the Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems (GRATRA 2000), pp. 215-223. , Satellite Event of ETAPS 2000, H. Ehrig, G. Taentzer, Eds., Berlin, Germany, March 25-27. Technical Report of Computer Science Department/ TU Berlin, No. 2000-02
- Hirsch, D., Inverardi, P., Montanari, U., Graph Grammars and Constraint Solving for Software Architecture Styles (1998) Proceedings of the Third International Software Architecture Workshop, pp. 1-2. , Orlando, E. E. U. U., November
- 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
- Inverardi, P., Muccini, H., (2000) The Teleservices and Remote Medical Care System (TRMCS), , http://www.ics.uci.edu/IRUS/iwssd/cfp.html, Workshop Case Study. 10th InternationalW orkshop on Software Specification and Design (IWSSD-10), San Diego, California, November 5-7
- Kramer, J., Magee, J., The Evolving Philosophers Problem: Dynamic Change Management (1990) IEEE Transactions on Software Engineering, SE, 16 (11), pp. 1293-1306
- Le M’Etayer, D., Describing Software Architecture Styles using Graph Grammars (1998) IEEE Transactions on Software Engineering, 24 (7). , July
- Mackworth, A.K., (1988) Encyclopedia of IA, Chapter Constraint Satisfaction, , Springer Verlag
- Magee, J., Kramer, J., Dynamic structure in software architectures (1996) Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering, , ACM Software Engineering Notes
- Magee, J., Kramer, J., Self organising software architectures (1996) Proceedings of the Second Internationalsoft Ware Architecture Workshop
- Magee, J., Kramer, J., Analysing Dynamic Change in Software Architectures: A case study (1998) Proceedings of the IEEE 4Th Internationalconference on Configurable Distributed Systems (CDS 98), pp. 91-100. , Annapolis, May
- Milner, R., Parrow, J., Walker, D., A Calculus of Mobile Processes (Parts I and II) (1992) Information and Computation, 100, pp. 1-77
- Montanari, U., Rossi, F., Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems (1999) Applied Categorical Structures, 7, pp. 333-370
- Montanari, U., Pistore, M., Rossi, F., Modeling Concurrent, Mobile and Coordinated Systems via Graph Transformations (1999) Handbook of Graph Grammars and Computing by Graph Transformation, 3. , H. Ehrig, H.-J. Kreowski, U. Montanari and G. Rozenberg, Eds., Concurrency, Parallelism, and Distribution, World Scientific
- Oreizy, P., Medvidovic, N., Taylor, R., Architectural-Based Runtime Software Evolution (1998) Proceedings of the International Conference on Software Engineering (ICSE’98), , Kyoto, Japan
- Rozenberg, G., (1996) Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, 1. , World Scientific
- Sangiorgi, D., π-calculus, Internal Mobility and Agent-passing Calculi (1996) Theoretical Computer Science, 167 (2)
- 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
- Victor, B., (1998) The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes, , PhD Thesis, Uppsala University, Dept. of Computer Science
- Wermelinger, M., Fiadeiro, J., Algebraic Software Architecture Reconfiguration (1999) Software Engineering-ESEC/FSE’99, 1687, pp. 393-409. , LNCS, Springer-VerlagA4 -
Citas:
---------- APA ----------
Hirsch, D., Inverardi, P., Montanari, U., Porto A. & Roman G.-C. (2000) . Reconfiguration of software architecture styles with name mobility. 4th International Conference on Coordination Languages and Models, COORDINATION 2000, 1906, 148-163.Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v1906_n_p148_Hirsch [ ]
---------- CHICAGO ----------
Hirsch, D., Inverardi, P., Montanari, U., Porto A., Roman G.-C. "Reconfiguration of software architecture styles with name mobility" . 4th International Conference on Coordination Languages and Models, COORDINATION 2000 1906 (2000) : 148-163.Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v1906_n_p148_Hirsch [ ]
---------- MLA ----------
Hirsch, D., Inverardi, P., Montanari, U., Porto A., Roman G.-C. "Reconfiguration of software architecture styles with name mobility" . 4th International Conference on Coordination Languages and Models, COORDINATION 2000, vol. 1906, 2000, pp. 148-163.Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v1906_n_p148_Hirsch [ ]
---------- VANCOUVER ----------
Hirsch, D., Inverardi, P., Montanari, U., Porto A., Roman G.-C. Reconfiguration of software architecture styles with name mobility. Lect. Notes Comput. Sci. 2000;1906:148-163.Available from: https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v1906_n_p148_Hirsch [ ]
