Unified formal modeling and analyzing both functionality and QoS of Web services composition

被引：6
|
作者：
Xiao F.-X. [1 ]
Huang Z.-Q. [1 ]
Cao Z.-N. [1 ]
Tu L.-Z. [2 ]
Zhu Y. [1 ]
机构：
[1] College of Information Science and Technology, Nanjing University of Aeronautics and Astronautics
[2] School of Computer Engineering, Nanjing Institute of Technology
来源：
Ruan Jian Xue Bao/Journal of Software | 2011年 / 22卷 / 11期
关键词：
Process algebra; QoS; Service composition; Unified modeling and analyzing; Web;
D O I：
10.3724/SP.J.1001.2011.03902
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
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. © Copyright 2011, Institute of Software, the Chinese Academy of Sciences. All rights reseved.
引用
收藏
页码：2698 / 2715
页数：17
相关论文
共 24 条
  • [1] Baeten J.C.M., A brief history of process algebra, Theoretical Computer Science, 335, 2-3, pp. 131-146, (2005)
  • [2] Juric M.B., Mathew B., Sarang P., Business Process Execution Language for Web Services, (2006)
  • [3] Milner R., A Calculus of Communicating Systems, (1980)
  • [4] Salaun G., Bordeaux L., Schaerf M., Describing and reasoning on Web services using process algebra, Proc. of the 2nd IEEE Int'l Conf. on Web Services (ICWS 2004), pp. 43-50, (2004)
  • [5] Koshkina M., van Breugel F.V., Modelling and verifying Web service orchestration by means of the concurrency workbench, ACM SIGSOFT Software Engineering Notes, 29, 5, pp. 1-10, (2004)
  • [6] Lucchi R., Mazzara M., A pi-calculus based semantics for WS-BPEL, Journal of Logic and Algebraic Programming, 70, 1, pp. 96-118, (2007)
  • [7] Milner R., Theories for the global ubiquitous computer, Proc. of the 7th Int'l Conf. on Foundations of Software Science and Computation Structures (FOSSACS 2004), pp. 5-11, (2004)
  • [8] Lu J., Ma X.X., Tao X., Xu F., Hu H., Research and progress on Internetware, Science in China (Series E), 36, 10, pp. 1037-1080, (2006)
  • [9] Zeng L.Z., Benatallah B., Ngu A.H.H., Dumas M., Kalagnanam J., Chang H., QoS-Aware middleware for Web services composition, IEEE Trans. on Software Engineering, 30, 5, pp. 1-17, (2004)
  • [10] Haddad J.E., Manouvrier M., Ramirez G., Rukoz M., QoS-Driven selection of Web services for transactional composition, Proc. of the 6th IEEE Int'l Conf. on Web Services (ICWS 2008), pp. 653-660, (2008)
123