|
Trudy SPIIRAN, 2012, Issue 23, Pages 296–323
(Mi trspy554)
|
|
|
|
Applications of typed $\lambda$-terms to categorical attributed graph transformations
S. N. Baranovabc, B. Boisvertd, S. V. Solov'evcd, L. Féraudd a St. Petersburg State Academy of Aerospace Equipment Construction
b Saint-Petersburg State Polytechnical University
c St. Petersburg Institute for Informatics and Automation of RAS
d Université Paul Sabatier, Toulouse
Abstract:
This paper deals with model transformation based on attributed graph rewriting. Our contribution investigates a single pushout approach for applying the rewrite rules. The computation of graph attributes is obtained through the use of $\lambda$-terms in a typed $\lambda$-calculus with inductive types. In this paper we present solutions to cope with single pushout construction for the graph structure and the computations functions. As this rewrite system uses inductive types, the expressive power of attribute computations increases and appears to be more efficient than the one based on $\Sigma$-algebras. Some examples showing the interest of our computation approach are described in this paper.
Keywords:
category theory, single pushout, $\lambda$-calculus, attributed graph rewriting.
Received: 17.11.2012
Citation:
S. N. Baranov, B. Boisvert, S. V. Solov'ev, L. Féraud, “Applications of typed $\lambda$-terms to categorical attributed graph transformations”, Tr. SPIIRAN, 23 (2012), 296–323
Linking options:
https://www.mathnet.ru/eng/trspy554 https://www.mathnet.ru/eng/trspy/v23/p296
|
Statistics & downloads: |
Abstract page: | 184 | Full-text PDF : | 65 | References: | 33 | First page: | 1 |
|