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

Ruan Jian Xue Bao/Journal of Software

Volumn 22, Issue 11, 2011, Pages 2698-2715

  Xiao, Fang Xiong ^a   Huang, Zhi Qiu ^a   Cao, Zi Ning ^a   Tu, Li Zhong ^b   Zhu, Yi ^a  

^a NANJING UNIVERSITY OF AERONAUTICS AND ASTRONAUTICS   (China)

^b NANJING INSTITUTE OF TECHNOLOGY   (China)

Author keywords

Process algebra; QoS; Service composition; Unified modeling and analyzing; Web

Indexed keywords

FORMAL MODELING; PROBABILISTIC PROCESS ALGEBRA; PROCESS ALGEBRAS; QOS MODELING; SERVICE COMPOSITIONS; UNIFIED MODELING; WEB; WEB SERVICES COMPOSITION;

ALGEBRA; QUALITY OF SERVICE; SEMANTICS;

WEB SERVICES;

EID: 82255196105     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: 10.3724/SP.J.1001.2011.03902     Document Type: Article

References (24)

1. Baeten JCM. A brief history of process algebra. Theoretical Computer Science, 2005, 335 (2-3): 131-146. [doi:10.1016/j.tcs.2004.07.036]
2. Juric MB, Mathew B, Sarang P. Business Process Execution Language for Web Services. 2nd ed., Birmingham: Packt Publishing, 2006.
3. Milner R. A Calculus of Communicating Systems. Berlin: Springer-Verlag, 1980.
4. Salaün G, Bordeaux L, Schaerf M. Describing and reasoning on Web services using process algebra. In: Zhang LJ, Zhang J, eds. Proc. of the 2nd IEEE Int'l Conf. on Web Services (ICWS 2004). San Diego: IEEE Computer Society, 2004. 43-50. [doi:10.1109/ICWS.2004.46]
5. Koshkina M, van Breugel FV. Modelling and verifying Web service orchestration by means of the concurrency workbench. ACM SIGSOFT Software Engineering Notes, 2004, 29 (5): 1-10. [doi:10.1145/1022494.1022526]
6. Lucchi R, Mazzara M. A pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming, 2007, 70 (1): 96-118. [doi:10.1016/j.jlap.2006.05.007]
7. Milner R. Theories for the global ubiquitous computer. In: Proc. of the 7th Int'l Conf. on Foundations of Software Science and Computation Structures (FOSSACS 2004). Barcelona: Springer-Verlag, 2004. 5-11. [doi:10.1007/978-3-540-24727-2_]
8. Lü J, Ma XX, Tao XP, Xu F, Hu H. Research and progress on Internetware. Science in China (Series E), 2006, 36 (10): 1037-1080 (in Chinese with English abstract).
9. Zeng LZ, Benatallah B, Ngu AHH, Dumas M, Kalagnanam J, Chang H. QoS-Aware middleware for Web services composition. IEEE Trans. on Software Engineering, 2004, 30 (5): 1-17. [doi:10.1109/TSE.2004.11]
10. Haddad JE, Manouvrier M, Ramirez G, Rukoz M. QoS-Driven selection of Web services for transactional composition. In: Zhang LJ, Zhang J, eds. Proc. of the 6th IEEE Int'l Conf. on Web Services (ICWS 2008). Beijing: IEEE Computer Society, 2008. 653-660. [doi:10.1109/ICWS.2008.116]
11. Fan XQ, Jiang CJ, Wang JL, Peng SC. Random-QoS-Aware reliable Web service composition. Journal of Software, 2009, 20 (3): 546-556 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/20/546.htm
12. Eberbach E. $-Calculus of bounded rational agents: Flexible optimization as search under bounded resources in interactive system. Fundamenta Informaticae, 2005, 68 (1-2): 47-102.
13. Hillston J. A compositional approach to performance modelling [Ph.D. Thesis]. Cambridge: Cambridge University Press, 1996.
14. Hermanns H, Herzog U, Mertsiotakis V. Stochastic process algebras as a tool for performance and dependability modeling. In: Proc. of the Int'l Computer Performance and Dependability Symp. on Computer Performance and Dependability Symposium (IPDS'95). Washington: IEEE Computer Society, 1995. 102-111. [doi:10.1109/IPDS.1995.395813]
15. Bernardo M, Gorrieri R. A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theoretical Computer Science, 1998, 202 (1-2): 1-54. [doi:10.1016/S0304-3975 (97) 00127-8]
16. Hermanns H. Interactive Markov Chains: And the Quest for Quantified Quality. Berlin: Spring-Verlag, 1998.
17. Cleaveland R, Li T, Sims S. The Concurrency Workbench of the New Century (Version 1.2). Carolina: North Carolina State University, 2000. 1-10.
18. Kksalan M, Zionts S. Multiple criteria decision making, multiattibute utility theory: The next ten years. Management Science, 1992, 38 (5): 645-654. [doi:10.1287/mnsc.38.5.645]
19. Doshi P, Goodwin R, Akkiraju R, Verma K. Dynamic workflow composition using Markov decision processes. Int'l Journal of Web Services Research, 2005, 2 (1): 576-582. [doi:10.1109/ICWS.2004.1314784]
20. Behrmann G, Fehnker A, Hune T, Larsen KG, Pettersson P, Romijn J, Vaandrager FW. Minimum-Cost reachability for priced timed automata. In: Benedetto MDD, Sangiovanni-Vincentelli A, eds. Proc. of the 4th Int'l Workshop on Hybrid Systems: Computation and Control. LNCS 2034, Berlin: Springer-Verlag, 2001. 147-161. [doi:10.1007/3-540-45351-2_15]
21. Kwiatkowska M, Norman G, Sproston J, Wang FZ. Symbolic model checking for probabilistic timed automata. Information and Computation, 2007, 205 (7): 1027-1077. [doi:10.1007/978-3-540-30206-3_21]
22. Bause F, Kritzinger PS. Stochastic Petri Nets. Vieweg Braun-Schweig: Bause and Kritzinger, 2002.
23. Liu WD, Song JX, Lin C. Modeling and analysis of grid computing application based price timed Petri net. Acta Electronica Sinica, 2005, 33 (8): 1416-1420 (in Chinese with English abstract).
24. Mei H, Shen JR. Progress of research on software architecture. Journal of Software, 2006, 17 (6): 1257-1275. (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/17/1257.htm [doi:10.1360/jos171257]