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

Graphical Workflow Process Modeling and its Automata-Based Dynamic Semantics

作　　者：董广智[1] 田勇[1] 柳军飞[1] 

机构地区：[1]中国科学院软件研究所人机交互技术与智能信息处理实验室,北京100080

出　　处：《计算机辅助设计与图形学学报》2007年第1期8-13,共6页Journal of Computer-Aided Design & Computer Graphics

基　　金：电子信息产业发展基金(信部运[2004]42号).

摘　　要：根据过程执行的特点,定义了一种以活动为中心的反应式过程元模型,并为其提供了一种图形表示,同时为此元模型指定了一种体现过程运行时行为的动态语义,该语义可表示为一个有限状态自动机.最后举例说明了如何应用它分析过程模型的语义正确性.According to the characteristics of workflow process execution, a kind of reactive activitycentered process meta-model is defined and a kind of graphical notation is provided for it, at the same time, for this meta-model, a kind of dynamic semantics is specified, which represents the runtime behavior of the process and can be expressed as a finite state automata. Finally, an example is given to illustrate how to apply it to analyze the semantic correctness of process models.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]