Requirements Scenarios Formalization Technique N Versions Towards One Good Version

Using a notion of simulation introduced by de Roever et al. [9], we define a corresponding notion of bisimulation which we will use as a test to detect formality discrepancy between two formal versions of the same informal scenario. We will also use it, combined with the relation part of, as a test to detect discrepancy between two formal scenarios describing two different informal scenarios. We will describe a way of implementing these …