Gregor Engels, Reiko Heckel  Home/Search
Context
Related
Links: DBLP | unipaderborn.de/cs...EngelsGTVMT00.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: agengels.upb.de/ad...pub_list.php (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In order to define the semantics of diagram languages, new techniques may be developed following the established approaches of denotational, operational, or algebraic semantics of programming languages. Due to the multi-dimensional nature of diagrams (as opposed to the linear structure of programs), these new approaches should be based on graphs (rather than trees or terms) and graph transformation could provide the underlying technology. In this paper, we try to... (Update)
Similar documents (at the sentence level):
50.9%: From Trees to Graphs: Defining the Semantics of Diagram.. - Engels, Heckel (Correct)
Active bibliography (related documents): More All
1.0: Appligraph: Applications of Graph Transformation - Final Report - Kreowski, (eds.) (2002) (Correct)
0.4: Appligraph: Applications of Graph Transformation - Third.. - Kreowski, (eds.) (2000) (Correct)
0.3: Computing by Graph Transformation - A Survey and Annotated.. - Ehrig, (eds.) (1996) (Correct)
Similar documents based on text: More All
0.3: UML - A Universal Modeling Language? - Engels, Heckel, Sauer (2000) (Correct)
0.3: A Combined Reference Model- and View-Based Approach.. - Engels, Heckel.. (1997) (Correct)
0.3: Classification and Comparison of Modularity.. - Hartmut Ehrig.. (1998) (Correct)
BibTeX entry: (Update)
@inproceedings{ engels00from,
author = "Gregor Engels and Reiko Heckel",
title = "From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation",
booktitle = "{ICALP} Satellite Workshops",
pages = "373--382",
year = "2000",
url = "citeseer.ist.psu.edu/engels00from.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - HOARE - 1985 ACM DBLP
1933 Communication and Concurrency (context) - MILNER - 1989 ACM
906 A structural approach to operational semantics - PLOTKIN - 1981
159 The chemical abstract machine (context) - BERRY, BOUDOL - 1992 ACM DBLP
111 Handbook of Graph Grammars and Computing by Graph Transforma.. (context) - EHRIG, ENGELS et al. - 1999 ACM
111 Handbook of Graph Grammars and Computing by Graph Transforma.. (context) - EHRIG, KREOWSKI et al. - 1999 ACM
78 Conditional rewriting logic as a unied model of concurrency (context) - MESEGUER - 1992
76 Towards a mathematical semantics for computer languages (context) - SCOTT, STRACHEY - 1971
49 Fundamentals of algebraic specications 1: Equations and init.. (context) - EHRIG, MAHR - 1985
47 Hyperedge replacement graph grammars (context) - DREWES, KREOWSKI et al. - 1997 ACM
43 Fundamenta Informaticae (context) - CORRADINI, MONTANARI et al. - 1996
38 Application of graph transformation to visual languages - BARDOHL, TAENTZER et al. ACM
33 Semantics with Applications (context) - NIELSON, NIELSON - 1992 ACM
30 The syntax and semantics of the proposed international algeb.. (context) - BACKUS - 1959 DBLP
29 Term graph rewriting - PLUMP ACM DBLP
27 State diagrams in UML -- a formal semantics using graph tran.. - GOGOLLA, PARISI-PRESICCE - 1998
26 Mathematical Systems Theory (context) - BAUDERON, COURCELLE - 1987 ACM
21 A graph grammar approach to graphical parsing (context) - REKERS, SCH - 1995 ACM DBLP
20 An initial algebra approach to the specication (context) - GOGUEN, THATCHER et al. - 1978
20 OMG Unied Modeling Language Speci cation (context) - GROUP - 1999
18 A hybrid query language for the extended entity relationship.. - ANDRIES, ENGELS - 1996
15 Computation by Tree Transductions (context) - DREWES - 1996
12 Equivalence rules for UML class diagrams - GOGOLLA, RICHTERS - 1998
12 Hypergraphs as a uniform diagram representation model - MINAS ACM DBLP
10 UML collaboration diagrams and their transformation to Java (context) - ENGELS, UCKING et al. - 1999 DBLP
10 Graphical operational semantics - CORRADINI, HECKEL et al. DBLP
10 An algebra of graphs and graph rewriting (context) - CORRADINI, MONTANARI - 1991 ACM DBLP
9 A bi-categorical axiomatisation of concurrent graph rewritin.. - GADDUCCI, HECKEL et al. - 1999 DBLP
9 Abstract syntax and semantics of visual languages (context) - ERWIG - 1998 DBLP
6 Conceptual model of the graphical editor GenGed for the visu.. - BARDOHL, EHRIG
6 A generic model for diagram syntax and semantics - HOFFMANN, MINAS DBLP
5 Workshop on Theory and Application of Graph Transformation (context) - EHRIG, ENGELS et al. - 2000
5 A survey of visual language specication and recognition (context) - MARRIOTT, MEYER et al. - 1998
4 From formulae to rewriting systems (context) - BOTTONI, PARISI-PRESICCE et al. ACM DBLP
3 How to represent a visual specication (context) - ANDRIES, ENGELS et al. - 1997
2 An NCE context-sensitive graph grammar for visual modeling l.. (context) - KOBAYASHI, ADACHI
2 Gregor Engels and Reiko Heckel are with the Universit at Pad.. (context) - TENNENT - 1991
Documents on the same site (http://agengels.upb.de/admin/pubs/pub_list.php): More
Dynamic Meta Modeling with Time: Specifying the Semantics of .. - Hausmann, Heckel (2002) (Correct)
Classification And Comparison Of Module Concepts For Graph.. - Heckel, Engels (1999) (Correct)
Formal Semantics for a UML Fragment Using UML/OCL Metamodeling - Tchertchago (2002) (Correct)
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