Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Submitted to: This work is licensed under the
 

Summary: Submitted to:
QAPL 2010
c
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
aldini@sti.uniurb.it
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