• 中国精品科技期刊
  • CCF推荐A类中文期刊
  • 计算领域高质量科技期刊T1类
Advanced Search
Xiao Fangxiong, Huang Zhiqiu, Cao Zining, Yuan Min, and Zhang Junhua. Describing and Cost Analyzing of Web Services Composition Using PPA[J]. Journal of Computer Research and Development, 2009, 46(5): 832-840.
Citation: Xiao Fangxiong, Huang Zhiqiu, Cao Zining, Yuan Min, and Zhang Junhua. Describing and Cost Analyzing of Web Services Composition Using PPA[J]. Journal of Computer Research and Development, 2009, 46(5): 832-840.

Describing and Cost Analyzing of Web Services Composition Using PPA

More Information
  • Published Date: May 14, 2009
  • Process algebra includes a series of formal languages that are suitable to describe concurrent and communication systems including Web services. Nowadays, although process algebra has been effectively exploited for modeling and verification of Web service composition, only functional aspects of Web service composition have been addressed, and non-functional aspects have been ignored due to the fact that process algebra lacks for capability of modeling them. Since quality of service (QoS) of Web services composition is an important non-functional aspect and may include many quality attributes, such as resource, time, fee, etc, an abstract concept, which is cost, is proposed to model quality attribute. CCS(calculus of communicating systems) that is a classical process algebra with this abstract concept is extended, and a new process algebra called PPA(priced process algebra) is proposed. In PPA, actions and states of a process are associated with a priced function respectively. By this way, each action can be tagged with price and each state can be coupled with cost. Syntax and semantics of PPA are then presented. Cost weak bi-simulation of PPA is defined and relationship of it and weak bi-simulation of CCS is then presented. It is proved that PPA extends CCS with cost modeling capability. And an algorithm is proposed to construct cost state space that is used to select Web services composition with optimal cost. Experimental results show that PPA can not only model functional aspects but also non-functional aspects of Web service composition.
  • Related Articles

    [1]Li Song, Cao Wenqi, Hao Xiaohong, Zhang Liping, Hao Zhongxiao. Collective Spatial Keyword Query Based on Time-Distance Constrained and Cost Aware[J]. Journal of Computer Research and Development, 2025, 62(3): 808-819. DOI: 10.7544/issn1000-1239.202330815
    [2]Wang Pan, Yang Pingli, Huang Shaohua, Lin Chengdi, Kong Longxing. A Direct Send Image Compositing Algorithm with Minimal Communication Costs[J]. Journal of Computer Research and Development, 2018, 55(4): 885-892. DOI: 10.7544/issn1000-1239.2018.20160875
    [3]Zhou Yuhang, Zhou Zhihua. Cost-Sensitive Large Margin Distribution Machine[J]. Journal of Computer Research and Development, 2016, 53(9): 1964-1970. DOI: 10.7544/issn1000-1239.2016.20150436
    [4]Liu Yue, Li Jintao, Hu Songlin. A Cost-Based Splitting Policy Search Algorithm for Hive Multi-Dimensional Index[J]. Journal of Computer Research and Development, 2016, 53(4): 798-810. DOI: 10.7544/issn1000-1239.2016.20151163
    [5]Guo He, Chen Zheng, Yu Yulong, Wang Yuxin, Chen Xin. A Communication Aware DAG Workflow Cost Optimization Model and Algorithm[J]. Journal of Computer Research and Development, 2015, 52(6): 1400-1408. DOI: 10.7544/issn1000-1239.2015.20140205
    [6]Zong Ming, Wang Xiaodong, and Zhou Xingming. Cost-Optimizing Adaptive Location Service Protocol in MANET[J]. Journal of Computer Research and Development, 2012, 49(12): 2515-2528.
    [7]Lu Min, Huang Yalou, Xie Maoqiang, Wang Yang, Liu Jie, Liao Zhen. Cost-Sensitive Listwise Ranking Approach[J]. Journal of Computer Research and Development, 2012, 49(8): 1738-1746.
    [8]Liu Cancan, Zhang Weimin, Luo Zhigang, and Ren Kaijun. Temporal Consistency Based Heuristics for Cost Optimization in Workflow Scheduling[J]. Journal of Computer Research and Development, 2012, 49(6): 1323-1331.
    [9]Wang Weizheng, Kuang Jishun, You Zhiqiang, Liu Peng. A Low-Power and Low-Cost BIST Scheme Based on Capture in Turn of Sub-Scan Chains[J]. Journal of Computer Research and Development, 2012, 49(4): 864-872.
    [10]He Xiaoyang and Wang Yasha. Model-Based Methods for Software Cost Estimation[J]. Journal of Computer Research and Development, 2006, 43(5): 777-783.

Catalog

    Article views (1107) PDF downloads (695) Cited by()

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return