Software system analysis with graph homomorphisms
Constantinos Karapoulios, George K. Adam, Spyros Xanthakis · International Conference on Systems · 2005
In this paper we present a graph based formalism for the analysis and the behavioral envisioning of software based systems. We first try to identify and solve the main limitations of dynamic analysis approaches. Follow some results of a qualitative abstraction tool and some simple application examples. We then introduce the concept of a system qualitative graph, the role of graph homomorphisms for modeling a software, and more generally a system, as a continuous phase transition map operating on an abstract data space. We finish with the presentation of the underlying mathematical framework and some properties of graph homomorphism invariants.