Journal of the Korea Society of Computer and Information (한국컴퓨터정보학회논문지)

Korean Society of Computer Information (한국컴퓨터정보학회)
권호 표지
DOI QR코드

DOI QR Code

Behavior-level Service Composition by Variable Abstraction

  • Received : 2019.05.08
  • Accepted : 2019.06.17
  • Published : 2019.09.30
Download PDF
⟨ Previous Next ⟩

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

References

  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. https://doi.org/10.1016/j.comnet.2010.05.010
  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. https://doi.org/10.1007/s13174-011-0021-3
  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. https://doi.org/10.1016/j.artint.2006.01.004
  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. https://doi.org/10.1016/j.jlap.2010.01.001
  9. 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. https://doi.org/10.1007/s11390-008-9196-x
  10. J. Rief, "The complexity of two-player games of incomplete information," Journal on Computer and System Sciences, Vol. 29, pp. 274-301, 1984. https://doi.org/10.1016/0022-0000(84)90034-5
  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. 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.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  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 https://doi.org/10.1109/TNET.2017.2705239
  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 https://doi.org/10.1186/s13174-016-0052-x
  24. 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.
  25. 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
  26. Papadimitriou, and C. M. Papadimitriou, "Computational complexity," Addison-Wesley, 1994.
  27. WS-BPEL: Web services business process execution language version 2.0. http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf, 2007
  28. OWL-S: Semantic Markup for Web Services https://www.w3.org/Submission/OWL-S/, 2004