Abstract
A key challenge of Web service composition is how to ensure reliable execution. Due to the inherent autonomy and heterogeneity of Web services, it is difficult to predict the behavior of the overall composite service. The lack of techniques that support nonfunctional features, such as execution reliability, is widely recognized as a barrier preventing widespread adoption. In this paper, we propose 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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Yu Q, Liu X, Athman B, Medjahed B (2008) Deploying and managing web services: issues, solutions, and directions. The VLDB J 17(3):537–572
Liu A, Huang L, Li Q (2006) QoS-aware web services composition using transactional composition operator. In: Proceedings of the 7th international conference on advances in web-age information management (WAIM’06), vol 12(8). pp 217–228
Zeng L, Benatallah ANB, Dumas M, Kalagnanam J, Chang H (2004) QoS-Aware Middleware for Web Services Composition. IEEE Trans Softw Eng 30(5):311–327
Jaeger MC, Roec-Goldmann G, Muehl G (2004) QoS aggregation for web service composition using workflow patterns. Proc 8th IEEE Int’l Enterp Distrib Object Comput Conf (EDOC’04) 12(4):149–159
Wu B, Chi CH, Xu S (2007) Service selection model based on QoS reference vector. Proc IEEE Cong Serv (Services’07) 43(37):270–277
Acknowledgments
This work is partially supported by the projects of Weinan Teachers University, No.11YKS019.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag London
About this paper
Cite this paper
Ha, W. (2013). A Formal Transaction Model for Reliable Web Service Composition. In: Zhong, Z. (eds) Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012. Lecture Notes in Electrical Engineering, vol 218. Springer, London. https://doi.org/10.1007/978-1-4471-4847-0_25
Download citation
DOI: https://doi.org/10.1007/978-1-4471-4847-0_25
Published:
Publisher Name: Springer, London
Print ISBN: 978-1-4471-4846-3
Online ISBN: 978-1-4471-4847-0
eBook Packages: EngineeringEngineering (R0)