DocumentCode
556321
Title
A Formal Transaction Model for Web Service Composition
Author
Chen, Liping
Author_Institution
Network Eng. Technol. Center, Weinan Teachers´´ Univ., Weinan, China
Volume
1
fYear
2011
fDate
28-30 Oct. 2011
Firstpage
310
Lastpage
313
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computational Intelligence and Design (ISCID), 2011 Fourth International Symposium on
Conference_Location
Hangzhou
Print_ISBN
978-1-4577-1085-8
Type
conf
DOI
10.1109/ISCID.2011.85
Filename
6079643
Link To Document