A Formal Transaction Model for Web Service Composition
Liping Chen · 2011
Web Services are the most famous implementation of service-oriented architectures that has brought some challenging research issues. In order to solve reliability and consistency of Web service in the distributed environment, this paper proposes a formal transaction model, and modeling method is based on first-order logic. The model uses acceptable state of user as judgment criterion for accuracy, and the validity of the model is proved.