| 工作流过程图形建模及基于自动机的动态语义 |
| |
| 引用本文： | 董广智,田勇,柳军飞.工作流过程图形建模及基于自动机的动态语义[J].计算机辅助设计与图形学学报,2007,19(1):8-13. |
| |
| 作者姓名： | 董广智 田勇 柳军飞 |
| |
| 作者单位： | 中国科学院软件研究所人机交互技术与智能信息处理实验室,北京,100080 |
| |
| 摘 要： | 根据过程执行的特点,定义了一种以活动为中心的反应式过程元模型,并为其提供了一种图形表示,同时为此元模型指定了一种体现过程运行时行为的动态语义,该语义可表示为一个有限状态自动机.最后举例说明了如何应用它分析过程模型的语义正确性.
|
| 关 键 词： | 工作流过程 图形建模 反应式控制 自动机 动态语义 工作流 过程模型 图形建模 有限状态自动机 动态语义 Dynamic Semantics Process Modeling Workflow 语义正确性 分析 应用 可表示 行为 运行时 过程元模型 图形表示 反应式 中心 活动 |
| 收稿时间： | 2006-04-11 |
| 修稿时间： | 2006-04-112006-09-19 |
Graphical Workflow Process Modeling and its Automata-Based Dynamic Semantics |
| |
| Dong Guangzhi,Tian Yong,Liu Junfei.Graphical Workflow Process Modeling and its Automata-Based Dynamic Semantics[J].Journal of Computer-Aided Design & Computer Graphics,2007,19(1):8-13. |
| |
| Authors: | Dong Guangzhi Tian Yong Liu Junfei |
| |
| Affiliation: | Intelligence Engineering Laboratory, Institute of Software, Chinese Academy of Sciences, Beijing 100080 |
| |
| Abstract: | 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. |
| |
| Keywords: | workflow process graphic modeling reactive control automata dynamic semantics |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
