Sciweavers

FUIN
2006
132views more  FUIN 2006»
14 years 9 months ago
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation
Adhesive high-level replacement (HLR) systems are introduced as a new categorical framework for graph transformation in the double pushout (DPO) approach, which combines the well-k...
Hartmut Ehrig, Julia Padberg, Ulrike Prange, Anneg...
57
Voted
ACS
2008
14 years 9 months ago
Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components
The integration of two important categorical frameworks
Julia Padberg