ICGT 2002  Tutorial on

Foundations and Applications of Graph Transformation

October 8, 2002

Co-located with the International Conference on Graph Transformation (ICGT 2002),
Oct 7 - 12, 2002, Barcelona, Spain

 


Supplementory Materials

Baresi, L. und Heckel. R
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
In Corradini, A.,H. Ehrig, H.-J. Kreowski und G. Rozenberg (Editoren): Proc. 1st Int. Conference on Graph Transformation (ICGT 02), Barcelona, Spain, Volume 2505 of Lecture Notes in Comp. Science. Springer-Verlag, Oktober 2002.

Hausmann, J.H., R. Heckel und G. Taentzer
 Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation
In Proc. Int. Conference on Software Engineering (ICSE'2002) , Orlando, FL, Mai 2002. ACM/IEEE Computer Society.


Speakers


Luciano Baresi (baresi@elet.polimi.it)

Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy
Reiko Heckel (reiko@upb.de)
Department of Mathematics and Computer Science, University of Paderborn, Paderborn, Germany

Objectives and Contents

The tutorial is intended as a general introduction to the area of graph transformation specifically directed towards scientists who are not very familiar with the field. Attending the tutorial shall enable them to appreciate better the conference and its satellite events.

The tutorial will start with an informal introduction to the basic concepts of graph transformation (like graph, rule, transformation, etc.) discussing semantic choices (like which notion of graph to use; how to put labels, attributes, or types; or what to do with dangling links during rewriting, etc.) and mentioning different ways of formalizing the basic concepts.
In the second part, the tutorial will give a survey of typical applications of graph transformation in software engineering, e.g., as a specification language and semantic model for concurrent and distributed systems, as a meta language for defining the syntax, semantics, and manipulation of diagrams, as a visual data base programming language, etc.
These applications shall be presented by means of concrete examples and references to the relevant literature.

About the Speakers

Luciano Baresi  is assistant professor at Dipartimento di Elettronica e Informazione at Politecnico di Milano, where he got both his Laurea Degree and Ph.D. in Computer Science. Luciano Baresi was also junior researcher at Cefriel - a research consortium among technical universities and companies in Milan) and visiting professor at University of Oregon at Eugene (USA). He served in the program committee of ICECCS'2000 (IEEE Conference on Engineering Complex Computer Systems) and was also publicity co-chair for the same conference. He is serving also in the Program Commitee of ICECCS'2001 and is program co-chair of GT-VMT'2001 (International Workshop on Graph Transformation and Visual Modeling Techniques, co-located with ICALP). Luciano Baresi is publicity chair of the IEEE Technical Committee of Complexity in Computing.

Reiko Heckel is assistant professor  at the University of Paderborn.  His main research interest is on  the use of graph transformation in software engineering.  He has contributed to the theory of graph transformation, in particular, concerning structuring and modularity concepts, categorical and algebraic models of concurrency, graph-based temporal logic, and the application of this theory to the modeling of open, distributed, and agent-based systems, and as a semantic framework for visual modeling languages. He has co-organized the first workshop on graph transformation and visual modeling techniques (GTVMT 2000) as a satellite event to ICALP 2000 in Geneva, Switzerland, and he is on the program committees of  GTVMT 2001 and 2002 and of the International Conference on Graph Transformation (ICGT 2002).