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

摘要：

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 exemplified by an E-business case and its descriptions of PA4WS.

关键词： process algebra web service type theory formal method

作者: Huaikou Miao Shenghong Li

作者单位: School of Computer Engineering and Science Shanghai University, Shanghai, China School of Information Technology Jiangxi University of Finance & Economics Nanchang, China

会议类型: 国际会议

会议名称: 2009 International Conference on Management of e-Commerce and e-Government ICMeCG 2009(第三届电子商务与电子政务管理国际会议)

会议地点: 南昌

会议语种:英文

页码: 380-386

在线出版日期: 2009-09-01（万方平台首次上网日期，不代表论文的发表时间）