Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Submitted to: This work is licensed under the

Summary: Submitted to:
QAPL 2010
This work is licensed under the
Creative Commons Attribution License.
Approximate Testing Equivalence Based on
Time, Probability, and Observed Behavior
Alessandro Aldini
Institute of Information Science and Technology
University of Urbino, Italy
Several application domains require formal but flexible approaches to the comparison problem. Dif-
ferent process models that cannot be related by behavioral equivalences should be compared via a
quantitative notion of similarity, which is usually achieved through approximation of some equiva-
lence. While in the literature the classical equivalence subject to approximation is bisimulation, in
this paper we propose a novel approach based on testing equivalence. As a step towards flexibility
and usability, we study different relaxations taking into account orthogonal aspects of the process
observations: execution time, event probability, and observed behavior. In this unifying framework,
both interpretation of the measures and decidability of the verification algorithms are discussed.
1 Introduction


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


Collections: Computer Technologies and Information Sciences