Institutional Repository
| 工作流过程图形建模及基于自动机的动态语义 | |
| Alternative Title | graphical workflow process modeling and its automata-based dynamic semantics |
| 董广智; 田勇; 柳军飞 | |
| 2007 | |
| Source | 计算机辅助设计与图形学学报
 |
| ISSN | 1003-9775 |
| Volume | 19Issue:1Pages:8-13 |
| English Abstract | 根据过程执行的特点,定义了一种以活动为中心的反应式过程元模型,并为其提供了一种图形表示,同时为此元模型指定了一种体现过程运行时行为的动态语义,该语义可表示为一个有限状态自动机.最后举例说明了如何应用它分析过程模型的语义正确性. |
| Indexed Type | EI |
| Keyword | 工作流过程 图形建模 反应式控制 自动机 动态语义 工作流 图形建模 有限状态自动机 动态语义 Dynamic Semantics 过程元模型 语义正确性 图形表示 过程执行 过程模型 运行时 可表示 反应式 中心 应用 行为 活动 |
| Department | 中国科学院软件研究所人机交互技术与智能信息处理实验室,北京,100080;中国科学院软件研究所人机交互技术与智能信息处理实验室,北京,100080;中国科学院软件研究所人机交互技术与智能信息处理实验室,北京,100080 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/11266 |
| Collection | 人机交互技术与智能信息处理实验室 |
| Recommended Citation GB/T 7714 | 董广智,田勇,柳军飞. 工作流过程图形建模及基于自动机的动态语义[J]. 计算机辅助设计与图形学学报,2007,19(1):8-13. |
| APA | 董广智,田勇,&柳军飞.(2007).工作流过程图形建模及基于自动机的动态语义.计算机辅助设计与图形学学报,19(1),8-13. |
| MLA | 董广智,et al."工作流过程图形建模及基于自动机的动态语义".计算机辅助设计与图形学学报 19.1(2007):8-13. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 工作流过程图形建模及基于自动机的动态语义（331KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment