Title :
A Formal Transaction Model for Web Service Composition
Author_Institution :
Network Eng. Technol. Center, Weinan Teachers´´ Univ., Weinan, China
Abstract :
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.
Keywords :
Web services; formal logic; service-oriented architecture; software reliability; SOA; Web service composition; distributed environment; first-order logic; formal transaction model; judgment criterion; service-oriented architectures; Accuracy; Computational modeling; Educational institutions; Quality of service; Reliability; Web services; Web service; the acceptable state for user; transaction; weii-form;
Conference_Titel :
Computational Intelligence and Design (ISCID), 2011 Fourth International Symposium on
Conference_Location :
Hangzhou
Print_ISBN :
978-1-4577-1085-8
DOI :
10.1109/ISCID.2011.85
