Academic
Publications
On the Use of Alloy to Analyze Graph Transformation Systems

On the Use of Alloy to Analyze Graph Transformation Systems,10.1007/11841883_22,Luciano Baresi,Paola Spoletini

On the Use of Alloy to Analyze Graph Transformation Systems   (Citations: 17)
BibTex | RIS | RefWorks Download
This paper proposes a methodology to analyze graph trans- formation systems by means of Alloy and its supporting tools. Alloy is a simple structural modeling language, based on first-order logic, that allows the user to produce models of software systems by abstracting their key characteristics. The tools can generate instances of invariants, and check properties of models, on user-constrained representations of the world under analysis. The paper describes how to render a graph transformation system —specified using AGG— as an Alloy model and how to exploit its tools to prove significant properties of the system. Specifically, it allows the user to decide whether a given configuration (graph) can be obtained through a finite and bounded sequence of steps (invocation of rules), whether a given sequence of rules can be applied on an initial graph, and, given an initial graph and an integer n, which are the configurations that can be obtained by applying a sequence of n (particular) rules.
Conference: Graph Grammars Workshops - GG , pp. 306-320, 2006
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: