Abstract
Domotics, concerned with the realization of intelligent home environments, is a novel field which can highly benefit from solutions inspired by service-oriented principles to enhance the convenience and security of modern home residents. In this work, we present an architecture for a smart home, starting from the lower device interconnectivity level up to the higher application layers that undertake the load of complex functionalities and provide a number of services to end-users. We claim that in order for smart homes to exhibit a genuinely intelligent behavior, the ability to compute compositions of individual devices automatically and dynamically is paramount. To this end, we incorporate into the architecture a composition component that employs artificial intelligence domain-independent planning to generate compositions at runtime, in a constantly evolving environment. We have implemented a fully working prototype that realizes such an architecture, and have evaluated it both in terms of performance as well as from the end-user point of view. The results of the evaluation show that the service-oriented architectural design and the support for dynamic compositions is quite efficient from the technical point of view, and that the system succeeds in satisfying the expectations and objectives of the users.
- Agarwal, V., Dasgupta, K., Karnik, N., Kumar, A., Kundu, A., Mittal, S., and Srivastava, B. 2005. A service creation environment based on end to end composition of web services. In Proceedings of the 14th International Conference on World Wide Web (WWW). ACM Press, New York, 128--137. Google ScholarDigital Library
- Aiello, M. 2006. The role of web services at home. In Proceedings of the IEEE Conference on Web Service-Based Systems and Applications (WEBSA). IEEE Computer Society, 164. Google ScholarDigital Library
- Aiello, M. and Dustdar, S. 2008. A domotic infrastructure based on the web service stack. Pervasive Mobile Comput. 4, 4, 506--525. Google ScholarDigital Library
- Aiello, M., Papazoglou, M., Yang, J., Carman, M., Pistore, M., Serafini, L., and Traverso, P. 2002. A request language for web-services based on planning and constraint satisfaction. In Proceedings of the 3rd International Workshop on Technologies for E-Services (TES). Lecture Notes in Computer Science, vol. 2444, Springer, 76--85. Google ScholarDigital Library
- Aker, E., Erdogan, A., Erdem, E., and Patoglu, V. 2011. Causal reasoning for planning and coordination of multiple housekeeping robots. In Proceedings of the International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'11). 311--316. Google ScholarDigital Library
- Aloise, F., Schettini, F., Arico, P., Bianchi, L., Riccio, A., Mecella, M., Babiloni, F., Mattia, D., and Cincotti, F. 2010. Advanced brain computer interface for communication and control. In Proceedings of the International Conference on Advanced Visual Interfaces. ACM Press, New York, 399--400. Google ScholarDigital Library
- Aloise, F., Schettini, F., Arico, P., Salinari, S., Guger, C., Rinsma, J., Aiello, M., Mattia, D., and Cincotti, F. 2011. Asynchronous p300-based bci to control a virtual environment: Initial tests on end users. Clinical EEG Neurosci. 42, 4, 1--6.Google ScholarCross Ref
- Au, T., Kuter, U., and Nau, D. 2005. Web service composition with volatile information. In Proceedings of the 4th International Semantic Web Conference (ISWC). 52--66. Google ScholarDigital Library
- Barta K, R. and Toropila, D. 2009. Enhancing constraint models for planning problems. In Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference. AAAI Press.Google Scholar
- Berardi, D., Calvanese, D., Giacomo, G. D., Lenzerini, M., and Mecella, M. 2005. Automatic service composition based on behavioral descriptions. Int. J. Cooperative Inf. Syst. 14, 4, 333--376.Google ScholarCross Ref
- Bronsted, J., Hansen, K. M., and Ingstrup, M. 2010. Service composition issues in pervasive computing. IEEE Pervasive Comput. 9, 62--70. Google ScholarDigital Library
- Cabezas, P., Arrizabalaga, S., Salterain, A., and Legarda, J. 2008. An agent-based semantic osgi service architecture. In Computer and Information Science. Studies in Computational Intelligence Series, vol. 131, Springer, 97--106.Google Scholar
- Caruso, M., Ciccio, C. D., Iacomussi, E., Kaldeli, E., Lazovik, A., and Mecella, M. 2012. Service ecologies for home/building automation. In Proceedings of the 10th International IFAC Symposium on Robot Control.Google Scholar
- Catarci, T., Di Ciccio, C., Forte, V., Iacomussi, E., Mecella, M., Santucci, G., and Tino, G. 2011. Service composition and advanced user interfaces in the home of tomorrow: The sm4all approach. In Proceedings of the 2nd International ICST Conference on Ambient Media and Systems (Ambi-Sys'11).Google Scholar
- Costa, P., Coulson, G., Mascolo, C., Mottola, L., Picco, G., and Zachariadis, S. 2007. Reconfigurable component-based middleware for networked embedded systems. Int. J. Wireless Inf. Netw. 14, 149--162.Google ScholarCross Ref
- Davidsson, P. and Boman, M. 2005. Distributed monitoring and control of office buildings by embedded agents. Inf. Sci. 171, 293--307. Google ScholarDigital Library
- Duquennoy, S., Grimaud, G., and Vandewalle, J.-J. 2009. The web of things: Interconnecting devices with high usability and performance. In Proceedings of the 6th International Conference on Embedded Software and Systems (ICESS). IEEE Computer Society, 323--330. Google ScholarDigital Library
- Eisenhauer, M., Rosengren, P., and Antolin, P. 2010. HYDRA: A development platform for integrating wireless devices and sensors into ambient intelligence systems. In Proceedings of the Workshop on the Internet of Things: 20th Tyrrhenian Workshop on Digital Communications. Springer, 367--373.Google Scholar
- Etzioni, Z., Keeney, J., Brennan, R., and Lewis, D. 2010. Supporting composite smart home services with semantic fault management. In Proceedings of the 5th International Conference on Future Information Technology (FutureTech). 1--8.Google Scholar
- Fan, J. and Kambhampati, S. 2005. A snapshot of public web services. SIGMOD Rec. 34, 1, 24--32. Google ScholarDigital Library
- Ghallab, M., Nau, D., and Traverso, P. 2004. Automated Planning: Theory and Practice. Morgan Kaufmann, San Fransisco, CA. Google ScholarDigital Library
- Gouvas, P., Bouras, T., and Mentzas, G. 2007. An osgi-based semantic service-oriented device architecture. In Proceedings of the OTM Workshop on On the Move to Meaningful Internet Systems. 773--782. Google ScholarDigital Library
- Gravot, F., Haneda, A., Okada, K., and Inaba, M. 2006. Cooking for humanoid robot, a task that needs symbolic and geometric reasonings. In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA). 462--467.Google Scholar
- Guger, C., Daban, S., Sellers, E. Holzner, C., Krausz, G. Carabalona, R., Gramatica, F., and Edlinger, G. 2009. How many people are able to control a p300-based brain-computer interface (bci)&qust; Neurosci. Lett. 462, 94--98.Google ScholarCross Ref
- Guinard, D., Trifa, V., Mattern, F., and Wilde, E. 2011. From the internet of things to the web of things: Resource oriented architecture and best practices. In Architecting the Internet of Things. Springer, 97--129.Google Scholar
- Haisma, H. 2011. From thoughts to actions. http://www.cs.rug.nl/_aiellom/publications/hasima.pdf.Google Scholar
- Hassine, A. B., Matsubara, S., and Ishida, T. 2006. A constraint-based approach to horizontal web. In Proceedings of the 5th International Semantic Web Conference (ISWC'06). 130--143. Google ScholarDigital Library
- Helmert, M. 2009. Concise finite-domain representations for pddl planning tasks. Artif. Intell. 173, 503--535. Google ScholarDigital Library
- Kaldeli, E. 2009a. Using csp for adaptable web service composition. Tech. rep. 2009-7-01, University of Groningen. www.cs.rug.nl/_eirini/tech rep 09-7-01.pdf.Google Scholar
- Kaldeli, E. 2009b. Using CSP for adaptable web service composition. Tech. rep. 2009-7-01, Johann Bernoulli Institute, University of Groningen.Google Scholar
- Kaldeli, E., Lazovik, A., and Aiello, M. 2009. Extended goals for composing services. In Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press.Google Scholar
- Kaldeli, E., Lazovik, A., and Aiello, M. 2011. Continual planning with sensing for web service composition. In Proceedings of the 25th AAAI Conference on Artificial Intelligence. AAAI Press.Google Scholar
- Kaldeli, E., Warriach, E. U., Bresser, J., Lazovik, A., and Aiello, M. 2010. Interoperation, composition and simulation of services at home. In Proceedings of the 8th International Conference on Service Oriented Computing (ICSOC). Lecture Notes in Computer Science, vol. 6470, Springer, 167--181.Google ScholarCross Ref
- Kastner, W., Kofler, M. J., and Reinisch, C. 2010. Using ai to realize energy efficient yet comfortable smart homes. In Proceedings of 8th IEEE International Workshop on Factory Communication Systems (WFCS'10). 169--172.Google Scholar
- Kim, S. H., Kim, S. W., and Park, H. 2003. Usability challenges in ubicomp environment. In Proceedings of the International Ergonomics Association (IEA).Google Scholar
- Kindberg, T., Barton, J., Morgan, J., Becker, G., Caswell, D., Debaty, P., Gopal, G., Frid, M., Krishnan, V., Morris, H., Schettino, J., and Serra, B. 2000. People, places, things: Web presence for the real world. In Proceedings of the 3rd IEEE Workshop on Mobile Computing Systems and Applications (WMSCA). 365--376. Google ScholarDigital Library
- Lazovik, A., Aiello, M., and Papazoglou, M. 2003. Planning and monitoring the execution of web service requests. In Proceedings of the 1st International Conference on Service-Oriented Computing (ICSOC'03). Lecture Notes in Computer Science, vol. 2910, Springer, 335--350.Google ScholarCross Ref
- Lazovik, E., Den Dulk, P., De Groote, M., Lazovik, A., and Aiello, M. 2009. Services inside the smart home: A simulation and visualization tool. In Proceedings of the 7th International Conference on Service-Oriented Computing (ICSOC-ServiceWave'09). Lecture Notes in Computer Science, vol. 5900, Springer, 651--652. Google ScholarDigital Library
- Lee, C., Ko, S., Kim, E., and Lee, W. 2009. Enriching osgi service composition with web services. IEICE Trans. Inf. Syst. E92.D, 5, 1177--1180.Google ScholarCross Ref
- Li, Q., Stankovic, J. A., Hanson, M. A., Barth, A. T., Lach, J., and Zhou, G. 2009. Accurate, fast fall detection using gyroscopes and accelerometer-derived posture information. In Proceedings of the 6th International Workshop on Wearable and Implantable Body Sensor Networks. 138--143. Google ScholarDigital Library
- Ma, C., Xu, Q., and Sanders, J. W. 2009. A survey of business process execution language (BPEL). Tech. rep. 2009-7-01, UNU-IIST.Google Scholar
- Mehandijev, N. and Grefen, P., Eds. 2011. Dynamic Business Process Formation for Instant Virtual Enterprises. Springer.Google Scholar
- Nielsen, J. 1994a. Enhancing the explanatory power of usability heuristics. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: Celebrating Interdependence. ACM Press, New York, 152--158. Google ScholarDigital Library
- Nielsen, J. 1994b. Heuristic Evaluation. Usability Inspection Methods. John Wiley and Sons. Google ScholarDigital Library
- Orriens, B. and Yang, J. 2006. A rule driven approach for developing adaptive service oriented business collaboration. In Proceedings of the IEEE International Conference on Services Computing. 182--189. Google ScholarDigital Library
- Pecora, F. and Cesta, A. 2007. DCOP for smart homes: A case study. Comput. Intell. 23, 4, 395--419.Google ScholarCross Ref
- Pilioura, T. and Tsalgatidou, A. 2009. Unified publication and discovery of semantic web services. ACM Trans. Web 3, 3, 11:1--11:44. Google ScholarDigital Library
- Rao, S. P. and Cook, D. J. 2004. Predicting inhabitant action using action and task models with application to smart homes. Int. J. Artif. Intell. Tools 13, 81--100.Google ScholarCross Ref
- Redondo, R. P. D., Fernandez, V. A., Cabrer, M. R., Arias, J. J. P., Duque, J. G., and Solla, A. G. 2008. Enhancing residential gateways: A semantic osgi platform. IEEE Intell. Syst. 23, 1, 32--40. Google ScholarDigital Library
- Richter, S. and Westphal, M. 2010. The lama planner: Guiding cost-based anytime planning with landmarks. J. Artif. Intell. Res. 39, 127--177. Google ScholarCross Ref
- Ryu, S. H., Casati, F., Skogsrud, H., Benatallah, B., and Saint-Paul, R. 2008. Supporting the dynamic evolution of web service protocols in service-oriented architectures. ACM Trans. Web 2, 13:1--13:46. Google ScholarDigital Library
- Skoutas, D., Sacharidis, D., Simitsis, A., and Sellis, T. 2008. Serving the sky: Discovering and selecting semantic web services through dynamic skyline queries. In Proceedings of the 2nd IEEE International Conference on Semantic Computing. 222--229. Google ScholarDigital Library
- Sohrabi, S., Prokoshyna, N., and Mcilraith, S. A. 2006. Web service composition via generic procedures and customizing user preferences. In Proceedings of the 5th International Semantic Web Conference (ISWC). 597--611. Google ScholarDigital Library
- Spiess, P., Karnouskos, S., Guinard, D., Savio, D., Baecker, O., De Souza, L. M. S., and Trifa, V. 2009. Soa-based integration of the internet of things in enterprise services. In Proceedings of the 7th IEEE International Conference on Web Services (ICWS). 968--975. Google ScholarDigital Library
- Trifa, V., Guinard, D., Davidovski, V., Kamilaris, A., and Delchev, I. 2010. Web messaging for open and scalable distributed sensing applications. In Proceedings of the 10th International Conference on Web Engineering (ICWE). Springer, 129--143. Google ScholarDigital Library
- Warriach, E. U., Kaldeli, E., Bresser, J., Lazovik, A., and Aiello, M. 2010. A tool for integrating pervasive services and simulating their composition. In Proceedings of the 8th International Conference in Service-Oriented Computing (ICSOC). Lecture Notes in Computer Science, vol. 6470, Springer, 726--727.Google ScholarCross Ref
- Yu, T., Zhang, Y., and Lin, K.-J. 2007. Efficient algorithms for web services selection with end-to-end qos constraints. ACM Trans. Web 1, 1. Google ScholarDigital Library
- Zeadally, S. and Kubher, P. 2008. Internet access to heterogeneous home area network devices with an osgi-based residential gateway. Int. J. Ad Hoc Ubiquitous Comput. 3, 48--56. Google ScholarDigital Library
- Zhang, W. and Hansen, K. M. 2008. Semantic web based self-management for a pervasive service middleware. In Proceedings of the 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO). 245--254. Google ScholarDigital Library
Index Terms
- Coordinating the web of services for a smart home
Recommendations
Configurable Composition and Adaptive Provisioning of Web Services
Web services composition has been an active research area over the last few years. However, the technology is still not mature yet and several research issues need to be addressed. In this paper, we describe the design of CCAP, a system that provides ...
Process model-based atomic service discovery and composition of composite semantic web services using web ontology language for services OWL-S
Web Service composition has become indispensable as a single web service cannot satisfy complex functional requirements. Composition of services has received much interest to support business-to-business B2B or enterprise application integration. An ...
A semantic web services-based infrastructure for ubiquitous service systems
The recent emergence of ubiquitous computing is rapidly changing computing environments and technologies. Based on the ubiquitous computing technologies, users can be provided with the services they need, anytime and anywhere through not only common ...
Comments