An operational semantics of COMMUNITY based on graph transformation systems

Electronic Notes in Theoretical Computer Science

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

  Corradini, Andrea ^a   Hirsch, Dan ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

Graph transformation systems; Operational semantics; Software architectures

Indexed keywords

BOOLEAN ALGEBRA; COMPUTATIONAL METHODS; ENCODING (SYMBOLS); GRAPH THEORY; MATHEMATICAL TRANSFORMATIONS; SYNCHRONIZATION;

COLIMIT DESIGN; GRAPH TRANSFORMATION SYSTEMS; OPERATIONAL SEMANTICS; SOFTWARE ARCHITECTURES;

SEMANTICS;

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

References (9)

1. AGILE Project IST-2001-32747. The airport case study, Deliverable 4.1, 2003.
2. A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. Löwe. Algebraic Approaches to Graph Transformation I: Basic Concepts and Double Pushout Approach. In [8], chapter 3. World Scientific, 1997.
3. F. Drewes, H.-J. Kreowski, and A. Habel. Hyperedge replacement graph grammars. In [8], chapter 2. World Scientific, 1997.
4. J. Fiadeiro and T. Maibaum. Categorical semantics of parallel program design. Science of Computer Programming, 28:111-138, 1997.
5. A. Habel, R. Heckel, and G. Taentzer. Graph grammars with negative application conditions. Fundamenta Informaticae, 26(3-4):287-313, 1996.
6. D. Hirsch. Graph Transformation Models for Software Architecture Styles. PhD thesis, Dept. of Computer Science, Universidad de Buenos Aires, May 2003.
7. M. Löwe, M. Korff, and A. Wagner. An algebraic framework for the transformation of attributed graphs. In Ronan Sleep, Rinus Plasmeijer, and Marko van Eekelen, editors, Term Graph Rewriting: Theory and Practice, pages 185-199. John Wiley, New York, 1993.
8. G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, volume 1. World Scientific, 1997.
9. M. Wermelinger and J. Fiadeiro. A graph transformation approach to software architecture reconfiguration. Science of Computer Programming, 44:133-155, 2002.