Title: | 工作流过程图形建模及基于自动机的动态语义 |
Alternative Title: | graphical workflow process modeling and its automata-based dynamic semantics
|
Author: | 董广智
; 田勇
; 柳军飞
|
Keyword: | 工作流过程
; 图形建模
; 反应式控制
; 自动机
; 动态语义
; 工作流
; 图形建模
; 有限状态自动机
; 动态语义
; Dynamic Semantics
; 过程元模型
; 语义正确性
; 图形表示
; 过程执行
; 过程模型
; 运行时
; 可表示
; 反应式
; 中心
; 应用
; 行为
; 活动
|
Source: | 计算机辅助设计与图形学学报
|
Issued Date: | 2007
|
Volume: | 19, Issue:1, Pages:8-13 | Indexed Type: | EI
|
Department: | 中国科学院软件研究所人机交互技术与智能信息处理实验室,北京,100080;中国科学院软件研究所人机交互技术与智能信息处理实验室,北京,100080;中国科学院软件研究所人机交互技术与智能信息处理实验室,北京,100080
|
Abstract: | 根据过程执行的特点,定义了一种以活动为中心的反应式过程元模型,并为其提供了一种图形表示,同时为此元模型指定了一种体现过程运行时行为的动态语义,该语义可表示为一个有限状态自动机.最后举例说明了如何应用它分析过程模型的语义正确性. |
Language: | 中文
|
Content Type: | 期刊论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/11266
|
Appears in Collections: | 人机交互技术与智能信息处理实验室_期刊论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
工作流过程图形建模及基于自动机的动态语义.pdf(331KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
董广智,田勇,柳军飞. 工作流过程图形建模及基于自动机的动态语义[J]. 计算机辅助设计与图形学学报,2007-01-01,19(1):8-13.
|
|
|