{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:52:51Z","timestamp":1743119571396,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319493961"},{"type":"electronic","value":"9783319493978"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-49397-8_5","type":"book-chapter","created":{"date-parts":[[2016,11,9]],"date-time":"2016-11-09T06:20:42Z","timestamp":1478672442000},"page":"50-62","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["WSCOVER: A Tool for Automatic Composition and Verification of Web Services Using Heuristic-Guided Model Checking and Logic-Based Clustering"],"prefix":"10.1007","author":[{"given":"Khai T.","family":"Huynh","sequence":"first","affiliation":[]},{"given":"Thang H.","family":"Bui","sequence":"additional","affiliation":[]},{"given":"Than Tho","family":"Quan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,11,10]]},"reference":[{"issue":"2","key":"5_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":"5_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":"5_CR3","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":"5_CR4","doi-asserted-by":"publisher","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). doi:10.1007\/978-3-540-72912-9_4"},{"issue":"02","key":"5_CR5","doi-asserted-by":"publisher","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":"5_CR6","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, pp. 174\u2013179. IEEE (2015)","DOI":"10.1109\/NICS.2015.7302186"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Huynh, K.T., Quan, T.T., Bui, T.H.: Smaller to sharper: efficient web service composition and verification using on-the-fly model checking and logic-based clustering. In: Proceedings of The 8th International Symposium on Software Engineering Processes and Applications (SEPA: 2016), Singapore (2016)","DOI":"10.1007\/978-3-319-42089-9_32"},{"key":"5_CR8","unstructured":"Jordan, D., Evdemon, J., Alves, A., et al.: Web services business process execution language version 2.0. In: OASIS standard 11, 10 (2007)"},{"key":"5_CR9","unstructured":"Klusch, M.: OWLS-TC: OWL-S service retrieval test collection, version 2.1. http:\/\/projects.semwebcentral.org\/projects\/owls-tc\/"},{"key":"5_CR10","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. AAAI Press, Arlington (2005)","DOI":"10.1109\/WI-IATW.2006.68"},{"issue":"2","key":"5_CR11","doi-asserted-by":"publisher","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":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/978-3-642-15643-4_30","volume-title":"Automated Technology for Verification and Analysis","author":"Y Liu","year":"2010","unstructured":"Liu, Y., Sun, J., Dong, J.S.: Developing model checkers using PAT. In: Bouajjani, A., Chin, W.-N. (eds.) ATVA 2010. LNCS, vol. 6252, pp. 371\u2013377. Springer, Heidelberg (2010). doi:10.1007\/978-3-642-15643-4_30"},{"key":"5_CR13","unstructured":"Martin, D., Burstein, M., Hobbs, J., Lassila, O., McDermott, D., McIlraith, S., Narayanan, S., Paolucci, M., Parsia, B., Payne, T., et al.: OWL-S: semantic markup for web services. W3C member submission 22, 2007-04 (2004)"},{"key":"5_CR14","unstructured":"McDermott, D., Ghallab, M., Howe, A., Knoblock, C., Ram, A., Veloso, M., Weld, D., Wilkins, D.: PDDL-the planning domain definition language. Technical report (1998)"},{"key":"5_CR15","unstructured":"Pejman, E., Rastegari, Y., Esfahani, P.M., Salajegheh, A.: Web service composition methods: a survey. In: Proceedings of the International MultiConference of Engineers and Computer Scientists, vol. 1 (2012)"},{"key":"5_CR16","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"},{"issue":"5","key":"5_CR17","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1109\/TSE.2004.11","volume":"30","author":"L Zeng","year":"2004","unstructured":"Zeng, L., Benatallah, B., Ngu, A.H., Dumas, M., Kalagnanam, J., Chang, H.: QoS-aware middleware for web services composition. IEEE Trans. Softw. Eng. 30(5), 311\u2013327 (2004)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","Multi-disciplinary Trends in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-49397-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T15:47:23Z","timestamp":1710344843000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-49397-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319493961","9783319493978"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49397-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"10 November 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"MIWAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Multi-disciplinary Trends in Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Chiang Mai","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Thailand","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 December 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 December 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"miwai2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}