Properties analysis for Web services long running transaction based on asynchronous PI-calculus
Yuan Yong-fu · Computer Engineering and Applications Journal · 2008
In this paper,a long running transaction protocol BAPC based on WS-BusinessActivity specification is proposed.BAPC protocol is more detailed and closer to software implementation than others.It has some features about BAPC that relaxes the constraints of ACID attributes in traditional transaction and redefines the properties of transaction under loose couple environment.Therefore,it need to formalize BAPC protocol for guarantee of its correctness.The paper model and analyze BAPC protocol based on asynchronous PI calculus,and prove its properties correct,such as local atomicity,durability and eventuality by adopting the theory of bisimulation and transfer semantics.