Kuske, S., Semantic aspects of the graph and rule centered language GRACE, in: F. Rossello Llompart and G. Valiente Feruglio, editors, Proc. Colloquium on Graph Transformation and its Application in Computer Science, Technical Report, Palma de Mallorca, 1995, pp. 63-70.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....language for rule based systems employing graph rewriting. The dream behind Grace is to make the potentials of graph grammars and graph transformation systems more visible and applications of them more popular. Some ideas and principles of Grace are outlined in Kreowski s paper [Kre95] In [Kus95a] Kuske illustrates by an example the idea of structured programming with transformation units in Grace. Moreover, two unary operations are presented, each of which constructs a normal form of a transformation unit. It is shown that none of these operations changes the interleaving semantics of ....

S. Kuske. Semantic aspects of the graph and rule centered language GRACE. In G. Valiente Feruglio and F. Rosello Llompart, editors, Proc. Colloquium on Graph Transformation and its Application in Computer Science. Technical Report B-19, Universitat de les Illes Balears, 1995. 44

....language for rule based systems employing graph rewriting. The dream behind Grace is to make the potentials of graph grammars and graph transformation systems more visible and applications of them more popular. Some ideas and principles of Grace are outlined in Kreowski s paper [Kre95] In [Kus95a] Kuske illustrates by an example the idea of structured programming with transformation units in Grace. Moreover, two unary operations are presented, each of which constructs a normal form of a transformation unit. It is shown that none of these operations changes the interleaving semantics of ....

S. Kuske. Semantic aspects of the graph and rule centered language GRACE. In G. Valiente Feruglio and F. Rosello Llompart, editors, Proc. Colloquium on Graph Transformation and its Application in Computer Science. Technical Report B-19, Universitat de les Illes Balears, 1995.

....identify the necessary means to make graph transformation more visible in the applied areas of computer science. The outcome of the GRACE process consists so far of some papers which are more or less in uenced by the discussed ideas and a part of which refers explicitly to GRACE (see, e.g. 10] [17], 11] 21] 16] 1] 8] 12] 13] 2] 4] 9] 14] 15] 18] In this paper, we introduce and survey GRACE as a unifying approach to graph transformation based speci cation with emphasis on uniform modeling of graphical processes. In particular, the following fundamentals are ....

Kuske, S., Semantic aspects of the graph and rule centered language GRACE, in: F. Rossello Llompart and G. Valiente Feruglio, editors, Proc. Colloquium on Graph Transformation and its Application in Computer Science, Technical Report, Palma de Mallorca, 1995, pp. 63-70.

....of graph transformation rules can be structured hierarchically and existing transformation units can be re used. The transformation unit is a basic concept of the new graph and rule centered language GRACE that is being developed by researchers from Aachen, Berlin, Bremen, and Leiden (see also [Kre95, Kus95, Sch95]) Nevertheless, the notion is meaningful in its own right because independently of GRACE it can be employed as a structuring principle in most graph transformation approaches one encounters in the literature where graph transformation is also called graph rewriting. The paper is organized ....

S. Kuske. Semantic aspects of the graph and rule centered language GRACE. In Rossell'o and Valiente [RV95], 63--69.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC