Abstract
Model checking (MC) is an emerging approach recently suggested for the problem of Web Service Composition (WSC), since it can ensure both the soundness and completeness once verifying if an WSC solution fulfills a goal formally described or not. However, as the number of web services to be considered in practice is often very large, the MC-based approach suffers from the state space explosion problem. Clustering has been naturally considered reducing the number of candidates for the WSC problem. However, as typical clustering techniques are mostly semi-formal in terms of cluster representation, it poses a dilemma of maintaining both soundness and completeness. In this paper, we handle this problem by suggesting a logic-based approach for clustering. This work makes twofold contributions. We propose a logic-based similarity between web services, which results in more reasonable clustering results; and we represent the generated clusters as logical formula and enjoy a seamless integration between web service clustering and MC. This approach eventually brings significant improvement of WSC performance when applied on real and relatively large repository of web services.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
AllamehAmiri, M., Derhami, V., Ghasemzadeh, M.: QoS-based web service composition based on genetic algorithm. J. AI Data Min. 1(2), 63–73 (2013)
Aznag, M., Quafafou, M., Jarir, Z.: Leveraging formal concept analysis with topic correlation for service clustering and discovery. In: 2014 IEEE International Conference on Web Services (ICWS), pp. 153–160. IEEE (2014)
Baier, C., Katoen, J.P., et al.: Principles of Model Checking, vol. 26202649. MIT Press Cambridge, Cambridge (2008)
Burstein, M., Hobbs, J., Lassila, O., Mcdermott, D., Mcilraith, S., Narayanan, S., Paolucci, M., Parsia, B., Payne, T., Sirin, E., et al.: OWL-s: Semantic markup for web services. W3C Member Submission (2004)
Chen, M., Tan, T.H., Sun, J., Liu, Y., Dong, J.S.: Veriws: a tool for verification of combined functional and non-functional requirements of web service composition. In: Proceedings of the 36th International Conference on Software Engineering, pp. 564–567. ACM (2014)
Chen, M., Tan, T.H., Sun, J., Liu, Y., Pang, J., Li, X.: Verification of functional and non-functional requirements of web service composition. In: Groves, L., Sun, J. (eds.) ICFEM 2013. LNCS, vol. 8144, pp. 313–328. Springer, Heidelberg (2013)
Chinnici, R., Moreau, J.J., Ryman, A., Weerawarana, S.: Web services description language (WSDL) version 2.0 part 1: Core language. W3C recommendation 26, 19 (2007)
de Moura, L., Bjørner, N.S.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337–340. Springer, Heidelberg (2008)
Foster, H., Uchitel, S., Magee, J., Kramer, J.: Ws-engineer: a model-based approach to engineering web service compositions and choreography. In: Baresi, L., Di Nitto, E. (eds.) Test and Analysis of Web Services, pp. 87–119. Springer, Heidelberg (2007)
Garriga, M., Mateos, C., Flores, A., Cechich, A., Zunino, A.: Restful service composition at a glance: a survey. J. Netw. Comput. Appl. 60, 32–53 (2016)
Hatzi, O., Vrakas, D., Bassiliades, N., Vlahavas, I.: The porsce ii framework: using ai planning for automated semantic web service composition. Knowl. Eng. Rev. 28(02), 137–156 (2013)
Huynh, K.T., Quan, T.T., Bui, T.H.: Fast and formalized: heuristics-based on-the-fly web service composition and verification. In: 2nd National Foundation for Science and Technology Development Conference on Information and Computer Science, pp. 174–179. IEEE (2015)
Jain, A.K.: Data clustering: 50 years beyond k-means. Pattern Recogn. Lett. 31(8), 651–666 (2010)
Jordan, D., Evdemon, J., Alves, A., Arkin, A., Askary, S., Barreto, C., Bloch, B., Curbera, F., Ford, M., Goland, Y., et al.: Web services business process execution language version 2.0 (2003)
Klusch, M.: Owls-tc: Owl-s service retrieval test collection, version 2.1. http://projects.semwebcentral.org/projects/owls-tc/
Klusch, M., Gerber, A., Schmidt, M.: Semantic web service composition planning with OWLS-xplan. In: Proceedings of the AAAI Fall Symposium on Semantic Web and Agents, USA. AAAI Press (2005)
Kumara, B.T., Paik, I., Chen, W., Ryu, K.H.: Web service clustering using a hybrid term-similarity measure with ontology learning. Int. J. Web Serv. Res. (IJWSR) 11(2), 24–45 (2014)
Mandel, L.: Describe rest web services with wsdl 2.0. Rational Software Developer, IBM (2008)
Maung, Y.W.M., Hein, A.A.: Colored petri-nets (CPN) based model for web services composition. IJCCER 2, 169–172 (2014)
Tretmans, J.: Model based testing with labelled transition systems. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST 2008. LNCS, vol. 4949, pp. 1–38. Springer, Heidelberg (2008)
Xie, L.L., Chen, F.Z., Kou, J.S.: Ontology-based semantic web services clustering. In: 2011 IEEE 18th International Conference on Industrial Engineering and Engineering Management (IE&EM), pp. 2075–2079. IEEE (2011)
Acknowledgment
This research is funded by Vietnam National University Ho Chi Minh City (VNU-HCM) under grant number C2015-20-10.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Huynh, K., Quan, T., Bui, T. (2016). Smaller to Sharper: Efficient Web Service Composition and Verification Using On-the-fly Model Checking and Logic-Based Clustering. In: Gervasi, O., et al. Computational Science and Its Applications -- ICCSA 2016. ICCSA 2016. Lecture Notes in Computer Science(), vol 9789. Springer, Cham. https://doi.org/10.1007/978-3-319-42089-9_32
Download citation
DOI: https://doi.org/10.1007/978-3-319-42089-9_32
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-42088-2
Online ISBN: 978-3-319-42089-9
eBook Packages: Computer ScienceComputer Science (R0)