| 工作流过程图形建模及基于自动机的动态语义 |
| 其他题名 | graphical workflow process modeling and its automata-based dynamic semantics
|
| 董广智; 田勇; 柳军飞
|
| 2007
|
| 发表期刊 | 计算机辅助设计与图形学学报
 |
| ISSN | 1003-9775
|
| 卷号 | 19期号:1页码:8-13 |
| 摘要 | 根据过程执行的特点,定义了一种以活动为中心的反应式过程元模型,并为其提供了一种图形表示,同时为此元模型指定了一种体现过程运行时行为的动态语义,该语义可表示为一个有限状态自动机.最后举例说明了如何应用它分析过程模型的语义正确性. |
| 收录类别 | EI
|
| 关键词 | 工作流过程
图形建模
反应式控制
自动机
动态语义
工作流
图形建模
有限状态自动机
动态语义
Dynamic Semantics
过程元模型
语义正确性
图形表示
过程执行
过程模型
运行时
可表示
反应式
中心
应用
行为
活动
|
| 部门归属 | 中国科学院软件研究所人机交互技术与智能信息处理实验室,北京,100080;中国科学院软件研究所人机交互技术与智能信息处理实验室,北京,100080;中国科学院软件研究所人机交互技术与智能信息处理实验室,北京,100080
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/11266
|
| 专题 | 人机交互技术与智能信息处理实验室
|
推荐引用方式
GB/T 7714 |
董广智,田勇,柳军飞. 工作流过程图形建模及基于自动机的动态语义[J]. 计算机辅助设计与图形学学报,2007,19(1):8-13.
|
| APA |
董广智,田勇,&柳军飞.(2007).工作流过程图形建模及基于自动机的动态语义.计算机辅助设计与图形学学报,19(1),8-13.
|
| MLA |
董广智,et al."工作流过程图形建模及基于自动机的动态语义".计算机辅助设计与图形学学报 19.1(2007):8-13.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论