DocumentCode
2044098
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
fYear
2010
fDate
4-5 June 2010
Firstpage
86
Lastpage
90
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Service Oriented System Engineering (SOSE), 2010 Fifth IEEE International Symposium on
Conference_Location
Nanjing
Print_ISBN
978-1-4244-7327-4
Type
conf
DOI
10.1109/SOSE.2010.32
Filename
5569925
Link To Document