QQ客服 官方微博 反馈留言

	Type checking choreography description language
	Hongli, Yang ; Xiangpeng, Zhao ; Zongyan, Qiu ; Chao, Cai ; Geguang, Pu
	2006
英文摘要	The Web Services Choreography Description Language (WS-CDL) is a W3C specification developed for the description of peer-to-peer collaborations of participants from a global viewpoint. Currently WS-CDL has no rigorous static type checking. We believe that introducing a type system will exclude many design and description errors, and ensure desirable properties of the choreography specifications. In this paper, we took a core language CDL, which covers most of the important features of the WS-CDL, and is more convenient for the study. We developed the abstract syntax and operational semantics of CDL, and defined a collection of rules which can be used to check if choreography is well-typed. Moreover, we also proved some type safety theorems for CDL in the sense that well-typed choreography cannot get stuck. We show how the use of type information can allow us to gain confidence in the correctness of choreography. ? Springer-Verlag Berlin Heidelberg 2006.; EI; 0; 264-283; 4260 LNCS
语种	英语
出处	EI
出版者	lecture notes in computer science including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics
内容类型	其他
源URL	[http://hdl.handle.net/20.500.11897/410029]
专题	数学科学学院
推荐引用方式 GB/T 7714	Hongli, Yang,Xiangpeng, Zhao,Zongyan, Qiu,et al. Type checking choreography description language. 2006-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。