Affiliation:
1. JiangXi Agricultural University
2. Jiangxi University of Finance and Economics
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.
Publisher
Trans Tech Publications, Ltd.
Reference11 articles.
1. Egon Börger, Robert Stärk. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag, (2003).
2. Alamo, R. and J. Wong. Service-oriented middleware for Smart Home applications, Wireless Hive Networks Conference, 2008. WHNC 2008. IEEE, PP. 1-4.
3. Ngo, L. Service-oriented architecture for home networks. In: Seminar on Internetworking, p.1–6 , (2007).
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).
5. Yuri Gurevich. Evolving Algebras: An Attempt to Discover Semantics Bulletin of the EATCS, 43: 264-284, (1991).
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献