首页> 中文期刊> 《计算机辅助设计与图形学学报》 >工作流过程图形建模及基于自动机的动态语义

工作流过程图形建模及基于自动机的动态语义

AI论文写作 >>

开具论文收录证明 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

根据过程执行的特点,定义了一种以活动为中心的反应式过程元模型,并为其提供了一种图形表示,同时为此元模型指定了一种体现过程运行时行为的动态语义,该语义可表示为一个有限状态自动机.最后举例说明了如何应用它分析过程模型的语义正确性.

著录项

来源
《计算机辅助设计与图形学学报》 |2007年第1期|8-13|共6页
作者
董广智; 田勇; 柳军飞;
展开▼
作者单位

中国科学院软件研究所人机交互技术与智能信息处理实验室,北京,100080;

中国科学院软件研究所人机交互技术与智能信息处理实验室,北京,100080;

中国科学院软件研究所人机交互技术与智能信息处理实验室,北京,100080;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
工作流过程; 图形建模; 反应式控制; 自动机; 动态语义;

相似文献

中文文献
外文文献
专利

1. 基于动态工作流网的工作流过程挖掘 [J] . 周波 ,景新海 ,王海洋 . 计算机应用 . 2005,第B12期
2. 基于动态工作流网的工作流过程挖掘 [J] . 周波 ,景新海 ,王海洋 . 计算机应用 . 2005,第0z1期
3. 基于语义网的动态工作流互操作 [J] . 黄志艳 . 电脑知识与技术 . 2009,第036期
4. 基于语义描述的Web服务工作流动态组合研究 [J] . 吴国凤 ,吴乃鑫 . 计算机应用 . 2007,第011期
5. 基于语义网的动态工作流互操作 [J] . 郁书成 ,姜进磊 ,史美林 . 计算机科学 . 2004,第012期
6. 基于元胞自动机的网络软件动态演化过程的研究 [C] . 高洪皓 ,王鹏 ,宫尚 . 2009年建模与仿真标准化年会 . 2009
7. 基于动态工作流网的工作流过程挖掘研究 [A] . 周波 . 2005

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号