|
|||||
|
|
| 基于时间概率代价进程代数的Web服务组合建模和分析 | |
| 引用本文： | 肖芳雄,李燕,黄志球,曹子宁,陈哲,范大娟.基于时间概率代价进程代数的Web服务组合建模和分析[J].计算机学报,2012,35(5):918-936. |
| 作者姓名： | 肖芳雄 李燕 黄志球 曹子宁 陈哲 范大娟 |
| 作者单位： | 1. 广西财经学院信息与统计学院 南宁530003;南京航空航天大学计算机科学与技术学院 南京210016 2. 广西财经学院信息与统计学院 南宁530003 3. 南京航空航天大学计算机科学与技术学院 南京210016 |
| 基金项目： | 国家"八六三"高技术研究发展计划项目基金，国家自然科学基金，江苏省自然科学基金 |
| 摘 要： | 形式化建模Web服务组合并分析其功能正确性和QoS可满足性,是提高组合服务可信性的重要手段,但目前形式化方法侧重功能正确性建模和分析,对QoS可满足性的建模和分析支持不足.为此提出一种时间概率代价进程代数TPPPA(Timed Probabilistic Priced Process Algebra),给出了TPPPA的语法和语义,并证明其具有功能、时间、概率和代价的统一建模和分析能力.用实例表明了TPPPA可有效支持Web服务组合功能正确性和QoS可满足性的形式化统一建模和分析. |
| 关 键 词： | Web服务组合 QoS 进程代数 建模 分析 |
Modeling and Analyzing Web Services Composition Using Timed Probabilistic Priced Process Algebra |
|
| XIAO Fang-Xiong , LI Yan , HUANG Zhi-Qiu , CAO Zi-Ning , CHEN Zhe , Fan Da-Juan.Modeling and Analyzing Web Services Composition Using Timed Probabilistic Priced Process Algebra[J].Chinese Journal of Computers,2012,35(5):918-936. | |
| Authors: | XIAO Fang-Xiong LI Yan HUANG Zhi-Qiu CAO Zi-Ning CHEN Zhe Fan Da-Juan |
| Affiliation: | 1)(School of Information and Statistics,Guangxi University of Finance and Economics,Nanning 530003) 2)(College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 210016) |
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |