冯燕炯 肖志娇 王慧 杨巍 李师贤 尹剑飞 张国斌 彭小刚 傅向华 蔡树彬 王志强

角色模型 分布式哈希表 分布式范围树 性能建模 数据访问优化 面向对象 流程模型 结构化P2P网络 UML 面向对象方法 可靠性 范围查询 伸缩性 回归分析 OOram方法 用实例 共享模型 数据模型 运行时测试 资源共享平台 Peer-to-Peer 形式化 排队网 正确性 基模型 派生模型 自动化测试 形式化方法 性能测试 OORAM方法

深圳大学信息工程学院 中山大学信息科技学院 广东深圳