Composing control flow and formula rules for computing on grids

We define computation on grids as the composition, through pushout constructions, of control flows, carried across adjacency relations between grid cells, with formulas updating the value of some attribute. The approach is based on the identification of a subcategory of attributed typed graphs suitable to the definition of pushouts on grids, and is illustrated in the context of the Cyberfilm visual language.

[1]  Antonio Restivo,et al.  Two-Dimensional Languages , 1997, Handbook of Formal Languages.

[2]  Annegret Habel,et al.  Unification, rewriting, and narrowing on term graphs , 1995, SEGRAGRA.

[3]  Francesco Parisi-Presicce,et al.  Transformations of Graph Grammars , 1994, TAGT.

[4]  Reiko Heckel,et al.  Confluence of Typed Attributed Graph Transformation Systems , 2002, ICGT.

[5]  Paolo Bottoni,et al.  Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages , 2007 .

[6]  Donald Sannella,et al.  Extended ML: Past, Present, and Future , 1990, ADT.

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

[8]  José Luiz Fiadeiro,et al.  Separating computation, coordination and configuration , 2002, J. Softw. Maintenance Res. Pract..

[9]  Paolo Bottoni,et al.  A Suite of Metamodels as a Basis for a Classification of Visual Languages , 2004, 2004 IEEE Symposium on Visual Languages - Human Centric Computing.

[10]  Jayme Luiz Szwarcfiter,et al.  Hamilton Paths in Grid Graphs , 1982, SIAM J. Comput..

[11]  Hans-Jörg Kreowski,et al.  Graph Transformation Units with Interleaving Semantics , 1999, Formal Aspects of Computing.

[12]  Gabor Karsai,et al.  The design of a language for model transformations , 2006, Software & Systems Modeling.

[13]  Francesca Rossi,et al.  Graph Processes , 1996, Fundam. Informaticae.

[14]  Peter D. Mosses,et al.  Unified Algebras and Abstract Syntax , 1992, COMPASS/ADT.

[15]  Michael Löwe,et al.  An algebraic framework for the transformation of attributed graphs , 1993 .

[16]  Albert Zündorf,et al.  The PROGRES approach: language and environment , 1999 .

[17]  Gabriele Taentzer,et al.  Towards Integrating Multiple Perspectives by Distributed Graph Transformation , 1999 .

[18]  Pawel Sobocinski,et al.  Adhesive Categories , 2004, FoSSaCS.

[19]  Hartmut Ehrig,et al.  Attributed graph transformation with node type inheritance , 2007, Theor. Comput. Sci..

[20]  Paolo Bottoni,et al.  Pointed pictures , 2007, J. Vis. Lang. Comput..

[21]  Hans-Jörg Kreowski,et al.  Recent Trends in Data Type Specification , 1985, Informatik-Fachberichte.

[22]  Yutaka Watanobe,et al.  Filmification of methods: A visual language for graph algorithms , 2008, J. Vis. Lang. Comput..

[23]  Juan de Lara,et al.  Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph Grammar Rules , 2007, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[24]  Gabriele Taentzer,et al.  Consistency Checking and Visualization of OCL Constraints , 2000, UML.

[25]  Gabriele Taentzer,et al.  Amalgamated Graph Transformations and Their Use for Specifying AGG - an Algebraic Graph Grammar System , 1993, Dagstuhl Seminar on Graph Transformations in Computer Science.

[26]  M. J. Plasmeijer,et al.  Term graph rewriting: theory and practice , 1993 .

[27]  Juan de Lara,et al.  Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages , 2007, IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007).

[28]  Nikolay N. Mirenkov,et al.  Visual computing within environment of self-explanatory components , 2002, Soft Comput..