zbMATH — the first resource for mathematics

Refinements and modules for typed graph transformation systems. (English) Zbl 0961.68034
Fiadeiro, José Luiz (ed.), Recent trends in algebraic development techniques. 13th international workshop, WADT ’98, Lisbon, Portugal, April 2-4, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1589, 138-151 (1999).
Summary: Spatial and temporal refinement relations between typed graph transformation systems have been introduced by M. Große-Rhode, F. Parisi-Presicce and M. Simeoni [Lect. Notes Comput. Sci. 1450, 553-561 (1998; Zbl 0910.18001)]. In a spatial refinement a transformation rule is refined by an amalgamation of rules while in a temporal refinement it is refined by a sequence of rules: in both cases, the refinement relation supports the modeling of implementation. In the first part of this paper, we further investigate the properties of spatial and temporal refinements while, in the second part, we employ them for the development of a module concept for typed graph transformation systems. Finally, as a first step towards an algebra of modules, we introduce the operations of union and composition of modules.
For the entire collection see [Zbl 0921.00029].

68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
68R10 Graph theory (including graph drawing) in computer science
68P15 Database theory