|
|||||
|
|
| 一种基于UPPAAL的Web服务组合模型检测方法 | |
| 引用本文： | 何亚丽,戎玫,张广泉.一种基于UPPAAL的Web服务组合模型检测方法[J].计算机科学,2010,37(11):122-125. |
| 作者姓名： | 何亚丽 戎玫 张广泉 |
| 作者单位： | 1. 苏州大学计算机科学与技术学院,苏州,215006 2. 暨南大学深圳旅游学院,深圳,518053 3. 苏州大学计算机科学与技术学院,苏州,215006;中国科学院软件研究所计算机科学国家重点实验室,北京,100080 |
| 基金项目： | 本文受中国科学院计算机科学国家重点实验室开放课题(SYSKF0908) ,江苏省高校自然科学研究项目(08KJB520010)资助。 |
| 摘 要： | Web服务组合的正确性验证对提高软件开发效率、实现服务增值具有重要意义。为从高层抽象层次研究Web服务组合的正确性及其形式化验证方法，考虑到Web服务组合中的实时特征，在采用软件体系结构描述语言XYG/ADL对Web服务组合进行描述的基础上，将其实时描述部分XYZ/RE转换至时间自动机模型，组合后系统应满足的性质用分支时序逻辑CTL公式表示，最后应用模型检测工具UPPAAL实现了Web服务组合正确性的自动化验证。 |
| 关 键 词： | Web服务组合，模型检测，XYZ/ADL XYZ/RE UPPAAL |
| 收稿时间： | 2009/12/10 0:00:00 |
| 修稿时间： | 3/7/2010 12:00:00 AM |
Model Checking of Web Service Composition Based on UPPAAL |
|
| HE Ya-li,RONG Mei,ZHANG Guang-quan.Model Checking of Web Service Composition Based on UPPAAL[J].Computer Science,2010,37(11):122-125. | |
| Authors: | HE Ya-li RONG Mei ZHANG Guang-quan |
| Affiliation: | (School of Computer Science and Technology,Soochow University,Suzhou 215006,China);(Shenzhen Tourism College,Jinan University,Shenzhen 518053,China);(State Key Laboratory of Computer Sciences,Institute of Software,Chinese Academy of Sciences, Beijing 100080,China) |
| Abstract: | |
| Keywords: | Web service composition Model checking XYZ/ADL XYZ/RE UPPAAL |
| 本文献已被 万方数据 等数据库收录！ | |
| 点击此处可从《计算机科学》浏览原始摘要信息 | |
| 点击此处可从《计算机科学》下载全文 | |
