Business transaction verification approach based on service coordination model
Yan Yan · Computer Integrated Manufacturing Systems · 2012
To ensure the reliability of transaction execution in Web service business transaction,an approach to check the consistency of coordination actions among partner services was proposed.Aiming at the long-running transactions,a rigorous method by using Pi-calculus to calculate the service activities coordination in modeling business was put forward.The syntax mapping of automaton between Labeled Transition System(LTS)and Kripke structure was defined,and transformation from Pi-calculus process model to imput language of symbolic model checking was proposed.On the basis of test result,a counter-example was used to refine the model.Therefore the coordination problem of participants in business process integration was solved.The example was used to verity the effectiveness of proposed method.