祝义 季海波 胡军 黄志球 曹子宁 刘亚萍 李俊 张广泉

网构软件 副本放置 形式化规约 资源 检测 代价 实时系统 负载平衡 存储调度 视频点播 时间Petri网 UML-RT 时间约束 Petri网 LOTOS 服务器集群 SLF 多态性 软件体系结构 冲突 时间变迁系统

徐州师范大学计算机科学与技术学院 安徽合肥 中国科学技术大学自动化系 南京航空航天大学信息科学与技术学院 南京大学计算机软件新技术国家重点实验室