Towards the Formal Model and Verification of Web Service Choreography Description Language

2006 ◽  
pp. 273-287 ◽  
Author(s):  
Zhao Xiangpeng ◽  
Yang Hongli ◽  
Qiu Zongyan
Keyword(s):  
Web Service ◽  
Formal Model ◽  
Description Language ◽  
Service Choreography

A Formal Model forWeb Service Choreography Description Language (WS-CDL)

2006 ◽  
Author(s):  
Hongli Yang ◽  
Xiangpeng Zhao ◽  
Zongyan Qiu ◽  
Geguang Pu ◽  
Shuling Wang
Keyword(s):  
Formal Model ◽  
Description Language ◽  
Service Choreography

The Description and Relation of WS-CDL and BPEL

2013 ◽  
pp. 442-455
Author(s):  
Yanjun Qian ◽  
Wei Zhou ◽  
Zhongwei Wu ◽  
Shaowen Yao
Keyword(s):  
Web Service ◽  
Business Process ◽  
Point Of View ◽  
Important Goal ◽  
Description Language ◽  
Business Process Execution Language ◽  
Global View ◽  
Algorithm Mapping ◽  
Service Choreography ◽  
Business Process Execution

WS-CDL (Web Service Choreography Description Language) is a language to describe multiple party how to work with together to accomplish a work in the context of SOA. BEPL (Business Process Execution Language) can get the same point, but they are from different view. WS-CDL is from a global view, which describes how multiple parties communicate with each other. BPEL is from a point of view of a single role who participates to manage the process of the work. Usually these two ways work together to describe and implement the business process. But WS-CDL has more advantages to achieve the most important goal of SOA-flexibility. So, W3C gives a suggestion to create an algorithm mapping from WS-CDL to BPEL; this chapter describes such a way to accomplish this.

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

2010 ◽  
Author(s):  
Jun Sun ◽  
Yang Liu ◽  
Jin Song Dong ◽  
Geguang Pu ◽  
Tian Huat Tan
Keyword(s):  
Web Service ◽  
Model Based ◽  
Service Choreography

Modeling a Chilean Hospital Using Specification and Description Language

2013 ◽  
pp. 179-204
Author(s):  
Jorge Leiva Olmos ◽  
Pau Fonseca i Casas ◽  
Jordi Ocaña Rebull
Keyword(s):  
Formal Model ◽  
Hospital Management ◽  
Clinical Services ◽  
Description Language ◽  
Emergency Units

In this chapter, the authors present a formal model of the Anesthesia Unit and Surgical Wards (UAPQ) of a Chilean hospital. The objective was to document and to understand its operation, to assist hospital management and to facilitate its simulation. The model was built with Specification and Description Language (SDL). This methodology was used because it allows the design of a model that represents the system in a graphical, modular, and standard way. Our design contains the following agents: the system, 11 blocks, and 52 processes. The blocks and the processes describe the clinical and administrative activities. The environment of the UAPQ model contains 3 components: clinical services, emergency units, and support units.

Modeling a Chilean Hospital Using Specification and Description Language

2015 ◽  
pp. 445-465
Author(s):  
Jorge Leiva Olmos ◽  
Pau Fonseca i Casas ◽  
Jordi Ocaña Rebull
Keyword(s):  
Formal Model ◽  
Hospital Management ◽  
Clinical Services ◽  
Description Language ◽  
Emergency Units

In this chapter, the authors present a formal model of the Anesthesia Unit and Surgical Wards (UAPQ) of a Chilean hospital. The objective was to document and to understand its operation, to assist hospital management and to facilitate its simulation. The model was built with Specification and Description Language (SDL). This methodology was used because it allows the design of a model that represents the system in a graphical, modular, and standard way. Our design contains the following agents: the system, 11 blocks, and 52 processes. The blocks and the processes describe the clinical and administrative activities. The environment of the UAPQ model contains 3 components: clinical services, emergency units, and support units.

A Model-based Approach for Diagnosing Fault in Web Service Processes

2013 ◽  
pp. 92-116
Author(s):  
Yuhong Yan ◽  
Philippe Dague ◽  
Yannick Pencolé ◽  
Marie-Odile Cordier
Keyword(s):  
Web Services ◽  
Web Service ◽  
Business Process ◽  
Business Processes ◽  
Formal Model ◽  
Service Orchestration ◽  
Model Based ◽  
Architecture Framework ◽  
Web Service Orchestration ◽  
Business Process Execution

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.

Sign in / Sign up

Export Citation Format

Share Document