{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T05:47:07Z","timestamp":1725860827609},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319420882"},{"type":"electronic","value":"9783319420899"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-42089-9_32","type":"book-chapter","created":{"date-parts":[[2016,6,30]],"date-time":"2016-06-30T06:36:30Z","timestamp":1467268590000},"page":"453-468","source":"Crossref","is-referenced-by-count":3,"title":["Smaller to Sharper: Efficient Web Service Composition and Verification Using On-the-fly Model Checking and Logic-Based Clustering"],"prefix":"10.1007","author":[{"given":"Khai","family":"Huynh","sequence":"first","affiliation":[]},{"given":"Tho","family":"Quan","sequence":"additional","affiliation":[]},{"given":"Thang","family":"Bui","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,7,1]]},"reference":[{"issue":"2","key":"32_CR1","first-page":"63","volume":"1","author":"M AllamehAmiri","year":"2013","unstructured":"AllamehAmiri, M., Derhami, V., Ghasemzadeh, M.: QoS-based web service composition based on genetic algorithm. J. AI Data Min. 1(2), 63\u201373 (2013)","journal-title":"J. AI Data Min."},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"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\u2013160. IEEE (2014)","DOI":"10.1109\/ICWS.2014.33"},{"key":"32_CR3","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P., et al.: Principles of Model Checking, vol. 26202649. MIT Press Cambridge, Cambridge (2008)"},{"key":"32_CR4","unstructured":"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)"},{"key":"32_CR5","doi-asserted-by":"crossref","unstructured":"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\u2013567. ACM (2014)","DOI":"10.1145\/2591062.2591070"},{"key":"32_CR6","series-title":"Lecture Notes in Computer Science","first-page":"313","volume-title":"Formal Methods and Software Engineering","author":"M Chen","year":"2013","unstructured":"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\u2013328. Springer, Heidelberg (2013)"},{"key":"32_CR7","unstructured":"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)"},{"key":"32_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.S.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"32_CR9","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/978-3-540-72912-9_4","volume-title":"Test and Analysis of Web Services","author":"H Foster","year":"2007","unstructured":"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\u2013119. Springer, Heidelberg (2007)"},{"key":"32_CR10","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1016\/j.jnca.2015.11.020","volume":"60","author":"M Garriga","year":"2016","unstructured":"Garriga, M., Mateos, C., Flores, A., Cechich, A., Zunino, A.: Restful service composition at a glance: a survey. J. Netw. Comput. Appl. 60, 32\u201353 (2016)","journal-title":"J. Netw. Comput. Appl."},{"issue":"02","key":"32_CR11","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1017\/S0269888912000392","volume":"28","author":"O Hatzi","year":"2013","unstructured":"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\u2013156 (2013)","journal-title":"Knowl. Eng. Rev."},{"key":"32_CR12","doi-asserted-by":"crossref","unstructured":"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\u2013179. IEEE (2015)","DOI":"10.1109\/NICS.2015.7302186"},{"issue":"8","key":"32_CR13","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1016\/j.patrec.2009.09.011","volume":"31","author":"AK Jain","year":"2010","unstructured":"Jain, A.K.: Data clustering: 50 years beyond k-means. Pattern Recogn. Lett. 31(8), 651\u2013666 (2010)","journal-title":"Pattern Recogn. Lett."},{"key":"32_CR14","unstructured":"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)"},{"key":"32_CR15","unstructured":"Klusch, M.: Owls-tc: Owl-s service retrieval test collection, version 2.1. http:\/\/projects.semwebcentral.org\/projects\/owls-tc\/"},{"key":"32_CR16","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/WI-IATW.2006.68"},{"issue":"2","key":"32_CR17","doi-asserted-by":"crossref","first-page":"24","DOI":"10.4018\/ijwsr.2014040102","volume":"11","author":"BT Kumara","year":"2014","unstructured":"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\u201345 (2014)","journal-title":"Int. J. Web Serv. Res. (IJWSR)"},{"key":"32_CR18","unstructured":"Mandel, L.: Describe rest web services with wsdl 2.0. Rational Software Developer, IBM (2008)"},{"key":"32_CR19","first-page":"169","volume":"2","author":"YWM Maung","year":"2014","unstructured":"Maung, Y.W.M., Hein, A.A.: Colored petri-nets (CPN) based model for web services composition. IJCCER 2, 169\u2013172 (2014)","journal-title":"IJCCER"},{"key":"32_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-540-78917-8_1","volume-title":"Formal Methods and Testing","author":"J Tretmans","year":"2008","unstructured":"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\u201338. Springer, Heidelberg (2008)"},{"key":"32_CR21","doi-asserted-by":"crossref","unstructured":"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\u20132079. IEEE (2011)","DOI":"10.1109\/ICIEEM.2011.6035578"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications -- ICCSA 2016"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-42089-9_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,10]],"date-time":"2019-09-10T08:51:13Z","timestamp":1568105473000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-42089-9_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319420882","9783319420899"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-42089-9_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}