智能家居平台构件适应与协同模型及形式化分析

发布时间：2017-06-30 23:06

  本文关键词：智能家居平台构件适应与协同模型及形式化分析，，由笔耕文化传播整理发布。

【摘要】：以解决智能家居平台运行过程中的构件适应与协同问题为目的,保证设备独立性与数据一致性为特点,提出一种基于构件适应与协同的智能家居平台逻辑模型,对平台及各构件进行形式化描述与建模,并结合平台功能需求对模型性质进行分析与验证。实验表明,在本模型下平台构件的适应与协同满足不死锁、不中止、不发散的必要性质,且在并行处理多用户请求的条件下能够实现数据一致性与操作有效性。本研究对智能家居平台的研发与验证有一定意义。
【作者单位】： 太原理工大学计算机科学与技术学院;
【关键词】： 智能家居平台 构件适应 构件协同 形式化
【基金】：山西省科技攻关资助项目(工业):遗留软件再工程的研究与实现(20120321030) 太原理工大学校科技发展基金资助项目(2012L067)
【分类号】：TP393.09
【正文快照】： 智能家居平台是针对智能家居设备管理的软件开发框架[1-2]。一般定义智能设备及控制程序的访问接口、协议及控制方法,将家庭看作一个智能家居设备的集合,通过家庭、房间、区域的概念把这些设备有机地组合起来。在对设备的控制上,硬件设备被定义成提供一个或者多个服务的单元,

【相似文献】

中国期刊全文数据库 前10条

1 卢毅;冯天民;;智能家居局域网系统分析[J];科技传播;2013年10期

2 岳敬华;张s

本文编号：503773