International Workshop on Graph-Based Tools (GraBaTs)

Rome, Italy
October 2 , 2004

A satellite event of the
Second International Conference on Graph Transformation (ICGT 2004)

Programme of GraBaTs'04

Chair 

Tom Mens (Université de Mons-Hainaut, Belgium)
Andy Schürr (Technische Universität Darmstadt, Germany)
Gabriele Taentzer (Technische Universität Berlin, Germany)

Scope and Objectives
of the Workshop 

Graphs are a well-known, well-understood, and frequently used  means to depict networks of related items. They are successfully used as the underlying mathematical concept in application areas such as 

  * Compiler Compiler Toolkits 
  * Constraint Solving Problems 
  * Generation of CASE Tools
  * Model-Driven Software Development
  * Pattern Recognition Techniques 
  * Program Analysis 
  * Software Engineering Tools 
  * Software Evolution 
  * Software Visualization and Animation 
  * Visual Languages 

In all these areas tools are developed that store, retrieve, manipulate and display graphs. It is the purpose of this  workshop to summarize the state of the art of graph-based tool  development, bring together developers of graph-based tools in  different application fields and to encourage new tool development cooperations. 

Contributions

Different classes of contributions are sought: Position papers which address the following topics among others: 

 * efficient algorithms 
 * empirical and experimental results on scalability 
 * reusable software components 
 * software architectures and frameworks 
 * standard data exchange formats 
 * tool integration techniques 
 * novel application areas 
 * and meta CASE tools or generators 

for graph-based tools.

Applications of concrete graph-based tools generating tool support  for modeling with statecharts (see the special session below).

Furthermore, proposals for discussions on practical problems are invited. 

Special Session
  In order to foster a lively discussion on "Graph-based tools for visual modeling techniques", any developer is invited to apply their tool to generate a running modeling environment for a sublanguage of the UML containing at least a reasonable variant of  Statechart Diagrams, large enough to model the sample statechart in Figure 3-71 of the UML Specification Version 1.5 .  At least one of  the following aspects should be considered:
  • concrete and abstract syntax 
  • operational and denotational semantics
  • consistency and refinement relations
  • model transformations
This special session is meant to continue the discussion and comparison of  visual language definition started at the  "Statechart contest" at VLFM'01.  This time,  the emphasis is laid on graph-based approaches and tool support on one hand, and the discussion is extended with regard to different semantics and transformations on the other hand. Moreover, this session is of special interest for the European Research Training Network  SegraVis  where new solutions  for  the definition and implementation visual modeling languages are developed.

Session chairs:  Mark Minas (Universität der Bundeswehr München, Germany) and Gabriele Taentzer (Technische Universität Berlin, Germany)

Program Committee 

Luciano Baresi  (Politecnico di Milano, Italy)
Ulrik Brandes ( Universität Konstanz, Germany)
Holger Giese (Universität Paderborn, Germany)
Gabor Karsai (Vanderbilt University, USA)
Scott Marshall (Universiteit Amsterdam, The Netherlands)
Mark Minas (Universität der Bundeswehr München, Germany)
Daniel Varro (Budapest University of Technology and Economics, Hungary)
Pieter Van Gorp (Universiteit Antwerpen, Belgium)
Andreas Winter (Universität Koblenz-Landau, Germany)
Albert Zündorf (Universität Kassel, Germany)

Submission 

Authors are invited to submit extended abstracts of 5 to 10 pages in ENTCS format electronically by e-mail. Papers should be sent in pdf or postscript format to Gabriele Taentzer (gabi@cs.tu-berlin.de). Please include in the body of the e-mail the authors' names, addresses, affiliations and the paper's title and abstract. Accepted contributions will appear in an issue of Elsevier's Electronic Notes in Theoretical Computer Science. A preliminary version of the issue will be available at this Web site.

Important Dates 


Submission Deadline:  June 20, 2004 - shifted to June 30

Notification of Acceptance: July 18, 2004 - shifted to July 26

Camera Ready Version: August 31, 2004 - shifted to September 10, 2004

Workshop: October 2, 2004

Information for
Reviewers 

Review information