KJCKorea
Journal Central

@article{ART002504193},
author={KIL， HYUNYOUNG},
title={Behavior-level Service Composition by Variable Abstraction},
journal={Journal of The Korea Society of Computer and Information},
issn={1598-849X},
year={2019},
volume={24},
number={9},
pages={59-67},
doi={10.9708/jksci.2019.24.09.059}

TY - JOUR
AU - KIL， HYUNYOUNG
TI - Behavior-level Service Composition by Variable Abstraction
JO - Journal of The Korea Society of Computer and Information
PY - 2019
VL - 24
IS - 9
PB - The Korean Society Of Computer And Information
SP - 59
EP - 67
SN - 1598-849X
AB - The service composition based on Service-Oriented Architecture(SOA) can make us view various machines or its functionalities in the Web or Internet-of-Things environment as 'service', and efficiently create new value-added services that users want by compositing different services if there is no service to satisfy the client. The service composition problem with respect to behavioral descriptions deals with the automatic synthesis of a coordinator service that controls a set of services to reach a goal state. Despite its importance, however, solving the service composition problem with only partial observations remains to be doubly exponential in the number of variables in service descriptions, rendering any attempts to compute an exact solution for modest size impractical. Toward this challenge, in this paper, we propose novel approximation-based approaches using abstraction methods. We empirically validate that our proposals can solve realistic problems efficiently.
KW - Service Composition;Behavioral Description;Abstraction;Program Synthesis
DO - 10.9708/jksci.2019.24.09.059
ER -

KIL， HYUNYOUNG. (2019). Behavior-level Service Composition by Variable Abstraction. Journal of The Korea Society of Computer and Information, 24(9), 59-67.

KIL， HYUNYOUNG. 2019, "Behavior-level Service Composition by Variable Abstraction", Journal of The Korea Society of Computer and Information, vol.24, no.9 pp.59-67. Available from: doi:10.9708/jksci.2019.24.09.059

KIL， HYUNYOUNG "Behavior-level Service Composition by Variable Abstraction" Journal of The Korea Society of Computer and Information 24.9 pp.59-67 (2019) : 59.

KIL， HYUNYOUNG. Behavior-level Service Composition by Variable Abstraction. 2019; 24(9), 59-67. Available from: doi:10.9708/jksci.2019.24.09.059

KIL， HYUNYOUNG. "Behavior-level Service Composition by Variable Abstraction" Journal of The Korea Society of Computer and Information 24, no.9 (2019) : 59-67.doi: 10.9708/jksci.2019.24.09.059

KIL， HYUNYOUNG. Behavior-level Service Composition by Variable Abstraction. Journal of The Korea Society of Computer and Information, 24(9), 59-67. doi: 10.9708/jksci.2019.24.09.059

KIL， HYUNYOUNG. Behavior-level Service Composition by Variable Abstraction. Journal of The Korea Society of Computer and Information. 2019; 24(9) 59-67. doi: 10.9708/jksci.2019.24.09.059

KIL， HYUNYOUNG. Behavior-level Service Composition by Variable Abstraction. 2019; 24(9), 59-67. Available from: doi:10.9708/jksci.2019.24.09.059

KIL， HYUNYOUNG. "Behavior-level Service Composition by Variable Abstraction" Journal of The Korea Society of Computer and Information 24, no.9 (2019) : 59-67.doi: 10.9708/jksci.2019.24.09.059