基于价格进程代数的Web服务组合描述和成本分析.pdfVIP

计算机研究与发展 ISSN 1000-1239/CN 11-1777/TP Journal of Computer Research and Development 46(5): 832-840 , 2009 基于价格进程代数的 Web 服务组合描述和成本分析 肖劳雄黄志球曹子宁袁敏张君华 (南京航空航天大学信息科学与技术学院 南京 210016) (fx_xiao@hotmail. com) Describing and Cost Analyzing of Web Services Composition Using PPA Xiao Fangxiong, Huang Zhiqiu , Cao Zining, Yuan Min , and Zhang Junhua (College of Information Science and Technology , Nanjing University of Aeronautics and Astronautics , Nanjing 210016) Abstract Process a1gebra includes a series of forma11anguages that are suitab1e to describe concurrent and communication systems including Web services. Nowadays, although process algebra has been effective1y exp10ited for mode1ing and verification of Web service composition, only functiona1 aspects of Web service composition have been addressed, and non-{unctional aspects have been ignored due to the fact that process algebra 1acks for capabi1ity of mode1ing them. Since qua1ity of service (QoS) of Web services composition is an important non-functiona1 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 PP A (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 coup1ed with cost. Syntax and semantics of PPA are then presented. Cost weak bi-simu1ation of PPA is defined and re1ationship of it and weak bi-simu1ation of CCS is then presented. It is proved that PPA extends CCS with cost modeling capability. And