蒋昌俊 王成 刘海峰 陈刚 张广胜 汤宪飞 杜晓丽 潘理 范小芹 方贤文 徐国荣 王俊丽

系统需求 Horn子句 Petri网 安全性 本体 同步分解 约束条件 模拟 建模 Ada网 并发程序 网语言 状态类方法 活性 遗传算法 服务发现 语言 时序 Petri 网 Ada任务 一致分布 服务选择 分析 复杂系统 实施概率 Web服务组合 验证 Web服务 模糊Petri网 服务质量 软语义

山东科技大学信息科学与工程学院 同济大学计算机科学与工程系 同济大学 同济大学计算机科学与技术系 计算机科学与工程系 北京信息安全测评中心 山东青岛 同济大学电子与信息工程学院