工作流过程图形建模及基于自动机的动态语义

• 作者: 柳军飞 田勇 董广智
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 工作流过程 图形建模 反应式控制 自动机 动态语义
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: 系统集成与协同设计
• 页码范围: 8-13
• 页数: 6页
• 分类号: TP3
• 字数: 5746字
• 语种: 中文
• DOI: 10.3321/j.issn:1003-9775.2007.01.002

摘要

根据过程执行的特点,定义了一种以活动为中心的反应式过程元模型,并为其提供了一种图形表示,同时为此元模型指定了一种体现过程运行时行为的动态语义,该语义可表示为一个有限状态自动机.最后举例说明了如何应用它分析过程模型的语义正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	柳军飞	中国科学院软件研究所人机交互技术与智能信息处理实验室	15	135	7.0	11.0
2	田勇	中国科学院软件研究所人机交互技术与智能信息处理实验室	24	78	5.0	8.0
3	董广智	中国科学院软件研究所人机交互技术与智能信息处理实验室	5	21	3.0	4.0