Behavior-level Service Composition by Variable Abstraction

KIL, HYUNYOUNG

Journal of The Korea Society of Computer and Information

Abbr : JKSCI
2019, 24(9), pp.59-67
Publisher : The Korean Society Of Computer And Information
Research Area : Computer Science

KIL, HYUNYOUNG ¹

¹한국항공대학교

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
REFERENCES (28)

[journal] L. Papazoglou / 2007 / Service-Oriented Computing : State of the Art and Research Challenges / IEEE Computer 40 : 38~45

[journal] L. Atzori / 2010 / The internet of things : A survey / Computer Networks 54(15) : 2787~2805

[journal] V. Issarny / 2011 / Service-oriented middleware for the future internet : state of the art and research directions / Journal of Internet Service and Application 2(1) : 23~45

[confproc] F. Barbon / 2006 / Run-time monitoring of instances and classes of web service compositions / Proceedings of International Conference on Web Services : 63~71

[journal] P. Bertoli / 2006 / Strong planning under partial observability / Artificial Intelligence 170(4) : 337~384

[confproc] H. Kil / 2008 / Computational complexity of web service composition based on behavioral descriptions / Proceedings of International Conference on Tools and Artificial Intelligence : 359~363

[confproc] G. Armano / 2013 / A parametric hierarchical planner for experimenting abstraction techniques / Proceedings of International Joint Conference of Artificial Intelligence : 936~941

[journal] A. Brogi / 2012 / On the potential advantages of exploiting behavioural information for contract-based service discovery and composition / Journal of Logic and Algebraic Programming 80(1) : 3~12

[journal] J. Yu / 2008 / Synthesizing service composition models on the basis of temporal business rules / Journal of Computer Science and Technology 23(6) : 885~894

[journal] J. Rief / 1984 / The complexity of two-player games of incomplete information / Journal on Computer and System Sciences 29 : 274~301

[confproc] W. Thomas / 2002 / Infinite games and verification / International Conference on Computer Aided Verification 2404 : 58~64

[confproc] O. Kupferman / 1997 / Synthesis with incomplete information / Proceedings of International Conference on Temporal Logic : 91~106

[confproc] A. Herzig / 2000 / A logic for planning under partial observability / Proceedings of National Conference on Artificial Intelligence : 768~773

[confproc] J. Rintanen / 2004 / Complexity of planning with partial observability / Proceedings of the International Conference on Automated Planning and Scheduling : 345~354

[confproc] M. Mott / 2007 / On the partial observability of temporal uncertainty / Proceedings of National Conference on Artificial Intelligence : 1031~1037

[confproc] W. Huang / 2007 / Observation reduction for strong plans / Proceedings of International Joint Conference of Artificial Intelligence : 1930~1935

[confproc] P. Traverso / 2004 / Automated composition of semantic web services into executable processes / Proceedings of International Conference of Semantic Web : 380~394

[confproc] M. Pistore / 2005 / Automated composition of web services by planning in asynchronous domains / Proceedings of the International Conference on Automated Planning and Scheduling : 2~11

[confproc] M. Pistore / 2005 / Automated composition of web services by planning at the knowledge level / Proceedings of International Joint Conference of Artificial Intelligence : 1252~1259

[confproc] W. Nam / 2008 / 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 : 331~334

[confproc] Autili M / 2015 / IEEE services visionary track on service composition for the future internet / IEEE World Congress on Services : 327~328

[journal] B. Cheng / 2017 / Situation-Aware Dynamic Service Coordination in an IoT Environment IEEE / ACM Transactions on Networking 25(4) : 2082~2095

[journal] A. Bucchiarone / 2017 / A context-aware framework for dynamic composition of process fragments in the internet of services / Journal of Internet Services and Applications 8(1) : 1~23

[journal] I. Ko / 2016 / SoIoT : Toward a user-centric IoT-based service framework / ACM Trans. Internet Technol 16(2) : 8~17

[confproc] K. Görlach K / 2015 / A flexible engine for the unified execution of service compositions / IEEE Symposium on Service-Oriented System Engineering : 133~142

[book] Papadimitriou / 1994 / Computational complexity / Addison-Wesley

[web] / 2007 / WS-BPEL: Web services business process execution language version 2.0 / http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf

[web] / 2004 / OWL-S: Semantic Markup for Web Services / https://www.w3.org/Submission/OWL-S/
KCI Citation (0)

KJC Korea
Journal Central

Statistics

Tools