Unified Formal Modeling and Analyzing both Functionality and QoS of Web Services Composition
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    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.

    Reference
    Related
    Cited by
Get Citation

肖芳雄,黄志球,曹子宁,屠立忠,祝义. Web 服务组合功能与QoS 的形式化统一建模和分析.软件学报,2011,22(11):2698-2715

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:November 18,2009
  • Revised:January 21,2010
  • Adopted:
  • Online:
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063