Smart home planning programs

2010 7th International Conference on Service Systems and Service Management, Proceedings of ICSSSM' 10

Volumn , Issue , 2010, Pages 377-382

  De Masellis, Riccardo ^a   Di Ciccio, Claudio ^a   Mecella, Massimo ^a   Patrizi, Fabio ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

Automatic service composition; Embedded services; Planning programs; Smart homes

Indexed keywords

AUTOMATIC SERVICE COMPOSITION; EMBEDDED SERVICES; NEW DEVICES; NEW SERVICES; SMART HOMES; SMART HOUSE;

QUALITY OF SERVICE; UBIQUITOUS COMPUTING;

TELECOMMUNICATION SERVICES;

EID: 77955966154     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSSSM.2010.5530212     Document Type: Conference Paper

References (16)

1. M. Aiello and S. Dustdar. Are our homes ready for services? a domotic infrastructure based on the web service stack. Pervasive and Mobile Computing, 4(4):506-525, 2008.
2. G. Alonso, F. Casati, H. Kuno, and V. Machiraju. Web Services. Concepts, Architectures and Applications. Springer, 2004.
3. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. Automatic Composition of e-Services that Export their Behavior. In Proc. of ICSOC 2003, pages 43-58, 2003.
4. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. Automatic service composition based on behavioural descriptions. International Journal of Cooperative Information Systems, 14(4):333-376, 2005. (Pubitemid 41053811)
5. D. Berardi, F. Cheikh, G. De Giacomo, and F. Patrizi. Automatic service composition via simulation. International Journal of Foundations of Computer Science, 19(2):429-451, 2008.
6. G. De Giacomo, F. Patrizi, and S. Sardiña. Agent Programming via Planning Programs. In Proc. of AAMAS'10, 2010. To appear.
7. G. De Giacomo and S. Sardiña. Automatic synthesis of new behaviors from a library of available behaviors. In Proc. of IJCAI 2007, pages 1866-1871, 2007.
8. M. Ghallab, D. Nau, and P. Traverso. Automated Planning: Theory and Practice. Morgan Kaufmann, 2004.
9. M. Michalowski, J. L. Ambite, C. A. Knoblock, S. Minton, S. Thakkar, and R. Tuchinda. Retrieving and semantically integrating heterogeneous data from the web. IEEE Intelligent Systems, 19(3):72-79, 2004.
10. F. Patrizi. Simulation-based Techniques for Automated Service Composition. PhD thesis, SAPIENZA - Università di Roma, 2009.
11. N. Piterman, A. Pnueli, and Y. Sa'ar. Synthesis of reactive(1) designs. In VMCAI, pages 364-380, 2006.
12. A. Pnueli and R. Rosner. On the Synthesis of a Reactive Module. In Proc. of POPL, pages 179-190, 1989.
13. R. Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, September 2001.
14. S. Sardiña, G. De Giacomo, and F. Patrizi. Behavior Composition in the Presence of Failure. In Proc. of KR'08, 2008.
15. M. Y. Vardi. An automata-theoretic approach to linear temporal logic. In Logics for Concurrency: Structure versus Automata, volume 1043 of LNCS, pages 238-266, 1996.
16. D.Wu, B. Parsia, E. Sirin, J. A. Hendler, and D. S. Nau. Automating DAML-SWeb Services Composition Using SHOP2. In Proceedings of The Semantic Web - ISWC 2003, Second International Semantic Web Conference, 2003.