Abstract
Most methods that have been proposed to solve the problem of web service composition only consider input and output parameters of services in order to solve the composition problem. However, there are other factors that affect composition and execution of composite services such as constraints. Constraints can be used to express customer requirements on services features. Additionally, most real-world web services have constraints that specify their limitations and use restrictions. Constraint verification has significant impact on composition and execution of composite services. In particular, run time verification of service constraints can result in the failure of the execution of composite services and eventually waste computational resources. Such failures can not always be predicted as the verification of some services depends on execution effects of other services inside a composite plan. In this paper, we focus on verification of constraints during the composition and execution of composite services.
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
Similar content being viewed by others
References
Hamadi, R., Benatallah, B.: A petri net-based model for web service composition. In: Proceedings of the 14th Australasian Database Conference vol. 17, pp. 191–200. Australian Computer Society, Inc. (2003)
Lécué, F., Léger, A.: A formal model for semantic web service composition. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 385–398. Springer, Heidelberg (2006). doi:10.1007/11926078_28
Berardi, D., Calvanese, D., Giacomo, G., Lenzerini, M., Mecella, M.: Automatic composition of e-services that export their behavior. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol. 2910, pp. 43–58. Springer, Heidelberg (2003). doi:10.1007/978-3-540-24593-3_4
Oh, S.C., Lee, D., Kumara, S.R.: Effective web service composition in diverse and large-scale service networks. Serv. Comput. IEEE Trans. 1(1), 15–32 (2008)
Zheng, X., Yan, Y.: An efficient syntactic web service composition algorithm based on the planning graph model. In: Proceedings of the IEEE International Conference on Web Services (ICWS 2008), pp. 691–699. IEEE (2008)
Hashemian, S.V., Mavaddat, F.: A graph-based approach to web services composition. In: The 2005 Symposium on Applications and the Internet, pp. 183–189, January 2005
Wang, P., Ding, Z., Jiang, C., Zhou, M.: Constraint-aware approach to web service composition. IEEE Trans. Syst. Man Cybern. Syst. 44(6), 770–784 (2014)
Rao, J., Su, X.: A survey of automated web service composition methods. In: Cardoso, J., Sheth, A. (eds.) SWSWPC 2004. LNCS, vol. 3387, pp. 43–54. Springer, Heidelberg (2005). doi:10.1007/978-3-540-30581-1_5
McIlraith, S., Son, T.C.: Adapting golog for composition of semantic web services. KR 2, 482–493 (2002)
Oh, S.C., Lee, D., Kumara, S.R.T.: Web service planner (wspr): An effective and scalable web service composition algorithm. Int. J. Web Serv. Res. 4(1), 1–22 (2007)
Ponnekanti, S.R., Fox, A.: Sword: A developer toolkit for web service composition. In: Proceedings of the Eleventh International World Wide Web Conference, Honolulu, HI. vol. 45 (2002)
Aggarwal, R., Verma, K., Miller, J., Milnor, W.: Constraint driven web service composition in meteor-s. In: Services Computing, pp. 23–30, Sept 2004
Channa, N.: Constraint satisfaction in dynamic web service composition. In: Sixteenth International Workshop on Database and Expert Systems Applications Proceedings, pp. 658–664. IEEE (2005)
Moghaddam, A., Davis, J.G.: Service selection in web service composition: a comparative review of existing approaches. In: Bouguettaya, A., Sheng, Q.Z., Daniel, F. (eds.) Web Serv. Found., pp. 321–346. Springer, Heidelberg (2014)
Ben Hassine, A., Matsubara, S., Ishida, T.: A constraint-based approach to horizontal web service composition. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 130–143. Springer, Heidelberg (2006). doi:10.1007/11926078_10
Papazoglou, M.: Web services: principles and technology. Pearson Education, Englewood Cliffs (2008)
Lee, C.: On quality of service optimization with discrete qos options. In: Real-Time Technology and Applications Symposium, pp. 276–286. IEEE (1999)
Li, J., Yan, Y., Lemire, D.: Full solution indexing for top-k web service composition
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this paper
Cite this paper
Laleh, T., Paquet, J., Mokhov, S.A., Yan, Y. (2016). Efficient Constraint Verification in Service Composition Design and Execution (Short Paper). In: Debruyne, C., et al. On the Move to Meaningful Internet Systems: OTM 2016 Conferences. OTM 2016. Lecture Notes in Computer Science(), vol 10033. Springer, Cham. https://doi.org/10.1007/978-3-319-48472-3_26
Download citation
DOI: https://doi.org/10.1007/978-3-319-48472-3_26
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-48471-6
Online ISBN: 978-3-319-48472-3
eBook Packages: Computer ScienceComputer Science (R0)