Title :
Success Measurement of Web Services with BPEL
Author :
Chen, Yixiang ; Wu, Xinxing
Author_Institution :
Shanghai Key Lab. of Trustworthy Comput., East China Normal Univ., Shanghai, China
Abstract :
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.
Keywords :
Web services; business data processing; probability; programming language semantics; semantic Web; BPEL; UTP semantics; Web services; probability; service-based language; Books; Business; Helium; Probabilistic logic; Semantics; Web services; Web sites; Web services; quantification; success expectation;
Conference_Titel :
Service Oriented System Engineering (SOSE), 2010 Fifth IEEE International Symposium on
Conference_Location :
Nanjing
Print_ISBN :
978-1-4244-7327-4
DOI :
10.1109/SOSE.2010.32
