Towards a Type Theory of WS-CDL Based on Process Algebra

Author

Miao, Huaikou ; Li, Shenghong

Author_Institution

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

fYear

2009

Firstpage

380

Lastpage

386

Abstract

The language of choreography, WS-CDL, is a W3C candidate recommendation standard, which is an interactive description from global view but the language lacks formal semantics. WorkUnit in WS-CDL plays a crucial role because of reusable principle. In this paper, we propose process algebra for WS-CDL (PA4WS), which equips workunit. The semantics of PA4WS are presented based on structural operational semantics. Particularly, the notation of service channel and session channel are implemented in PA4WS. Moreover, we give the type theory of PA4WS and show the properties of the type theory, for example, the subject congruence and the subject reduction etc. Finally the benefits of PA4WS are ex-emplified by an e-business case and its descriptions of PA4WS.

Keywords

Web services; process algebra; programming language semantics; type theory; PA4WS; W3C candidate recommendation standard; WS-CDL; Web service choreography description language; formal semantic; process algebra; service channel; session channel; structural operational semantic; type theory; Algebra; Automata; Calculus; Conference management; Electronic government; Engineering management; Finance; Information technology; Ontologies; Web services; -process algebra; formal method; type theory; web service;

fLanguage

English

Publisher

ieee

Conference_Titel

Management of e-Commerce and e-Government, 2009. ICMECG '09. International Conference on

Conference_Location

Nanchang

Print_ISBN

978-0-7695-3778-8

Type

conf

DOI

10.1109/ICMeCG.2009.50

Filename

5280036