• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Platform Technology and Service >A Formal Model for Robust Spatial-Aware Service Management in IoT-Enriched Smart Home
【24h】

A Formal Model for Robust Spatial-Aware Service Management in IoT-Enriched Smart Home

机译：物联网丰富的智能家居中强大的空间感知服务管理的正式模型

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We can perceive the advent of Smart Home attributed to the rapid emerging of embedded and tiny intelligent devices and sensors. However, most of current Smart Home systems are still being developed based on the so-called "the system is the application" philosophy, causing the developers to take care of all technical details from ground up. There is relatively little research focuses on the theoretical aspects so that the independent research achievements or results are not interoperable. The concept of the "Ambient", which refers to a bounded place with computing capability, is one of the most important issues when implementing a system in Smart Home. The results of a service composition are not optimized if the concept of Ambient is not taken into account. This paper aims to investigate the spatial issues systematically from theoretical aspects. We propose several new spatial abstractions and a spatial-aware service management scheme on top of a UPnP-based robust service management protocol. Formal validation is also performed to verify the robustness of the proposed approach.
机译：我们可以将智能家居的出现归因于嵌入式和微型智能设备及传感器的迅速兴起。但是，当前大多数智能家居系统仍在根据所谓的“系统即应用程序”理念进行开发，这使开发人员从头开始处理所有技术细节。很少有研究集中在理论方面，因此独立的研究成果或结果是不可互操作的。当在智能家居中实施系统时，“环境”的概念是指具有计算能力的有界空间，这是最重要的问题之一。如果不考虑环境概念，则不会优化服务组合的结果。本文旨在从理论角度系统地研究空间问题。在基于UPnP的可靠服务管理协议的基础上，我们提出了几种新的空间抽象和空间感知服务管理方案。还执行形式验证以验证所提出方法的鲁棒性。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号