Proceedings of the First International Workshop on Graph Transformation and Visual Modeling Techniques
GT-VMT, 2001.

@proceedings{GT-VMT-2001,
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	title         = "{Proceedings of the First International Workshop on Graph Transformation and Visual Modeling Techniques}",
	volume        = 50,
	year          = 2001,
}

Contents (14 items)

GT-VMT-2001-EhrigO #concept #data type #framework #integration #modelling #process

A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques (HE, FO), pp. 199–226.

GT-VMT-2001-BauderonGMMS #algorithm #distributed #graph #visualisation

Visualization of Distributed Algorithms Based on Graph Relabelling Systems (MB, SG, YM, MM, AS), pp. 227–237.

GT-VMT-2001-CorradiniDR #graph transformation #mobile #specification #using

A Graph Transformation View on the Specification of Applications using Mobile Code (AC, FLD, LR0), pp. 238–246.

GT-VMT-2001-FlescaFG #graph grammar #query

Graph Grammars for Querying Graph-like Data (SF, FF, SG), pp. 247–256.

GT-VMT-2001-HeckelK #behaviour #constraints #modelling #visual notation

Behavioral Constraints for Visual Models (RH, JMK), pp. 257–265.

GT-VMT-2001-Tsiolakis #diagrams #sequence chart #uml

Integrating Model Information in UML Sequence Diagrams (AT), pp. 266–274.

GT-VMT-2001-VerlindenJ #modelling #petri net

Modeling Petri Nets by Local Action Systems (NV, DJ), pp. 275–281.

GT-VMT-2001-AritaTTY #editing #graph grammar

Application of Attribute NCE Graph Grammars to Syntactic Editing of Tabular Forms (TA, KT, KT, TY), pp. 282–288.

GT-VMT-2001-BardohlST #parsing #visual notation

Visual Language Parsing in GenGEd (RB, TS, GT), pp. 289–294.

GT-VMT-2001-KothM #abstraction #diagrams #editing

Abstraction in Graph-Transformation Based Diagram Editors (OK, MM), pp. 295–301.

GT-VMT-2001-FormisanoS #reasoning #visual notation

An AGG Application Supporting Visual Reasoning (AF, MS), pp. 302–309.

GT-VMT-2001-BusattoH #graph transformation

Comparing Notions of Hierarchical Graph Transformation (GB, BH), pp. 310–317.

GT-VMT-2001-Pfaltz #approach #concept #empirical #graph #induction

Transformations of Concept Graphs: An Approach to Empirical Induction (JLP), pp. 318–324.

GT-VMT-2001-BaresiPT #graph transformation #modelling #visual notation

Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001 (LB, MP, GT), pp. 325–326.