A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Using Graph Transformation Systems to Specify and Verify Data Abstractions
2009
Electronic Communications of the EASST
This paper proposes an approach for the specification of the behavior of software components that implement data abstractions. By generalizing the approach of behavior models using graph transformation, we provide a concise specification for data abstractions that describes the relationship between the internal state, represented in a canonical form, and the observers of the component. Graph transformation also supports the generation of behavior models that are amenable to verification. To
doi:10.14279/tuj.eceasst.10.155
dblp:journals/eceasst/BaresiGMM08
fatcat:sz3qygm6tzfhxmqbtp33yfrmly