On Modifying High Level Replacement Systems1 1Partially supported by the European Community under TMR GETGRATS and Esprit WG APPLIGRAPH
Francesco Parisi-Presicce · Electronic Notes in Theoretical Computer Science · 2001
High Level Replacement Systems generalize the concept of graph transformation systems from graphs to other types of structures. Transformation rules to replace a structure with another structure in the same category are defined using morphisms in that category. As with other specification formalisms, replacement systems are subject to modifications during their development process. These modifications could be local changes (individual rules are modified), modular changes (two replacement systems are combined to form a larger system) and global changes (the replacement of a replacement subsystem with another one). These different ways are analyzed and some results are presented to express the behavior of the modified system in terms of the behavior of the original one(s). Applications range from graph transformations to diagrams in visual languages and modelling to algebraic high level nets.