Web Services Feature Interaction Detection Based on Situation Calculus

Feature interaction has been identified as a problem in the telecommunications domain in the 1980s, but since it has been shown to be a problem of systems that are composed of individually designed components. Clearly Web service composition is a way of building services from independently designed components and hence is subject to the same problem. This paper investigates the detection of feature interactions in Web services at runtime and proposes a novel detection method by taking inspiration from the Situation Calculus. Two case studies show that it is effective for detecting feature interactions in composite Web services.

[1]  Michael Weiss,et al.  Towards a Classification of Web Service Feature Interactions , 2005, ICSOC.

[2]  Tom Gray,et al.  Policy support for call control , 2006, Comput. Stand. Interfaces.

[3]  Babak Esfandiari,et al.  On feature interactions among Web services , 2004 .

[4]  Evan H. Magill,et al.  Service provision : technologies for next generation communications , 2005 .

[5]  Kenneth J. Turner.  Formalising Web Services , 2005, FORTE.

[6]  Fangchun Yang,et al.  Immune-Inspired Online Method for Service Interactions Detection , 2007, SOFSEM.

[7]  Fangchun Yang,et al.  Detecting Race Conditions in Web Services , 2006, Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06).

[8]  Evan H. Magill.  Feature Interaction: Old Hat or Deadly New Menace? , 2005 .

[9]  Ian Horrocks,et al.  OWL rules: A proposal and prototype implementation , 2005, J. Web Semant..

[10]  Raymond Reiter,et al.  Some contributions to the metatheory of the situation calculus , 1999, JACM.

[11]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[12]  Mario Kolberg,et al.  Feature interaction: a critical review and considered forecast , 2003, Comput. Networks.

[13]  Jerry R. Hobbs,et al.  DAML-S: Semantic Markup for Web Services , 2001, SWWS.

[14]  Gordon S. Blair,et al.  Feature Interactions Outside a Telecom Domain , 2001, FICS.

[15]  Fangchun Yang,et al.  Detecting the Web Services Feature Interactions , 2006, WISE.

[16]  Daniel Amyot,et al.  Directions in feature interaction research , 2004, Comput. Networks.