A Formal Transaction Model for Web Service Composition
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.
Web service the acceptable state for user transaction weii-form
Liping Chen
College of mathematics and information science, Weinan Teachers University Network engineering technology center Weinan, China
国际会议
杭州
英文
310-313
2011-10-28（万方平台首次上网日期，不代表论文的发表时间）