Success Measurement of Web Services with BPEL
In this paper, we first modify the service-based language introduced by He in UTP Semantics for Web services (LNCS 4591: 353-372, 2007) into a general case of atomic statements and including the features of Web services such as coordination, compensations and some classic combinators of sequent composition, probabilistic choice, while and parallel statement. Based on this language, we study the evaluation of services by using the quantification of Web services which indicates the success probability of Web services. Finally, we discuss the success expectation and give a simple example to show how to apply our theory in practice.
Web services quantification success expectation
Yixiang Chen Xinxing Wu
Shanghai Key Laboratoryof Trustworthy ComputingEast China Normal UniversityShanghai 200062, P.R. Chi Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai 200062, P.R.
国际会议
南京
英文
86-90
2010-06-04（万方平台首次上网日期，不代表论文的发表时间）