###
DOI:
Journal of Software:2011.22(zk2):105-119

普适计算中基于集合的上下文建模和操作
马骏,曹建农,马超,陶先平,吕建
(计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093; 南京大学 计算机软件研究所,江苏 南京 210093;香港理工大学 电子计算学系,香港)
Modeling and Manipulating Context in Pervasive Computing Based on Set Theory
MA Jun,CAO Jian-Nong,MA Chao,TAO Xian-Ping,Lü Jian
(State Key Laboratory for Novel Software Technology (Nanjing University), Nanjing 210093, China; Institute of Computer Software, Nanjing University, Nanjing 210093, China);Department of Computing, Hongkong Polytechnic University, Hong Kong, China)
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2181   Download 2806
Received:July 20, 2011    Revised:December 01, 2011
> 中文摘要: 上下文感知是普适计算的最主要特征之一.现今关于上下文相关的形式化工作主要集中在两个方面:上下文表示以及系统行为建模;而在关于如何刻画上下文时间特性以及如何对上下文进行操作这方面的形式化工作却很少.提出一套基于集合的用于描述上下文及其操作的形式化模型.在该模型中,上下文被定义为一系列上下文条目(context entry)所组成的集合;在此基础之上,引入一系列上下文操作(operation),通过对这些操作的组合,可以依据应用的不同需求来描述相应的上下文处理流程和逻辑.此外,还给出了一个参考实现,以验证该模型的可用性.
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.
文章编号:     中图分类号:    文献标志码:
基金项目:国家自然科学基金(61073031, 61021062); 国家重点基础研究发展计划(973)(2009CB320702); 香港研究资助基金委员会资助项目(PolyU5106/10E) 国家自然科学基金(61073031, 61021062); 国家重点基础研究发展计划(973)(2009CB320702); 香港研究资助基金委员会资助项目(PolyU5106/10E)
Foundation items:
Reference text:

马骏,曹建农,马超,陶先平,吕建.普适计算中基于集合的上下文建模和操作.软件学报,2011,22(zk2):105-119

MA Jun,CAO Jian-Nong,MA Chao,TAO Xian-Ping,Lü Jian.Modeling and Manipulating Context in Pervasive Computing Based on Set Theory.Journal of Software,2011,22(zk2):105-119