Behavior-level Service Composition by Variable Abstraction
[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)