Detecting behavioural incompatibilities between two services - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2008

Detecting behavioural incompatibilities between two services


Services are expected to undergo changes, for example as a result of new business rules, or because of correcting issues. When this arises, services designers may need to compare two servicesâï��ï�� interface in order to understand their differences in order to fix the resulting incom- patibilities. The paper presents a technique to detect and report differences between services behaviour. We adopt the notion of simulation as a basis for determining whether a service S1 is behaviourally compatible with an another one S2. Unlike prior work, our technique does not only check if S1 simulates S2 or not. Instead, having identified one source of incom- patibility between S1 and S2, the technique goes on to identify other in- compatibilities, thus providing more detailed diagnostics. The technique has been implemented in a tool that visually pinpoints a set of changes that cause one behavioural interface not to simulate another one.
No file

Dates and versions

hal-00953861 , version 1 (28-02-2014)


  • HAL Id : hal-00953861 , version 1


Ali Ait-Bachir, Marlon Dumas, Marie-Christine Fauvet. Detecting behavioural incompatibilities between two services. Workshop on Engineering Service-Oriented Applications, joint with ICSOC Conference, 2008, Sydney, Australia, LNCS 5472, pp.79--90. ⟨hal-00953861⟩
72 View
0 Download


Gmail Facebook Twitter LinkedIn More