A use-modify framework to detect feature interactions in web services

Abstract EN

Composing Web services is often beneficial since created the new Web services from existing ones.

However, Web service composition is prone to feature interactions, which denote undesirable behaviors arising when several Web services are used together.

The existing methods for detecting feature interactions suffer generally from state space explosion.

In this paper, we develop a method to detect feature interactions in Web services, which targets the reduction of state space explosion while trying to keep an acceptable power of feature interaction detection.

The proposed method is based on the use of a language called Use-Modify which models Web services at a high abstraction level.

A Use-Modify model of a Web service provides information such as “who uses what”, “who modifies what”, and characterizes each operation of use and modifying by “always”, “sometimes”, “never” and “maybe”.

"Use-Modify" also indicates, for each use and modifies, whether there are conditions which may specified or unspecified.

We study the computational complexity of our feature interaction detection method and demonstrate its applicability in several examples.