Paper Info
Title
A Formal Transaction Model for Web Service Composition
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.
Year
DOI
Venue
2011
10.1109/ISCID.2011.85
ISCID (1)
Keywords
Field
DocType
judgment criterion,weii-form,web services,soa,software reliability,the acceptable state for user,web service composition,acceptable state,service-oriented architectures,web service,service-oriented architecture,first-order logic,formal logic,formal transaction model,challenging research issue,transaction,famous implementation,distributed environment,service oriented architecture
Web design,Web development,Computer science,Web standards,Data Web,Web modeling,Web service,Distributed transaction,Database,WS-Policy
Conference
Volume
ISBN
Citations 
1
978-1-4577-1085-8
1
PageRank 
References 
Authors
0.37
5
1
Name
Order
Citations
PageRank
Liping Chen16010.10