| 本文已被：浏览 4174次 下载 7457次 |
码上扫一扫！ |
|
|
| 普适计算中基于集合的上下文建模和操作 |
|
马骏1,2, 曹建农3, 马超3, 陶先平1,2, 吕建1,2
|
|
1.计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093;2.南京大学 计算机软件研究所,江苏 南京 210093;3.香港理工大学 电子计算学系,香港
|
|
| 摘要: |
| 上下文感知是普适计算的最主要特征之一.现今关于上下文相关的形式化工作主要集中在两个方面:上下文表示以及系统行为建模;而在关于如何刻画上下文时间特性以及如何对上下文进行操作这方面的形式化工作却很少.提出一套基于集合的用于描述上下文及其操作的形式化模型.在该模型中,上下文被定义为一系列上下文条目(context entry)所组成的集合;在此基础之上,引入一系列上下文操作(operation),通过对这些操作的组合,可以依据应用的不同需求来描述相应的上下文处理流程和逻辑.此外,还给出了一个参考实现,以验证该模型的可用性. |
| 关键词: 普适计算 上下文 集合论 上下文感知计算 上下文建模 算法分析 |
| DOI： |
| 分类号: |
| 基金项目:国家自然科学基金(61073031, 61021062); 国家重点基础研究发展计划(973)(2009CB320702); 香港研究资助基金委员会资助项目(PolyU5106/10E) |
|
| Modeling and Manipulating Context in Pervasive Computing Based on Set Theory |
|
MA Jun1,2, CAO Jian-Nong3, MA Chao3, TAO Xian-Ping1,2, Lü Jian1,2
|
|
1.State Key Laboratory for Novel Software Technology (Nanjing University), Nanjing 210093, China;2.Institute of Computer Software, Nanjing University, Nanjing 210093, China);3.Department of Computing, Hongkong Polytechnic University, Hong Kong, China
|
| Abstract: |
| Context awareness is one of the key characteristics of ubiquitous and pervasive computing. Most current formalism works focus on two aspects: context representing and system modeling. However, how the temporal property of context can be modeled and how context can be manipulated are not well addressed. This paper proposes a formal way based on set theory for modeling and manipulating context, in which a context is defined as a set of context entries and operators are introduced to specify how to manipulate contexts in according to the needs of different applications. To show the usability of the proposed model, a demo implementation is also included in this paper. |
| Key words: pervasive computing context set theory context aware computing context modeling algorithm analysis |
