A Formal Transaction Model for Reliable Web Service Composition
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.
KeywordsWeb service The acceptable state for user Transaction Well-form
This work is partially supported by the projects of Weinan Teachers University, No.11YKS019.
- 2.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–228Google Scholar
- 4.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–159Google Scholar
- 5.Wu B, Chi CH, Xu S (2007) Service selection model based on QoS reference vector. Proc IEEE Cong Serv (Services’07) 43(37):270–277Google Scholar