论文信息 - Graph Operations and Free Graph Algebras

Graph Operations and Free Graph Algebras

We introduce a concept of graph algebra that generalizes the traditional concept of algebra in the sense that (1) we use graphs rather than sets as carriers, and (2) we generalize algebraic operations to diagrammatic operations over graphs, which we call graph operations.

Zinovy Diskin | Harald König | Uwe Wolter

[1] Gabriele Taentzer,et al. Co-evolving meta-models and their instance models: A formal approach based on graph transformation , 2015, Sci. Comput. Program..

[2] Adrian Rutle,et al. A formal approach to the specification and transformation of constraints in MDE , 2012, J. Log. Algebraic Methods Program..

[3] Adrian Rutle,et al. A formalisation of the copy-modify-merge approach to version control in MDE , 2010, J. Log. Algebraic Methods Program..

[4] Zinovy Diskin,et al. Heterogeneous View Integration via Sketches and Equations , 1996, ISMIS.

[5] Hartmut Ehrig,et al. Fundamentals of Algebraic Graph Transformation , 2006, Monographs in Theoretical Computer Science. An EATCS Series.

[6] Zinovy Diskin,et al. A Graphical Yet Formalized Framework for Specifying View Systems , 1997, ADBIS.

[7] M. Makkai. Generalized sketches as a framework for completeness theorems , 1997 .

[8] Hartmut Ehrig,et al. Fundamentals of Algebraic Specification 2: Module Specifications and Constraints , 1990 .

[9] Ingo Claßen,et al. Categorical concepts for parameterized partial specifications , 1995, Mathematical Structures in Computer Science.

[10] Zinovy Diskin,et al. A Diagrammatic Logic for Object-Oriented Visual Modeling , 2008, Electron. Notes Theor. Comput. Sci..

[11] Hartmut Ehrig,et al. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics , 1985 .