Applied Research and Modeling Based on Web Service Choreography Language

Xiao Bo Yang

doi:10.4028/www.scientific.net/AMR.791-793.1581

Paper Titles

The Application and Implementation of ADO Technology in Industrial Management System Based on MFC
p.1562

Maintenance Project Scheduling Model Considered Flexible Resource with Capability Difference
p.1566

Research on Reform and Practice in Bilingual Teaching for Curriculum of Data Structure and Algorithm
p.1570

Production Efficiency of Construction Industry in Shaanxi Province Based on DEA
p.1574

Applied Research and Modeling Based on Web Service Choreography Language
p.1581

Design and Research of Overall Risk Management Information System of Steel Group
p.1585

Complex Network Model and its Application
p.1589

An Effective XML Identifying Feedback Documents Method Based on Two-Stage Ranking Model for Pseudo-Relevance Feedback
p.1593

Warehouse Information Intelligent Optimization System
p.1597

HomeAdvanced Materials ResearchAdvanced Materials Research Vols. 791-793Applied Research and Modeling Based on Web Service...

Applied Research and Modeling Based on Web Service Choreography Language

Abstract:

In order to generate the realization model of business process quickly, a method of formalize model is proposed which based on Web service choreography language in this paper. The specific studying process is as follows. Firstly, several Web services choreography language and its characteristics are introduced, and then analyzed the natural projection and expansion model of service choreography, finally, model checker SPIN is used to simulate and verify the service choreography. The result shows that the succinct service choreography language can create Web service choreography model efficiently, and through the projection rules, which can better meet the needs of the business process implementation.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Advanced Materials Research (Volumes 791-793)

Pages:

1581-1584

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.791-793.1581

Citation:

Cite this paper

Online since:

September 2013

Authors:

Xiao Bo Yang

Keywords:

Expansion Model, Natural Projection, Simulation, Verification, Web Services Choreography

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] Web Services Choreography Description Language (WS-CDL), Version 1. 0, 2005. http: /www. w3. org/TR/2005/CR-ws-cdl-10-20051109.

DOI: 10.1109/icws.2006.3

Google Scholar

[2] A. P. Barros, M. Dumas, P. Oaks. A Critical Overview of the Web Services Choreography Description Language, 2005. http: /www. bptrends. com.

Google Scholar

[3] A. P. Barros, M. Dumas, P. Oaks. Standards for Web Service Choreography and Orchestration: Status and Perspectives, Business Process Management Workshops, Nancy, France, LNCS, 2006, 3812: 61～74.

DOI: 10.1007/11678564_7

Google Scholar

[4] X. P. Zhao, C. Cai, etc. A QoS View of Web Service Choreography, Proceedings of IEEE International Conference on e-Business Engineering, Hong Kong, ICEBE, 2007, 12: 607～611.

Google Scholar

[5] World Wide Web Consortium. http: /www. w3. org.

Google Scholar

[6] G. J. Holzmann. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, (2003).

Google Scholar