QQ客服 官方微博 反馈留言

	Generating scenarios from Web service choreography
	Ke, Zhang ; Qiu, Zongyan ; Yang, Hongli
	2011
英文摘要	Web services choreography describes the global model of service interactions among a set of participants. In order to achieve a common business goal, the protocols for interactions must be correct. Experiences show that it is difficult to check choreography manually, even it is not very complex. A scenario describes a sequence of interactions among the collaborative participants, that is useful for judging if a choreography satisfies the intended business requirements. However, building the scenarios for a choreography is not easy even if with a supporting tool, such as Pi4SOA. In this paper, we propose an approach, and a set of algorithms, for generating the scenarios of a choreography automatically. For the fundamental study, a small choreography language CDL capturing the core features of Web services choreography description language WS-CDL is developed, with its formal syntax and trace semantics. The scenarios are defined basing on the choreography model, and the algorithms for generating scenarios from CDL is presented. We use a purchase order example to show how service choreography can be specified in CDL, and how the scenarios are generated and used to check the choreography. A prototype tool has been developed on Pi4SOA which shows the approach is both viable and effective. ? 2011 IEEE.; EI; 0
语种	英语
出处	EI
内容类型	其他
源URL	[http://hdl.handle.net/20.500.11897/262658]
专题	数学科学学院
推荐引用方式 GB/T 7714	Ke, Zhang,Qiu, Zongyan,Yang, Hongli. Generating scenarios from Web service choreography. 2011-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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