{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T09:05:45Z","timestamp":1766048745692,"version":"3.37.3"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,9,9]],"date-time":"2016-09-09T00:00:00Z","timestamp":1473379200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Vietnam J Comput Sci"],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.1007\/s40595-016-0079-8","type":"journal-article","created":{"date-parts":[[2016,9,9]],"date-time":"2016-09-09T07:24:19Z","timestamp":1473405859000},"page":"111-126","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A bitwise-based indexing and heuristic-driven on-the-fly approach for Web service composition and verification"],"prefix":"10.1007","volume":"4","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1228-1404","authenticated-orcid":false,"given":"Khai T.","family":"Huynh","sequence":"first","affiliation":[]},{"given":"Tho T.","family":"Quan","sequence":"additional","affiliation":[]},{"given":"Thang H.","family":"Bui","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,9]]},"reference":[{"key":"79_CR1","doi-asserted-by":"publisher","unstructured":"Yin, R.: Study of composing web service based on soa, In: Proceedings of the 2nd International Conference on Green Communications and Networks 2012 (GCN 2012), vol. 2, pp. 209\u2013214. Springer (2013)","DOI":"10.1007\/978-3-642-35567-7_26"},{"key":"79_CR2","doi-asserted-by":"publisher","unstructured":"Rostami, N. H., Kheirkhah, E., Jalali, M.: Web services composition methods and techniques: a review. Int J Comput Sci Eng Inf Technol 3(6), 15\u201329 (2013)","DOI":"10.5121\/ijcseit.2013.3603"},{"key":"79_CR3","doi-asserted-by":"publisher","unstructured":"Fitting, M.: First-order logic. In: First-order logic and automated theorem proving, pp. 97\u2013125. Springer, US (1990)","DOI":"10.1007\/978-1-4684-0357-2_5"},{"issue":"02","key":"79_CR4","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., Anagnostopoulos, D., 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":"79_CR5","doi-asserted-by":"publisher","unstructured":"Chen, M., Tan, T.\u00a0H., Sun, J., Liu, Y., Dong, J.\u00a0S.: 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. ACM, pp. 564\u2013567 (2014)","DOI":"10.1145\/2591062.2591070"},{"issue":"2","key":"79_CR6","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)"},{"issue":"5","key":"79_CR7","doi-asserted-by":"publisher","first-page":"967","DOI":"10.3923\/itj.2013.967.974","volume":"12","author":"YY Du","year":"2013","unstructured":"Du, Y.Y., Zhang, Y.J., Zhang, X.L.: A semantic approach of service clustering and web service discovery. Inf Technol J 12(5), 967\u2013974 (2013)","journal-title":"Inf Technol J"},{"key":"79_CR8","doi-asserted-by":"publisher","unstructured":"Aiello, M., Platzer, C., Rosenberg, F., Tran, H., Vasko, M., Dustdar, S.: Web service indexing for efficient retrieval and composition. In: E-Commerce Technology, 2006. The 8th IEEE International Conference on and Enterprise Computing, E-Commerce, and E-Services, The 3rd IEEE International Conference on. IEEE, pp. 63\u201363 (2006)","DOI":"10.1109\/CEC-EEE.2006.96"},{"issue":"3","key":"79_CR9","first-page":"189","volume":"8","author":"A Czyszczo\u0144","year":"2014","unstructured":"Czyszczo\u0144, A., Zgrzywa, A.: Indexing method for effective web service retrieval. Int J Intell Inf Database Syst 8(3), 189\u2013208 (2014)","journal-title":"Int J Intell Inf Database Syst"},{"key":"79_CR10","doi-asserted-by":"crossref","unstructured":"Huynh, K.\u00a0T., Quan, T.\u00a0T., Bui, T.\u00a0H.: Fast and formalized: Heuristics-based on-the-fly web service composition and verification. In: Information and Computer Science (NICS), 2015 2nd National Foundation for Science and Technology Development Conference on. IEEE, pp. 174\u2013179 (2015)","DOI":"10.1109\/NICS.2015.7302186"},{"key":"79_CR11","doi-asserted-by":"publisher","unstructured":"Liu, Y., Sun, J., Dong, J. S.: Developing model checkers using PAT. In: International symposium on automated technology for verification and Analysis, pp. 371\u2013377. Springer, Berlin, Heidelberg (2010)","DOI":"10.1007\/978-3-642-15643-4_30"},{"issue":"4","key":"79_CR12","doi-asserted-by":"publisher","first-page":"1089","DOI":"10.1016\/j.jss.2012.11.037","volume":"86","author":"G Fan","year":"2013","unstructured":"Fan, G., Yu, H., Chen, L., Liu, D.: Petri net based techniques for constructing reliable service composition. J Syst Softw 86(4), 1089\u20131106 (2013)","journal-title":"J Syst Softw"},{"key":"79_CR13","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"},{"issue":"11","key":"79_CR14","doi-asserted-by":"publisher","first-page":"2733","DOI":"10.4304\/jsw.8.11.2733-2737","volume":"8","author":"B Tian","year":"2013","unstructured":"Tian, B., Gu, Y.: Formal modeling and verification for web service composition. J Softw 8(11), 2733\u20132737 (2013)","journal-title":"J Softw"},{"key":"79_CR15","doi-asserted-by":"publisher","unstructured":"Zhou, B., Huang, T., Liu, J., Shen, M.: Using inverted indexing to semantic web service discovery search model. In: Wireless Communications, Networking and Mobile Computing, 2009. WiCom\u201909. 5th International Conference on. IEEE, pp. 1\u20134 (2009)","DOI":"10.1109\/WICOM.2009.5301035"},{"issue":"2","key":"79_CR16","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":"79_CR17","unstructured":"Klusch, M.: Owls-tc: Owl-s service retrieval test collection, version 2.1. http:\/\/projects.semwebcentral.org\/projects\/owls-tc\/"},{"key":"79_CR18","unstructured":"Burstein, M., Hobbs, J., Lassila, O., Mcdermott, D., Mcilraith, S., Narayanan, S., Paolucci, M., Parsia, B., Payne, T., Sirin, E., et\u00a0al.: Owl-s: Semantic markup for web services. W3C Member Submission (2004)"},{"key":"79_CR19","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, USA (2005)","DOI":"10.1109\/WI-IATW.2006.68"},{"key":"79_CR20","doi-asserted-by":"publisher","unstructured":"Tan, T.\u00a0H., Chen, M., Andr\u00e9, \u00c9., Sun, J., Liu,Y., et\u00a0al.: Automated runtime recovery for qos-based service composition. In: Proceedings of the 23rd international conference on World wide web. International World Wide Web Conferences Steering Committee, pp. 563\u2013574 (2014)","DOI":"10.1145\/2566486.2568048"},{"key":"79_CR21","unstructured":"Jordan, D., Evdemon, J., Alves et al.: Web services business process execution language version 2.0. OASIS Stand 11, 10 (2007)"},{"key":"79_CR22","doi-asserted-by":"publisher","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Wsengineer: A model-based approach to engineering web service compositions and choreography. In: Test and analysis of web services, pp. 87\u2013103. Springer, Berlin, Heidelberg (2007)","DOI":"10.1007\/978-3-540-72912-9_4"}],"container-title":["Vietnam Journal of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s40595-016-0079-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s40595-016-0079-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s40595-016-0079-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T05:19:22Z","timestamp":1568351962000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s40595-016-0079-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,9]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,5]]}},"alternative-id":["79"],"URL":"https:\/\/doi.org\/10.1007\/s40595-016-0079-8","relation":{},"ISSN":["2196-8888","2196-8896"],"issn-type":[{"type":"print","value":"2196-8888"},{"type":"electronic","value":"2196-8896"}],"subject":[],"published":{"date-parts":[[2016,9,9]]}}}