Computer Science – Logic in Computer Science
Scientific paper
2010-06-26
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.
No associations
LandOfFree
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.
Profile ID: LFWR-SCP-O-525556