Behavioural description based web service composition using abstraction and refinement
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Kil, Hyunyoung | - |
dc.contributor.author | Nam, Wonhong | - |
dc.contributor.author | Lee, Dongwon | - |
dc.date.accessioned | 2021-09-06T11:27:08Z | - |
dc.date.available | 2021-09-06T11:27:08Z | - |
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/106501 | - |
dc.description.abstract | The web service composition problem with respect to behavioural descriptions deals with the automatic synthesis of a coordinator web service that controls a set of web services to reach a goal state. Despite its importance, however, solving the problem for a general case (when the coordinator has only partial observations) remains doubly exponential in the number of variables in web service descriptions. Toward this challenge, we propose two novel (signature preserving and subsuming) approximation-based approaches using abstraction and refinement. Given a set of web service behavioural descriptions and a reachability goal, we automatically construct abstract web services which have less variables using over-approximation. If our method identifies a coordinator web service, the coordinator is guaranteed to control the given web services to reach the goal state no matter how they behave. Otherwise, our method refines the current abstraction by adding some variables that have strong dependency on the goal variables. | - |
dc.language | English | - |
dc.language.iso | en | - |
dc.publisher | INDERSCIENCE ENTERPRISES LTD | - |
dc.subject | COMPUTATIONAL-COMPLEXITY | - |
dc.title | Behavioural description based web service composition using abstraction and refinement | - |
dc.type | Article | - |
dc.contributor.affiliatedAuthor | Kil, Hyunyoung | - |
dc.identifier.doi | 10.1504/IJWGS.2013.052849 | - |
dc.identifier.scopusid | 2-s2.0-84875897829 | - |
dc.identifier.wosid | 000319488500004 | - |
dc.identifier.bibliographicCitation | INTERNATIONAL JOURNAL OF WEB AND GRID SERVICES, v.9, no.1, pp.54 - 81 | - |
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 | 1 | - |
dc.citation.startPage | 54 | - |
dc.citation.endPage | 81 | - |
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.keywordPlus | COMPUTATIONAL-COMPLEXITY | - |
dc.subject.keywordAuthor | WSC | - |
dc.subject.keywordAuthor | web service composition | - |
dc.subject.keywordAuthor | computational complexity | - |
dc.subject.keywordAuthor | partial observation | - |
dc.subject.keywordAuthor | behavioural description | - |
dc.subject.keywordAuthor | abstraction | - |
dc.subject.keywordAuthor | refinement | - |
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.