EEMCS
Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


22118 Generalised compositionality in graph transformation
 Home Policy Brochure Browse Search User Area Contact Help

Ghamarian, A.H. and Rensink, A. (2012) Generalised compositionality in graph transformation. Technical Report TR-CTIT-12-17, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Full text available as:

PDF

360 Kb
Exported to Metis

Abstract

We present a notion of composition applying both to graphs and to rules, based on graph and rule interfaces along which they are glued. The current paper generalises a previous result in two different ways. Firstly, rules do not have
to form pullbacks with their interfaces; this enables graph passing between components, meaning that components may “learn” and “forget” subgraphs through communication with other components. Secondly, composition is no longer binary;
instead, it can be repeated for an arbitrary number of components.

Item Type:Internal Report (Technical Report)
Research Group:EWI-FMT: Formal Methods and Tools
Uncontrolled Keywords:Graph transformation, Compositionality
ID Code:22118
Deposited On:10 September 2012
More Information:statisticsmetis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item