Modeling the Patterns of WS-CDL Interactions Based on Process Algebra

Author

Li, Shenghong ; Miao, Huaikou

Author_Institution

Sch. of Comput. Eng. & Sci., Shanghai Univ., Shanghai

fYear

2008

fDate

20-20 Nov. 2008

Firstpage

222

Lastpage

227

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 model the composition of WS-CDL, the patterns of WS-CDL interaction including interaction based information alignment (IBIA) and asynchronous interactions are depicted. The benefits of PA4WS are exemplified by the snippets of WS-CDL and their descriptions of PA4WS.

Keywords

Web services; process algebra; programming language semantics; PA4WS; WS-CDL interactions; WorkUnit; choreography; formal semantics; formal syntax; interaction based information alignment; process algebra; service channel; session channel; Algebra; Context; Engineering management; Finance; Information management; Information technology; Kernel; Seminars; Technology management; Web services; Formal Methods; Process Algebra; WS-CDL;

fLanguage

English

Publisher

ieee

Conference_Titel

Future Information Technology and Management Engineering, 2008. FITME '08. International Seminar on

Conference_Location

Leicestershire, United Kingdom

Print_ISBN

978-0-7695-3480-0

Type

conf

DOI

10.1109/FITME.2008.27

Filename

4746479