Semantic web service composition via model checking techniques
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Kil, Hyunyoung | - |
dc.contributor.author | Nam, Wonhong | - |
dc.date.accessioned | 2021-09-06T11:11:37Z | - |
dc.date.available | 2021-09-06T11:11:37Z | - |
dc.date.created | 2021-06-14 | - |
dc.date.issued | 2013 | - |
dc.identifier.issn | 1741-1106 | - |
dc.identifier.uri | https://scholar.korea.ac.kr/handle/2021.sw.korea/106408 | - |
dc.description.abstract | The web service composition problem aims to find an optimal composition of web services to satisfy a given request by using their syntactic and/or semantic features when no single service satisfies it. In particular, the semantics of services helps a composition engine identify more correct, complete and optimal candidates as a solution. In this paper, we study the web service composition problem considering semantic aspects, i.e., exploiting the semantic relationship between parameters of web services. Given a set of web service descriptions, their semantic information and a requirement web service, we find the optimal composition that contains the shortest path of semantically well connected web services which satisfies the requirement. Our techniques are based on semantic matchmaking and three model checking techniques such as Boolean satisfiability solving, symbolic model checking, and abstraction and refinement technique. In the experiment, our proposal efficiently identifies optimal compositions of web services. | - |
dc.language | English | - |
dc.language.iso | en | - |
dc.publisher | INDERSCIENCE ENTERPRISES LTD | - |
dc.title | Semantic web service composition via model checking techniques | - |
dc.type | Article | - |
dc.contributor.affiliatedAuthor | Kil, Hyunyoung | - |
dc.identifier.doi | 10.1504/IJWGS.2013.057466 | - |
dc.identifier.scopusid | 2-s2.0-84887933360 | - |
dc.identifier.wosid | 000326876500002 | - |
dc.identifier.bibliographicCitation | INTERNATIONAL JOURNAL OF WEB AND GRID SERVICES, v.9, no.4, pp.339 - 350 | - |
dc.relation.isPartOf | INTERNATIONAL JOURNAL OF WEB AND GRID SERVICES | - |
dc.citation.title | INTERNATIONAL JOURNAL OF WEB AND GRID SERVICES | - |
dc.citation.volume | 9 | - |
dc.citation.number | 4 | - |
dc.citation.startPage | 339 | - |
dc.citation.endPage | 350 | - |
dc.type.rims | ART | - |
dc.type.docType | Article | - |
dc.description.journalClass | 1 | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.relation.journalResearchArea | Computer Science | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Information Systems | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Software Engineering | - |
dc.subject.keywordAuthor | model checking | - |
dc.subject.keywordAuthor | SAT | - |
dc.subject.keywordAuthor | symbolic model checking | - |
dc.subject.keywordAuthor | abstraction and refinement | - |
dc.subject.keywordAuthor | web service composition | - |
dc.subject.keywordAuthor | semantic web | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
(02841) 서울특별시 성북구 안암로 14502-3290-1114
COPYRIGHT © 2021 Korea University. All Rights Reserved.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.