The design of a simple language for graph transformations

In a four port valve comprising a piston operable in the body of the valve, a valve seat member having slots, a slidable valve member driven by the piston in co-operation with the valave seat member for connecting an inlet port and an exhaust port to either of two outlet ports, respectively, and a pilot solenoid operated three port valve for controlling a pressurized fluid supplied to a chamber on one side of the piston; a groove is further provided in the slidable valve member in communication with a recessed portion formed therein, first and second pilot holes are provided through the valve seat member, and the relative positions and the dimensions of the groove, pilot holes, and an edge of the slidable valve member are so selected that a transferring action in the connection of a chamber on the other side of the piston occurs at a later part of the period for transferring connection to the inlet port and the outlet port between the two outlet ports.

[1]  Uwe Aamann.  How to Uniformly Specify Program Analysis and Transformation with Graph Rewrite Systems , 1996 .

[2]  Jack Greenfield,et al.  Software factories: assembling applications with patterns, models, frameworks and tools , 2004, OOPSLA '03.

[3]  Grzegorz Rozenberg,et al.  Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .

[4]  Juan de Lara,et al.  Using AToM3 as a Meta-Case Tool , 2002, ICEIS.

[5]  Dorothea Blostein,et al.  Practical Use of Graph Rewriting , 2007 .

[6]  Andy Schürr,et al.  Computing with Graphs and Graph Rewriting , 1999 .

[7]  E. Long,et al.  Increasing Productivity at Saturn , 1998, Computer.

[8]  Gabor Karsai,et al.  Model-Integrated Computing , 1997, Computer.

[9]  Herbert Göttler,et al.  Attributed graph grammars for graphics , 1982, Graph-Grammars and Their Application to Computer Science.

[10]  Andreas Ludwig,et al.  Aspect Weaving with Graph Rewriting , 1999, GCSE.

[11]  Hartmut Ehrig,et al.  Graph-Grammars: An Algebraic Approach , 1973, SWAT.

[12]  John McCarthy,et al.  Recursive functions of symbolic expressions and their computation by machine, Part I , 1960, Commun. ACM.

[14]  Andrea Maggiolo-Schettini,et al.  A Graph Rewriting Framework for Statecharts Semantics , 1994, TAGT.

[15]  Raul Camposano Ansgar Bredenfeld.  Tool Integration and Construction Using Generated Graph-Based Design Representations , 1995, 32nd Design Automation Conference.

[16]  Ansgar Radermacher,et al.  Support for Design Patterns Through Graph Transformation Tools , 1999, AGTIVE.

[17]  Gabor Karsai,et al.  Generative Programming via Graph Transformations in the Model-Driven Architecture , 2002 .

[18]  Gabor Karsai,et al.  Composing Domain-Specific Design Environments , 2001, Computer.

[19]  Herbert Göttler.  Diagram Editors = Graphs + Attributes + Graph Grammars , 1992, Int. J. Man Mach. Stud..

[20]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[21]  Gabor Karsai,et al.  A practical method for creating plant diagnostics applications , 1996 .