一种面向普适计算的动态更新模型

• 作者: 杜思奇 陈俊清 陈璐希 黄林鹏
• 来源期刊: 中国科技论文
• 学科: 工学
• 关键词: 动态更新 普适计算 分布式 进程代数 模型验证
• 年，卷（期）: 2012,（10）
• 页码范围: 773-778
• 分类号: TP399
• 字数: 5837字
• 语种: 中文

摘要

首先介绍了普适计算的特点,通过对更新对象及现有更新机制进行分析,评估了已有的动态更新方法的适用性;在此基础上,提出了一种分布式的更新模型,并使用进程代数FSP进行形式化建模,对更新机制进行刻画;最后结合FSP模型验证工具检验了模型具有无死锁隐患、客户透明性和服务器正确性等3个特性,从而保证了模型的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄林鹏	上海交通大学计算机科学与工程系	45	455	8.0	20.0
2	陈俊清	上海交通大学计算机科学与工程系	4	7	2.0	2.0
3	杜思奇	上海交通大学计算机科学与工程系	1	2	1.0	1.0
4	陈璐希	上海交通大学计算机科学与工程系	1	2	1.0	1.0