Institutional Repository
| model-checking of web services choreography | |
| Hongli Yang; Xiangpeng Zhao; Chao Cai; Zongyan Qiu | |
| 2008 | |
| Conference Name | 4th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008 |
| Source | Proceedings of the 4th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008 |
| Pages | 79-84 |
| Conference Date | 40878 |
| Conference Place | Jhongli, Taiwan |
| Indexed Type | ei |
| Publish Place | United States |
| ISBN | 9780769534992 |
| Department | (1) College of Computer Sciences, Beijing University of Technology, Beijing 100022, China; (2) LMAM and Department of Informatics, School of Math., Peking University, Beijing 100871, China; (3) Institute of Software, Chinese Academy of Sciences, Beijing 1 |
| English Abstract | 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 of interaction must be correct. In this paper, we model interactions with recordings of sta |
| Keyword | Information Theory Internet Protocols Systems Engineering Web Services |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/10456 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Hongli Yang,Xiangpeng Zhao,Chao Cai,et al. model-checking of web services choreography[C]. United States,2008:79-84. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 04730467.pdf（202KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment