QQ客服 官方微博 反馈留言

	Transformation of BPEL processes to Petri nets
	Dun, Haiqiang ; Xu, Haiying ; Wang, Lifu
	2008
关键词	WORKFLOW MANAGEMENT
英文摘要	Web service composition involves the combination of a number of existing web services to create a value-added service in ways that may not be foreseen at the time when a web service is written. BPEL is a promising language which describes web service composition in form of business processes. However, BPEL is an XML-based language and may suffer from ambiguities or some erroneous properties. It is necessary to analyze business processes specified in BPEL with a formal tool. In this paper we put forward an approach to model and verify BPEL based on ServiceNet, a special class of Petri nets. We present some transformation rules of BPEL business processes into ServiceNet. Then the throughness of a BPEL business process can be verified by reducing the corresponding ServiceNet based on some reduction rules.; Computer Science, Software Engineering; Computer Science, Theory & Methods; EI; CPCI-S(ISTP); 0
语种	英语
DOI标识	10.1109/TASE.2008.27
内容类型	其他
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/153521]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	Dun, Haiqiang,Xu, Haiying,Wang, Lifu. Transformation of BPEL processes to Petri nets. 2008-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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