timed modeling and verification of bpel processes using time petri nets

ISCAS OpenIR > 2009年期刊/会议论文

	timed modeling and verification of bpel processes using time petri nets
	Song Wei; Ma Xiaoxing; Ye Chunyang; Dou Wanchun; L&#; Jian
	2009
会议名称	9th International Conference on Quality Software, QSIC 2009
会议录名称	Proceedings - International Conference on Quality Software
页码	92-97
会议日期	August 24,
会议地点	Jeju, Korea, Republic of
收录类别	ei
出版地	United States
ISSN	15506002
ISBN	9780769538280
部门归属	(1) State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China; (2) Institute of Software, Chinese Academy of Sciences, Beijing, China
摘要	The execution time, an important criterion to measure the quality of a BPEL process, can be influenced by some slow external partner services (i.e., some long-running services). Therefore, it is desirable to specify response time of services into the SLAs (service level agreements). In this way, service consumers could verify whether the candidate services satisfy the expected time requirements before they are invoked. However, existing solutions are time-consuming especially when the BPEL process is quite complex (e.g., involving parallel structures and loops) and the number of candidate services is huge. To address this problem, in this paper, we propose a time Petri nets-based verification approach that efficiently verifies time requirements for a BPEL process. This allows service consumers to quickly identify suitable partner services that satisfy the time requirements at service looking up stage. © 2009 IEEE.
关键词	Graph Theory Petri Nets
主办者	Software Engineering Society of Korean; Institute for Information Scientists and Engineers; IEEE Reliability Society; KAIST (Korea Advanced Institute of Science and Technology); Korea Information Promotion Agency; Samsung SDS
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/8540
专题	2009年期刊/会议论文
推荐引用方式 GB/T 7714	Song Wei,Ma Xiaoxing,Ye Chunyang,et al. timed modeling and verification of bpel processes using time petri nets[C]. United States,2009:92-97.