基于进程代数的上下文感知模型
王卫红1,2,覃征1,曹玉辉1,2,李达1
(1.西安交通大学电子与信息工程学院，710049,西安；2.河北经贸大学信息技术学院，050000,石家庄）
摘要:针对当前上下文感知研究大多集中于技术解决方案，缺乏理论上统一描述模型的问题，提出了基于进程代数的上下文感知模型（CAMBPA).该模型独立于具体的应用平台，具有平台无关性.首先，利用带时间参量的上下文的状态变迁来描述动态环境的变化，并根据进程代数的合并理论，采用合成简单环境状态变迁的方法来实现对复杂环境状态变迁的描述.随后，通过在模型中引入感知函数，实现了对感知行为的描述，同时对上下文状态变迁赋予了资源语义，从而使模型能够刻画移动计算环境中的动态资源情形.采用染色Petri网对CAMBPA模型实例进行了可视化仿真，结果表明该模型具有语法、语义的正确性，以及良好的可扩展性，能够很好地描述上下文感知.
关键词:移动计算；上下文感知；进程代数；染色Petri网
中图分类号:TP393文献标识码:A文章编号:0253-987X(2005)10-1060-04