Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Behavioral Equivalences and Approximations Alessandro Aldini

Summary: Behavioral Equivalences and Approximations
Alessandro Aldini
University of Urbino, Italy
Several application domains require formal and flexible techniques for
the comparison of different process models. Whenever classical equivalence
checking does not provide a positive result, relaxed notions of approxima-
tion can be employed to evaluate the degree of similarity. In this extended
abstract, we first discuss the state of the art in the setting of approximate be-
havioral equivalences. Then, as a step towards flexibility and usability, we
present a relaxation of testing equivalence taking into account three orthog-
onal aspects of the process observations: execution time, event probability,
and observed behavior.
1 Approximations of Behavioral Equivalences
Comparing process models through equivalence checking is a frequently used ap-
proach to the analysis of systems in many practical domains, ranging from model-
based verification of software implementations to the analysis of noninterference
based dependability properties. However, in real-world applications perfect equiv-
alence is usually hard to achieve, e.g. because the models to compare are specified
at different abstraction levels, or else they describe alternative implementations of


Source: Aldini, Alessandro - Dipartimento di Matematica, Fisica e Informatica, Universita’ di Urbino "Carlo Bo"


Collections: Computer Technologies and Information Sciences