| 移动环境下订阅分发协议的随机Petri网模型 |
| |
| 引用本文： | 曹怀虎,张艳梅,牛娃.移动环境下订阅分发协议的随机Petri网模型[J].计算机工程与应用,2008,44(3):124-127. |
| |
| 作者姓名： | 曹怀虎 张艳梅 牛娃 |
| |
| 作者单位： | 中央财经大学 信息学院，北京 100081 |
| |
| 基金项目： | 国家自然科学基金
,
北京市自然科学基金 |
| |
| 摘 要： | 针对移动环境下订阅分发服务的需求，提出了基于位置的订阅分发协议（LBPSP）。应用高级Petri网对LBPSP协议的核心操作进行建模，并对协议的正确性与异常处理完备性进行了验证。
|
| 关 键 词： | 移动计算 位置感知 订阅分发协议 Petri网 网络仿真 |
| 文章编号： | 1002-8331(2008)03-0124-04 |
| 修稿时间： | 2007年8月1日 |
Petri-Net model for publish/subscribe protocol in mobile environment |
| |
| CAO Huai-hu,ZHANG Yan-mei,NIU Wa.Petri-Net model for publish/subscribe protocol in mobile environment[J].Computer Engineering and Applications,2008,44(3):124-127. |
| |
| Authors: | CAO Huai-hu ZHANG Yan-mei NIU Wa |
| |
| Affiliation: | School of Information，Central University of Finance and Economics，Beijing 100081，China |
| |
| Abstract: | According to requirement of publish/subscribe service in mobile environment,a Location Based Publish/Subscribe Protocol(LBPSP) is presented,a Petri-Net model to the crucial operations of LBPSP is built,and its correctness and safety in exception handling are validated with Petri-Net. |
| |
| Keywords: | mobile computing location-ware publish/subscribe protocol Petri-Net network simulation |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
