Project duration: 2006-2008

Financing by: German Research Foundation (DFG)

Summary of the research project:

Theoretical foundations and resulting concepts for the development of correct graph transformation systems and graph programmes are to be developed. As a language for the specification of program properties, graphical constraints (instead of predicate logic formulas) are to be investigated and used, which appear to be suitable both for describing the requirements of a system and for drawing conclusions about the system behaviour. Furthermore, constraint transformations via rules, sets of rules, sequential composition of rules and iterated graph programmes will be investigated and decision or semi-decision procedures for the implication problem of graphical constraints will be developed. The applicability of the concepts is to be demonstrated by means of suitable case studies. Accompanying implementations will be carried out with the intention of automating the essential steps in order to finally obtain a tool that supports the synthesis of correct graph transformation systems and the verification of graph programmes.