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

摘要：

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

关键词：工作流过程、图形建模、反应式控制、自动机、动态语义

所属期刊栏目：19

分类号：TP3(计算技术、计算机技术)

资助基金：电子信息产业发展基金信部运[2004]42号

在线出版日期：2007-03-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：8-13