Modeling the WorkUnit of WS-CDL Based on Process Algebra

Author

Li, Shenghong

Author_Institution

Sch. of Inf. Technol., Jiangxi Univ. of Finance & Econ., Nanchang, China

fYear

2009

fDate

28-29 Dec. 2009

Firstpage

149

Lastpage

152

Abstract

The description of choreography, WS-CDL, is an interactive description from global view which lacks formal semantics. The formal syntax and semantics, process algebra for WS-CDL (PA4WS), are proposed to describe WS-CDL using service channel and session channel. Particularly, the notation of WorkUnit is a reusable principle which plays an important role in WS-CDL. The WorkUnit of WS-CDL is modeled in PA4WS. To exemplify the advantages of PA4WS, the interaction of interaction based information alignment (IBIA) and asynchronous interaction are depicted by a case study.

Keywords

Web services; formal specification; process algebra; PA4WS; WS-CDL; Web services choreography; WorkUnit; asynchronous interaction; formal semantics; formal syntax; interaction based information alignment; interactive description; process algebra; service channel; session channel; Algebra; Computer science; Concurrent computing; Finance; Information technology; Kernel; Web services; WS-CDL; choreography; formal modeling; process algebra; web service;

fLanguage

English

Publisher

ieee

Conference_Titel

Research Challenges in Computer Science, 2009. ICRCCS '09. International Conference on

Conference_Location

Shanghai

Print_ISBN

978-0-7695-3927-0

Electronic_ISBN

978-1-4244-5410-5

Type

conf

DOI

10.1109/ICRCCS.2009.45

Filename

5401221