IIIT Hyderabad Publications |
|||||||||
|
A definition of edit-distance modulo bisimulationAuthors: Santosh Arvind Adimoolam,Venkatesh Choppella Date: 2014-01-07 Report no: IIIT/TR/2014/1 AbstractAlthough much research has went into graph edit distance problem [2], there has not been any work that proposes a measure to quantify behavioral proximity. In this short report we come up with a measure of behavioral proximity between two FSM models. The measure is called Edit distance modulo bisimulation, where bisimulation equivalence is the basis of comparision between two machines. Note that our defnition of edit distance (modulo bisimulation) for FSMs gives behavioral proximity and is different from structural edit distance for graphs which gives structural proximity. Full report: pdf Centre for Software Engineering Research Lab |
||||||||
Copyright © 2009 - IIIT Hyderabad. All Rights Reserved. |