Can Graph Grammars Make Formal Methods More Human
Mauro Pezzè, Luciano Baresi · 2000
Formal methods are scarcely used in industrial applications. Industrial strength tools and educational effort do not significantly help in promoting formal methods. Main obstacles to the industrial application of formal methods are lack of flexibility, lack of specialization, and difficulties in interpreting analysis results. This paper argues that graph grammars can help in overcoming such limitations. The paper suggests that translation rules based on graph grammars are a natural merging of formalizations based on graph grammars and rule based approaches; thus it indicates a challenging practical application domain for graph grammars.