Composition of partially observable services exporting their behaviour

ICAPS 2009 - Proceedings of the 19th International Conference on Automated Planning and Scheduling

Volumn , Issue , 2009, Pages 90-97

  De Giacomo, Giuseppe ^a   De Masellis, Riccardo ^a   Patrizi, Fabio ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CONFORMANT PLANNING; STRUCTURE MODELS; SYMBOLIC MANIPULATION; SYNTHESIS PROCEDURE; TARGET SERVICES; TRANSITION SYSTEM;

MODEL CHECKING; SCHEDULING;

COMPUTATIONAL COMPLEXITY;

EID: 78650629662     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. Alur, R.; Henzinger, T. A.; and Kupferman, O. 2002. Alternating-time temporal logic. JACM 49(5):672-713.
2. Arnold, A.; Vincent, A.; and Walukiewicz, I. 2003. Games for synthesis of controllers with partial observation. Th. Comp. Sc. 1(303):7-34.
3. Balbiani, P.; Cheikh, F.; and Feuillade, G. 2008. Composition of interactive web services based on controller synthesis. In Proc. of IEEE SERVICES'08, 521-528.
4. Berardi, D.; Calvanese, D.; De Giacomo, G.; Lenzerini, M.; and Mecella, M. 2005. Automatic service composition based on behavioural descriptions. IJCIS 14(4):333-376. (Pubitemid 41053811)
5. De Giacomo, G., and Sardiña, S. 2007. Automatic Synthesis of New Behaviors from a Library of Available Behaviors. In Proc. of IJCAI 2007, 1866-1871.
6. Ghallab, M.; Nau, D.; and Traverso, P. 2004. Automated Planning: Theory and Practice. Morgan Kauffman.
7. Goldman, R. P., and Boddy, M. S. 1996. Expressive planning and explicit knowledge. In Proc. of AIPS'96, 110-117.
8. Hatzi, O.; Meditskos, G.; Vrakas, D.; Bassiliades, N.; Anagnostopoulos, D.; and Vlahavas, I. P. 2008. A synergy of planning and ontology concept ranking for semantic web service composition. In Proc. of IBERAMIA'08, 42-51.
9. Hull, R. 2005. Web Services Composition: A Story of Models, Automata, and Logics. In Proc. of SCC'05.
10. Klusch, M., and Gerber, A. 2006. Fast composition planning of owl-s services and application. In Proc. of ECOWS'06, 181-190. (Pubitemid 351164931)
11. Lustig, Y., and Vardi, M. Y. 2009. Synthesis from Component Libraries. In Proc. of FOSSACS'09.
12. McIlraith, S. A., and Son, T. C. 2002. Adapting Golog for Composition of Semantic Web Services. In In Proc. of KR'02, 482-496.
13. Muscholl, A., and Walukiewicz, I. 2008. A Lower Bound On Web Services Composition. LMCS 4(2).
14. Patrizi, F. 2009. Simulation-Based Techniques for Automated Service Composition. Ph.D. Dissertation, SAPIENZA Univ. Roma.
15. Pistore, M.; Marconi, A.; Bertoli, P.; and Traverso, P. 2005. Automated Composition of Web Services by Planning at the Knowledge Level. In Proc. of IJCAI 2005.
16. Pistore, M.; Traverso, P.; and Bertoli, P. 2005. Automated Composition of Web Services by Planning in Asynchronous Domains. In Proc. of ICAPS 2005, 2-11.
17. Piterman, N.; Pnueli, A.; and Sa'ar, Y. 2006. Synthesis of Reactive(I) Designs. In VMCAI'06, 364-380.
18. Rintanen, J. 2004. Complexity of Planning with Partial Observability. In Proc. of ICAPS'04, 345-354. (Pubitemid 40201862)
19. Sardiña, S.; De Giacomo, G.; Lespérance, Y.; and Levesque, H. J. 2006. On the Limits of Planning over Belief States under Strict Uncertainty. In Proc. of KR '06,463-471.
20. Sardiña, S.; De Giacomo, G.; and Patrizi, F. 2008. Behavior Composition in the Presence of Failure. In Proc. of KR'08.
21. Stroeder, T., and Pagnucco, M. 2009. Realising Deterministic Behaviour from Multiple Non-Deterministic Behaviours. In Proc. of IJCAI'09.
22. van der Hoek, W.; Roberts, M.; and Wooldridge, M. 2007. Social laws in alternating time: effectiveness, feasibility, and synthesis. Synthese 156(1):1-19.
23. Vardi, M. Y. 2008. From Church and Prior to PSL. In 25 Years of Model Checking, 150-171.