齐璇 胡旷 田勇 陶洁 董广智 梁赓 陆莉祯 尹晓强 李春晓 金松 任洪涛

验证工具 工作流 反应式控制 网上博物馆 软件过程模型 动态数据交换 数字博物馆 动态语义 层模式 可扩展标记语言 动态变更 过程支撑环境 Java异常 过程模型 工作流管理系统 工作流过程 自动机 语义规则 OR-Mapping 博物馆底帐 模式 Java 架构 XYZE 过程建模语言 过程元模型 软件过程 图形建模 MINI 工作流模式

中国科学院软件研究所 中国科学院软件研究所人机交互技术与智能信... 唐山工人医院 中国科学院软件所 中科院软件所