Shaped hierarchical architectural design

Electronic Notes in Theoretical Computer Science

Volumn 109, Issue 1-4 SPEC. ISS., 2004, Pages 97-109

  Hirsch, Dan ^a   Montanari, Ugo ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

Hierarchies; Shapes; Software Architecture Styles; System Reconfiguration; Type Systems

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; ENCODING (SYMBOLS); GRAPHIC METHODS; HIERARCHICAL SYSTEMS; LARGE SCALE SYSTEMS; MATHEMATICAL TRANSFORMATIONS;

HIERARCHIES; SHAPES; SOFTWARE ARCHITECTURE STYLES; SYSTEM RECONFIGURATION; TYPE SYSTEMS;

SOFTWARE ENGINEERING;

EID: 10444235234     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.02.059     Document Type: Conference Paper

References (15)

1. Andrade, L. and et al. AGILE: Software architecture for mobility. In Recent Trends in Algebraic Development Techniques - 16th International Workshop, WADT 2002, Frauenchiemsee, volume 2755 of LNCS. Springer-Verlag, 2003.
2. Bakewell, A., Plump, D., and Runciman, C. Specifying pointer structures by graph reduction. Tech. Rep. YCS-2003-367, Dep. of CS, Univ. of York, 2003.
3. Baumeister, H., Koch, N., Kosiuczenko, P., and Wirsing, M. Extending activity diagrams to model mobile systems. In Intl. Conf. NetObjectDays, 2002. Revised Papers, volume 2591 of LNCS, pages 278-293. SV, 2003.
4. Cardelli, L. and Gordon, A. Mobile ambiants. In Maurice Nivat, editor, FoSSaCS'98, volume 1378 of LNCS, pages 140-155. Springer-Verlag, 1998.
5. Drewes, F., Hoffmann, B., and Plump, D. Hierarchical graph transformation. Journal of Computer and System Sciences, 64(2):249-283, March 2002.
6. Fradet, P. and Le Métayer, D. Shape types. In Principles of Programming Languages (POPL'97), pages 27-39. ACM Press, 1997.
7. Garlan, D. and Shaw, M. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996.
8. Hirsch, D. Graph Transformation Models for Software Architecture Styles. PhD thesis, Dept. of Computer Science, Universidad de Buenos Aires, May 2003.
9. Hirsch, D. and Montanari, U. Higher-order hyperedge replacement systems and their transformations: Specifying software architecture reconfigurations. In GRATRA 2000, Tech. Rep., TU Berlin, 2000-02, pages 215-223, 2000.
10. Hoffmann, B. Abstraction and control for shapely nested graph transformation. Fundamenta Informaticae, No. to appear, 2003.
11. Le Métayer, D. Describing software architecture styles using graph grammars. IEEE Transactions on Software Engineering, 24(7), July 1998.
12. Medvidovic, N. and Taylor, R. A classification and comparison framework for software architecture description languages. IEEE TSE, 26(1):70-93, 2000.
13. Milner, R. Bigraphical reactive systems. In Concur '01, volume 2154 of Lecture Notes in Computer Science, pages 16-35. Springer-Verlag, 2001.
14. G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, volume 1. World Scientific, 1997.
15. Wermelinger, M. and Fiadeiro, J. A graph transformation approach to software architecture reconfiguration. Science of Computer Programming, 44:133-155, 2002.