| 摘要: |
| 进程代数是一种适合描述Web 服务组合的形式建模语言,然而同样对QoS 建模和分析的支持不足.在现有进程代数的基础上,提出了一种代价概率进程代数PPPA(priced probabilistic process algebra),给出其语法和语义,证明其具有功能、概率和代价的统一建模和分析能力.给出了基于PPPA 统一建模和分析Web 服务组合功能和QoS 的方法.实例建模和分析了Web 服务组合的功能、可靠性、性能和代价,其结果表明,PPPA 可以有效地支持Web 服务组合功能和QoS 的形式化统一建模和分析. |
| 关键词: Web 服务组合 统一建模和分析 QoS 进程代数 |
| DOI：10.3724/SP.J.1001.2011.03902 |
| 分类号: |
| 基金项目:国家自然科学基金(60873025); 国家高技术研究发展计划(863)(2009AA010307); 航空科学基金(20085552023); 江苏省自然科学基金(BK2008 389); 江苏省高校自然科学基金(03KJD520105) |
|
| Unified Formal Modeling and Analyzing both Functionality and QoS of Web Services Composition |
|
XIAO Fang-Xiong1, HUANG Zhi-Qiu1, CAO Zi-Ning1, TU Li-Zhong2, ZHU Yi1
|
|
1.College of Information Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China;2.School of Computer Engineering, Nanjing Institute of Technology, Nanjing 211167, China
|
| Abstract: |
| This paper proposes a process algebra called PPPA (priced probabilistic process algebra) by extending an existing process algebra with QoS modeling capability. This paper presents its syntax and semantics to prove that it can model not only functionality, but also non-functionality, such as reliability, performance, and cost. Finally, this paper moves to model and analyze both functionality and QoS of Web services composition in a united way based on PPPA. The paper illustrates the effectiveness with an example to prove that PPPA can support formal modeling and analyzation of QoS of web services composition. |
| Key words: Web service composition unified modeling and analyzing QoS process algebra |
