Skip to main content
Article thumbnail
Location of Repository

Modeling business process of web services with an Extended STRIPS Operations to detection feature interaction problems runtime

By Jiuyun Xu, Kun Chen, Youxiang Duan and Stephan Reiff-Marganiec


This paper was presented at the ICWS 2011, IEEE 9th International Conference on Web Services, 4–9 July 2011, Washington DC, USA and published in the proceedings.Service-Oriented Computing achieves its full potential when services interoperate. Current service-oriented computing research is concerned with the low level interoperation among services, such as service discovery, service composition etc. However, a high level research issue in form of the feature interaction problem is challenging the interoperation of services. Traditional feature interaction methods are focused on the service design phase using formal methods or pragmatic software engineering analysis. Autonomy and distribution of service development and deployment create needs for runtime detection and resolution of feature interactions in SOC. This paper investigates the detection of feature interactions in web services at runtime and proposes ESTRIPs, an extended STRIPS operation to ensure conflict-free services are identified to populate business processes, using a combination of OWL-S, SWRL and runtime data extracted from SOAP messages. First, we define the feature interaction problem in business process during their execution and then introduce the ESTRIPS method. The implementation of a prototype is illustrated and a real world scenario shows the plausibility of our method for detecting feature interactions in business processes.Peer-reviewedPost-prin

Topics: Feature Interaction, Web services, Extended STRIPS Operation, OWL-S, SOAP Message
Publisher: Institute of Electrical and Electronics Engineers (IEEE)
Year: 2011
DOI identifier: 10.1109/ICWS.2011.73
OAI identifier:

Suggested articles


  1. (2006). Detecting Race Conditions in Web Services, doi
  2. (2006). Detecting the Web Services Feature Interactions. doi
  3. (2001). Feature Interaction Outside a Telecom Domain. In:
  4. (2003). Feature interaction: a critical review and considered forecast. doi
  5. (2004). Feature Interactions: Old Hat or Deadly New Menace? In: doi
  6. (2005). Formalising Web Services. In: doi
  7. (2004). Guest Editorial: Directions in Feature Interaction Research. In: doi
  8. (2007). Immune-Inspired Online Method for Service Interactions Detection. doi
  9. Information and Network Dynamics Lab Semantic Web Agents Project,
  10. (2007). Katia Sycara, Specify and Monitoring Composite Events for Semantic Web Services, in Web Services, doi
  11. (2009). Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. In: FMOODS/FORTE doi
  12. (2004). On Feature Interactions among Web Services. In: doi
  13. (2005). OWL rules: A proposal and prototype implementation. doi
  14. (2008). OWL-S Atomic Services Composition with SWRL Rules. doi
  15. OWL-S: Semantic Markup for Web Services, doi
  16. (2007). Policies and Aspects for the Supervision of BPEL Processes. CAiSE doi
  17. (2006). Policy Support for Call Control. doi
  18. (2008). Roman Vaculin, Process Mediation, Execution Monitoring and Recovery for Semantic Web Services. doi
  19. (2009). Sam Guinea, Marco Piistore, Michele Trainotti, Dynamo+Astro: An Integrated Approach for BPEL Monitoring. ICWS doi
  20. (2008). Sam Guinea, Raman Kazhamiakin, Marco Pistore, An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations. ServiceWare doi
  21. (2007). Sam Guinea, Run-Time Monitoring in ServiceOriented Architectures. In: Test and Analysis of Web Services doi
  22. (2005). Towards a Classification of Web Service Feature Interactions, In: doi
  23. (2010). Web Service Feature Interaction Detection based on Situation Calculus, In: Service’ doi

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.