A Formal Transaction Model for Reliable Web Service Composition

Conference paper
Part of the Lecture Notes in Electrical Engineering book series (LNEE, volume 218)


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.


Web service The acceptable state for user Transaction Well-form 



This work is partially supported by the projects of Weinan Teachers University, No.11YKS019.


  1. 1.
    Yu Q, Liu X, Athman B, Medjahed B (2008) Deploying and managing web services: issues, solutions, and directions. The VLDB J 17(3):537–572CrossRefGoogle Scholar
  2. 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
  3. 3.
    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–327CrossRefGoogle Scholar
  4. 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. 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

Copyright information

© Springer-Verlag London 2013

Authors and Affiliations

  1. 1.College of Mathematics and Information Science, Network Engineering Technology CenterWeinan Normal UniversityWeinanChina

Personalised recommendations