Browse > Article
http://dx.doi.org/10.9708/jksci.2019.24.09.059

Behavior-level Service Composition by Variable Abstraction  

Kil, Hyun-Young (Dept. of Software, Korea Aerospace University)
Publication Information
Journal of the Korea Society of Computer and Information / v.24, no.9, 2019 , pp. 59-67 More about this Journal
Abstract
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.
Keywords
Service Composition; Behavioral Description; Abstraction; Program Synthesis;
Citations & Related Records
연도 인용수 순위
  • Reference
1 L. Papazoglou, M. Traverso, P. Dustdar, A. Schahram, and F. Leymann, "Service-Oriented Computing: State of the Art and Research Challenges," IEEE Computer. Vol.40, pp.38-45, 2007.
2 L. Atzori, A. Iera, and G. Morabito, "The internet of things: A survey," Computer Networks, Vol. 54, No. 15, pp. 2787-2805, 2010.   DOI
3 V. Issarny, N. Georgantas, S. Hachem, A. Zarras, P. Vassiliadist, M. Autili, M. Gerosa, and A. Hamida, “Service-oriented middleware for the future internet: state of the art and research directions,” Journal of Internet Service and Application, Vol. 2, No. 1, pp. 23-45, 2011.   DOI
4 F. Barbon, P. Traverso, M. Pistore, and M. Trainotti, "Run-time monitoring of instances and classes of web service compositions," Proceedings of International Conference on Web Services, pp. 63-71, 2006.
5 P. Bertoli, A. Cimatti, M. Roveri, and P. Traverso, "Strong planning under partial observability," Artificial Intelligence, Vol.170, No.4, pp. 337-384, 2006.   DOI
6 H. Kil, W. Nam, and D. Lee, "Computational complexity of web service composition based on behavioral descriptions," Proceedings of International Conference on Tools and Artificial Intelligence, pp. 359-363, 2008.
7 G. Armano, G. Cherchi, and E. Vargiu, "A parametric hierarchical planner for experimenting abstraction techniques," Proceedings of International Joint Conference of Artificial Intelligence, pp. 936-941, 2013.
8 A. Brogi, “On the potential advantages of exploiting behavioural information for contract-based service discovery and composition,” Journal of Logic and Algebraic Programming, Vol. 80, No. 1, pp. 3-12, 2012.   DOI
9 J. Rief, "The complexity of two-player games of incomplete information," Journal on Computer and System Sciences, Vol. 29, pp. 274-301, 1984.   DOI
10 J. Yu, Y. Han, J. Han, Y. Jin, P. Falcarin, and M. Morisio. "Synthesizing service composition models on the basis of temporal business rules," Journal of Computer Science and Technology, Vol. 23, No. 6, pp. 885-894, 2008.   DOI
11 W. Thomas. "Infinite games and verification," International Conference on Computer Aided Verification, Vol. 2404, pp. 58-64, 2002.
12 O. Kupferman and M. Vardi, "Synthesis with incomplete information," Proceedings of International Conference on Temporal Logic, pp. 91-106, 1997.
13 A. Herzig, J. Lang, D. Longin, and T. Polacsek, "A logic for planning under partial observability," Proceedings of National Conference on Artificial Intelligence, pp. 768-773, 2000.
14 J. Rintanen, "Complexity of planning with partial observability," Proceedings of the International Conference on Automated Planning and Scheduling, pp. 345-354, 2004.
15 M. Mott, "On the partial observability of temporal uncertainty," Proceedings of National Conference on Artificial Intelligence, pp. 1031-1037, 2007.
16 W. Nam, H. Kil, and D. Lee, "Type-aware web service composition using boolean satisfiability solver," Proceedings of IEEE International Conference on E-Commerce Technology and IEEE International Conference on Enterprise Computing, E-Commerce and E-Services, pp. 331-334, 2008.
17 W. Huang, Z. Wen, Y. Jiang, and L. Wu, "Observation reduction for strong plans," Proceedings of International Joint Conference of Artificial Intelligence, pp. 1930-1935, 2007.
18 P. Traverso and M. Pistore, "Automated composition of semantic web services into executable processes," Proceedings of International Conference of Semantic Web, pp. 380-394, 2004.
19 M. Pistore, P. Traverso, and P. Bertoli, "Automated composition of web services by planning in asynchronous domains," Proceedings of the International Conference on Automated Planning and Scheduling, pp. 2-11, 2005.
20 Pistore et al., 2005b] M. Pistore, A. Marconi, P. Bertoli, and P. Traverso, "Automated composition of web services by planning at the knowledge level," Proceedings of International Joint Conference of Artificial Intelligence, pp.1252-1259, 2005.
21 Autili M, Goldman A, Tivoli M, IEEE services visionary track on service composition for the future internet, IEEE World Congress on Services, pp. 327-328, 2015
22 B. Cheng, M. Wang, S. Zhao, Z. Zhai, D. Zhu, and J. Chen, Situation-Aware Dynamic Service Coordination in an IoT Environment IEEE/ACM Transactions on Networking, Vol. 25, No. 4, pp. 2082-2095, 2017   DOI
23 A. Bucchiarone, A. Marconi, M. Pistore and H. Raik, "A context-aware framework for dynamic composition of process fragments in the internet of services," Journal of Internet Services and Applications, Vol. 8, No. 1, pp. 1-23, 2017   DOI
24 WS-BPEL: Web services business process execution language version 2.0. http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf, 2007
25 I. Ko, H. Ko, A. Molina, and J. Kwon, “SoIoT: Toward a user-centric IoT-based service framework,” ACM Trans. Internet Technol., Vol. 16, No. 2, pp. 8-17, 2016.
26 K. Gorlach K, and F. Leymann, "A flexible engine for the unified execution of service compositions," IEEE Symposium on Service-Oriented System Engineering, pp 133-142, 2015
27 Papadimitriou, and C. M. Papadimitriou, "Computational complexity," Addison-Wesley, 1994.
28 OWL-S: Semantic Markup for Web Services https://www.w3.org/Submission/OWL-S/, 2004