a method for detecting mismatch of time-aware web services based on smt

ISCAS OpenIR

	a method for detecting mismatch of time-aware web services based on smt
	Xiyan Wang; Chen Shenbiao; Zhang Guangquan; Zhu Jihan; Wu Jianfeng
	2011
会议名称	6th International Conference on Computer Science and Education, ICCSE 2011
会议录名称	ICCSE 2011 - 6th International Conference on Computer Science and Education, Final Program and Proceedings
页码	1165-1169
会议日期	August 3,
会议地点	Singapore, Singapore
收录类别	EI
ISBN	9781424497188
部门归属	(1) School of Computer Science and Technology Soochow University Suzhou 215006 China; (2) State Key Lab. of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China
摘要	Considering the timed properties between the interactions of Web services, we model the Web services with timed properties formally and propose a method for detecting mismatch of time-aware Web services based on Satisfiability Modulo Theories (SMT) in this paper. The issue of detecting mismatch of Web services can be transformed into the problem of existence model checking whether a deadlock is reachable or not between the interaction of the services, and the issue of existence model checking can be transformed into the problem whether the logic formula is satisfiable or not. © 2011 IEEE.; Considering the timed properties between the interactions of Web services, we model the Web services with timed properties formally and propose a method for detecting mismatch of time-aware Web services based on Satisfiability Modulo Theories (SMT) in this paper. The issue of detecting mismatch of Web services can be transformed into the problem of existence model checking whether a deadlock is reachable or not between the interaction of the services, and the issue of existence model checking can be transformed into the problem whether the logic formula is satisfiable or not. © 2011 IEEE.
关键词	Computer Science Education Computing Model Checking User Interfaces
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/16223
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Xiyan Wang,Chen Shenbiao,Zhang Guangquan,et al. a method for detecting mismatch of time-aware web services based on smt[C],2011:1165-1169.