Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior

Details Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior

2010-06-26

arxiv.org/abs/1006.5094v1

EPTCS 28, 2010, pp. 1-15

Computer Science

Logic in Computer Science

Scientific paper

10.4204/EPTCS.28.1

Several application domains require formal but flexible approaches to the comparison problem. Different 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 equivalence. 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.

Affiliated with

Also associated with

No associations

Rating

Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-525556