scholarly journals Model-Based Methods for Linking Web Service Choreography and Orchestration

Author(s):  
Jun Sun ◽  
Yang Liu ◽  
Jin Song Dong ◽  
Geguang Pu ◽  
Tian Huat Tan
Author(s):  
Guo-qi Liu ◽  
Zhi-liang Zhu ◽  
Yi-qiang Li ◽  
Dan-cheng Li ◽  
Ying Liu

Author(s):  
Yuhong Yan ◽  
Philippe Dague ◽  
Yannick Pencolé ◽  
Marie-Odile Cordier

Web services based on a service-oriented architecture framework provide a suitable technical foundation for business process management and integration. A business process can be composed of a set of Web services that belong to different companies and interact with each other by sending messages. Web service orchestration languages are defined by standard organizations to describe business processes composed of Web services. A business process can fail for many reasons, such as faulty Web services or mismatching messages. It is important to find out which Web services are responsible for a failed business process because we could penalize these Web services and exclude them from the business process in the future. In this paper, we propose a model-based approach to diagnose the faults in a Web service-composed business process. We convert a Web service orchestration language, more specifically BPEL4WS, into synchronized automata, so that we have a formal description of the topology and variable dependency of the business process. After an exception is thrown, the diagnoser can calculate the business process execution trajectory based on the formal model and the observed evolution of the business process. The faulty Web services are deduced from the variable dependency on the execution trajectory. We demonstrate our diagnosis technique with an example.


2013 ◽  
Vol 385-386 ◽  
pp. 1679-1683
Author(s):  
Xin Bing Ma ◽  
Xiao Feng Zhou

In this article,take into account QoS characteristics comprehensively and build a reliable QoS ontology model. Based on the model,Web service QoS matching will be divided into three stages.Firstly,make a estimation of semantic comparability between QoS parameters of candidate services meeting the functional requirements and the QoS parameters of requirements in QoSIndependent ontology,find candidate services meeting users needs; Then,according to the critical QoS parameters between adjacent services constraints to further refine the matching between the candidate services;Finally choose the maximum service QoS value meeting the user requests in specific areas. So as to improve the efficiency and accuracy of service matching.


Sign in / Sign up

Export Citation Format

Share Document