工作流过程图形建模及基于自动机的动态语义
文献类型：期刊论文
| 作者 | 董广智 ; 田勇 ; 柳军飞 |
| 刊名 | 计算机辅助设计与图形学学报
 |
| 出版日期 | 2007 |
| 卷号 | 19期号:1页码:8-13 |
| 关键词 | 工作流过程 图形建模 反应式控制 自动机 动态语义 工作流 图形建模 有限状态自动机 动态语义 Dynamic Semantics 过程元模型 语义正确性 图形表示 过程执行 过程模型 运行时 可表示 反应式 中心 应用 行为 活动 |
| ISSN号 | 1003-9775 |
| 其他题名 | graphical workflow process modeling and its automata-based dynamic semantics |
| 中文摘要 | 根据过程执行的特点,定义了一种以活动为中心的反应式过程元模型,并为其提供了一种图形表示,同时为此元模型指定了一种体现过程运行时行为的动态语义,该语义可表示为一个有限状态自动机.最后举例说明了如何应用它分析过程模型的语义正确性. |
| 收录类别 | EI |
| 语种 | 中文 |
| 公开日期 | 2011-07-01 |
| 附注 | According to the characteristics of workflow process execution, a kind of reactive activity-centered 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 s |
| 源URL | [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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。