郝克刚 宋悦 龚晓庆 江富春

工作流模式 西方数学思想 会议活动 反应系统 信牌驱动工作流模型 规约 适用性 工作流 工作流过程定义语言 计算树逻辑 东方数学思想 会话活动 信牌驱动模型 非形式化开发方法 形式化方法 CSCW 表达能力 形式化开发方法 时态逻辑 工作流管理系统

西北大学计算机科学系 陕西西安 西北大学信息科学与技术学院 西北大学软件工程研究所