Concept of Quantified Abstract Quotient Automaton and its advantage
Guy Juanole, Laurent Gallon · 1997
At first, we define the concept of quantified abstract quotient automaton (which concerns state graphs with qualitative and quantitative labels) and present a methodology for computing it. It is an abstract view which results, on the one hand, of the quotient automaton obtained according to an equivalence relation based on qualitative labels, and, on the other hand, of reduction rules applied to the quantitative labels. This abstract view has the nice property of offering both verification and evaluation capacities (interesting point for the analysis of Qualities of Service, for example). The advantage of this concept for the bottom-up modeling and analysis of multi-layer communication architectures is then demonstrated.