DocumentCode
2709722
Title
A Study ofWeb Services Transactions Based on Real-time pi Calculus
Author
Wu, Huaiguang ; Zhong, Farong
Author_Institution
Dept. of Comput. Sci., Zhejiang Normal Univ. Jinhua city, Jinhua, China
fYear
2006
fDate
1-3 Nov. 2006
Firstpage
90
Lastpage
90
Abstract
Transactions of Web services are used to describe open component-based distributed applications. In this paper, we define a calculus of long-running transactions which bases on real time pi calculus and is independent of idiographic description proposals of web services. We discuss its syntax and semantics and demonstrate its strong (weak) timed bisimulation.
Keywords
Web services; bisimulation equivalence; object-oriented programming; pi calculus; programming language semantics; Web services transactions; language semantics; language syntax; open component-based distributed applications; real time pi calculus; strong timed bisimulation; weak timed bisimulation;
fLanguage
English
Publisher
ieee
Conference_Titel
Semantics, Knowledge and Grid, 2006. SKG '06. Second International Conference on
Conference_Location
Guilin
Print_ISBN
0-7695-2673-X
Type
conf
DOI
10.1109/SKG.2006.14
Filename
5727727
Link To Document