Modeling Business Process of Web Services with an Extended STRIPS Operations to Detection Feature Interaction Problems Runtime

Abstract

-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.

A Utility-Aware Runtime Conflict Resolver for Composite Web Services

“…Work in this area concentrates on conflict detection [7] presents an immune-inspired on-line detection system for WSFI problem. [3], [2] adopt the method of situation calculus to achieve a dynamic detection of feature interaction.…”

Run-time resolution of service property conflicts in web service composition

“…Zhang et al (2007b) presented an immune-inspired on-line detection system for WSFI problem. Xu et al (2011Xu et al ( , 2010 adopt the method of situation calculus to achieve a dynamic detection of feature interaction, while Chen et al (2010) proposed a multi-solutions service conflict resolver based on a Markov decision model. They also presented a case study to analyse, but it does not make use of actual combination services to conduct experimental runtime validation.…”

“…A solution to this problem comprises two aspects: run-time conflict detection of service properties and run-time resolution of service property conflicts. In our previous work we developed a run-time conflict detection technique based on the situation calculus Xu et al (2010) and proposed the STRIPS method for detecting service property conflicts Xu et al (2011). Therefore, in this paper we focus our study on run-time resolution of service property conflicts and propose a novel online approach to conflict resolution based on bi-objective optimization.…”

Semantic Conflicts Detection of Heterogeneous Messages of Web Services: Challenges and Solution

“…Some of the problems that are related to Web service that are required detection are, Web service protocols heterogeneity (Ghosh and Dasgupta, 2010), Web services feature interactions problem (Zhang and Yang, 2006;Xu et al, 2011), semantic conflicts between heterogeneous ontologies (Li and Ling, 2004) and semantic conflicts between heterogeneous messages in data level ). Ghosh and Dasgupta (2010) propose formal method to detect the semantic conflicts between protocols during exchanging the data between Web services, where these Web services are described using different ontologies.…”