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
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;
Conference_Titel :
Semantics, Knowledge and Grid, 2006. SKG '06. Second International Conference on
Conference_Location :
Guilin
Print_ISBN :
0-7695-2673-X
DOI :
10.1109/SKG.2006.14
