Institutional Repository
| a method for detecting mismatch of time-aware web services based on smt | |
| Xiyan Wang; Chen Shenbiao; Zhang Guangquan; Zhu Jihan; Wu Jianfeng | |
| 2011 | |
| Conference Name | 6th International Conference on Computer Science and Education, ICCSE 2011 |
| Source | ICCSE 2011 - 6th International Conference on Computer Science and Education, Final Program and Proceedings |
| Pages | 1165-1169 |
| Conference Date | August 3, |
| Conference Place | Singapore, Singapore |
| Indexed Type | EI |
| ISBN | 9781424497188 |
| Department | (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 |
| English Abstract | 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. |
| Keyword | Computer Science Education Computing Model Checking User Interfaces |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/16223 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation 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. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment