Abstract:Service composition is an important means for integrating the individual web services to create new value added systems that can satisfy complex requirements. Such applications are subject to unexpected failure owing to the distributive and heterogeneous environment of web service. In this paper, we propose a Petri nets-based method to model and analyse the self-healing service composition. Aspect oriented programming is used to extract composition processes and self-healing strategy as the core and crosscutti… Show more
“…Authors in [12] have proposed a formal method through a Petri net-based algebra for aspect-oriented web service composition. The formal semantics of the composition operation including composition operation for modeling basic compositions and crosscutting operation for modeling aspects is expressed in terms of Petri nets.…”
Aspect-oriented programming is an emerging programming paradigm that stretches during the development phases in different domains. Many researchers have focused on the use of this paradigm in web service composition in different research axis. However, none of them use together aspectoriented programming and design by contract to deal with the adaptation of the parameters in the web service composition process. This paper proposes a web service composition algorithm based on the planning graph using both Aspectoriented programming and design by contract concept. The aspect-oriented Programming approach provides explicit support for separation of crosscutting concerns in web services composition whereas the design by contract approach allows the processing of parameters execution in precondition and postcondition mode by using contracts in order to ensure correct service execution with adaptation to external parameters without touching in properties which can be dealt with reconstruction of the composite service. Future development of this planning graph will include the introduction of the dynamic way of aspect oriented programming and add comparison results.
“…Authors in [12] have proposed a formal method through a Petri net-based algebra for aspect-oriented web service composition. The formal semantics of the composition operation including composition operation for modeling basic compositions and crosscutting operation for modeling aspects is expressed in terms of Petri nets.…”
Aspect-oriented programming is an emerging programming paradigm that stretches during the development phases in different domains. Many researchers have focused on the use of this paradigm in web service composition in different research axis. However, none of them use together aspectoriented programming and design by contract to deal with the adaptation of the parameters in the web service composition process. This paper proposes a web service composition algorithm based on the planning graph using both Aspectoriented programming and design by contract concept. The aspect-oriented Programming approach provides explicit support for separation of crosscutting concerns in web services composition whereas the design by contract approach allows the processing of parameters execution in precondition and postcondition mode by using contracts in order to ensure correct service execution with adaptation to external parameters without touching in properties which can be dealt with reconstruction of the composite service. Future development of this planning graph will include the introduction of the dynamic way of aspect oriented programming and add comparison results.
“…For some new representative methods using Petri nets as formalism to study Web service, we refer the readers to other works. 5,6,[12][13][14] A parameterized automat (named as finite state machine or state automat in some literatures) was used to represent Web service orchestrations, and the compatibility of two Web services was discussed from the aspects of interface, safety, and liveness in the work of Belkhir et al 15 The validation and verification of Web services choreographies with timing restrictions was studied by using timed automata in the work of Cambronero et al 16 Process algebra that was used to encode the adaptation problem and the on-the-fly exploration and reduction techniques to compute adaptor protocols were also proposed in the work of Mateescu et al 17 The π-calculus was used to model service behaviors and interactions in the work of Agarwal and Agarwal, 18 and an algorithm was presented to compute the compatibility degree in a quantitative way. The labeled transition system was also used to model Web service in the work of Bordeaux et al 19 and the compatibility was defined by no opposite behavior and free deadlock.…”
Petri nets are frequently used formal tools to analyze the compatibility of interactive service processes described by Web Services Business Process Execution Language (WS-BPEL). However, the traditional methods based on Petri nets were with a high computable complexity for state space explosion. To resolve such problem, a logic Petri net-based path detecting method for compatibility analysis of interactive service processes is proposed. From the provided mapping rules, the service process described by WS-BPEL is modeled as a service net based on logic Petri nets. The evaluation of interactive compatibility of two service processes is converted to analyze whether their service nets can be composed as a non-blocked synthetic service net. The non-blocked property is checked by detecting the reachability of the potential connected paths in a service net. To reduce the complexity of computing the connected paths in a service net, we propose a merge-reduced method to generate the path expression of its skeleton service net.The potential connected paths of a service net can be obtained by unfolding the path expression.Compared with the traditional method based Petri nets, the proposed method is with high efficiency and it can greatly alleviate the problem of state space explosion in analyzing interactive compatibility of service processes.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.