Method for detecting functional feature interactions of web services

Web services expose features of business applications, and make them accessible to other businesses. Services can be combined and recombined into higher-level services. However, as services evolve, undesirable results and poor service quality can be the outcome: web services may interact with each other in unexpected and undesirable ways. This problem is also known as the feature interaction problem. In our earlier work, we have provided examples of functional and non-functional feature interactions of web services, i.e. interactions related to service functionality and service properties. In this paper, we describe a method for detecting feature interactions between functional features. This method is based on the verification of safety and progress properties in Labeled Transition Systems (LTSs). We also discuss the use of Use Case Maps (UCMs) to describe the high-level behavior of a composite service, which provides input to our analysis method, and present our initial work towards extracting generic templates for defining properties