RRSH: An Architecture for Rapid Reconstruction of Service Composition in Smart Home

Article Preview

Abstract:

The environment of a smart home is highly dynamic, where resources, such as devices, services and applications, can be introduced or removed at a moment’s notice. Thus the probability of failures, such as device, network, and service failures, is improved. It is challenging to improve the availability and reliability of services compositions in smart home. In this paper, we propose an architecture for rapid reconstruction of services compositions in smart home. It can rapidly achieve failure capturing and recovery. We build ASM (Abstract State Machines) ground model [1] to analyze the correctness of the process of the reconstruction of services compositions in smart home.

You might also be interested in these eBooks

Info:

Periodical:

Pages:

661-664

Citation:

Online since:

January 2015

Export:

Price:

Permissions CCC:

Permissions PLS:

Сopyright:

© 2015 Trans Tech Publications Ltd. All Rights Reserved

Share:

Citation:

* - Corresponding Author

[1] Egon Börger, Robert Stärk. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag, (2003).

DOI: 10.1145/979743.979770

Google Scholar

[2] Alamo, R. and J. Wong. Service-oriented middleware for Smart Home applications, Wireless Hive Networks Conference, 2008. WHNC 2008. IEEE, PP. 1-4.

DOI: 10.1109/whnc.2008.4629489

Google Scholar

[3] Ngo, L. Service-oriented architecture for home networks. In: Seminar on Internetworking, p.1–6 , (2007).

Google Scholar

[4] L. Jin V. Krishnamoorthy F. Casati, S. Ilnicki and M.C. Shan. Modeling and composing service-based and reference process-based multi-enterprise processes. Proc. Adv. Inf. Sys. Eng.: 12th Int. Conf., CAiSE, pages 13–31, June (2000).

Google Scholar

[5] Yuri Gurevich. Evolving Algebras: An Attempt to Discover Semantics Bulletin of the EATCS, 43: 264-284, (1991).

Google Scholar

[6] A. Cichocki H. Schuster, D. Georgakopoulos and D. Baker. Modeling and composing service-based and reference process-based multi-enterprise processes. Proc. 12th Int. Conf. on Adv. Inf. Sys. Eng., CAiSE, June (2000).

Google Scholar

[7] G.D. Castillo, K. Winter. Model Checking Support for the ASM High-Level Language. Technical Report tr-ri-99-209 Universitöt-GH Paderborn, June, (1999).

Google Scholar

[8] Nichols, J. and Myers, B. Controlling Home and Office Appliances with Smart Phones. IEEE Pervasive Computing, vol. 5, no. 3, pp.60-67, July-Sept (2006).

DOI: 10.1109/mprv.2006.48

Google Scholar

[9] Huang, H. Y., W. C. Teng, et al. Smart home at a finger tip: OSGi-based MyHome, IEEE International Conference on Systems, Man and Cybernetics, pp.4467-4472, Oct. 2009.

DOI: 10.1109/icsmc.2009.5346916

Google Scholar

[10] P. Tang, T. Venables, Smart, homes and telecare for independent living, J. Telemed. Telecare 6 (2000) 8–14.

DOI: 10.1258/1357633001933871

Google Scholar

[11] R.A. Brooks, The intelligent room project: cognitive technology, in: Proceedings of the 2nd International Cognitive Technology Conference, Aizu, Wakamatsu, Japan, 1997, p.271–278.

Google Scholar