首页> 中文期刊> 《农业工程与装备》 >在扩展的G-KRA模型框架下形式化工作流建模过程

在扩展的G-KRA模型框架下形式化工作流建模过程

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

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

摘要

在建模过程中,多重工作域中的任务感知根据各种不同域实例化为任务,从而构造与其他多重域工作流抽象模型的接口,文章提出的方法丰富了工作流抽象模型的表示,并且给出了工作流模型间通信的基础。

著录项

来源
《农业工程与装备》 |2012年第7期|165-166|共3页
作者
孙利;
展开▼
作者单位

吉林广播电视大学;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP311.52;
关键词
G-KRA模型; 工作流建模; 多重模型框架;

相似文献

中文文献
外文文献
专利

1. 基于G-KRA模型框架的工作流建模 [J] . 王楠 ,孙利 ,孙善武 . 吉林大学学报（理学版） . 2013,第002期
2. 基于扩展时间工作流网的工作流过程建模 [J] . 王统一 ,刘庆华 ,宋宁哲 . 空军预警学院学报 . 2010,第006期
3. 工作流过程建模中的形式化验证技术 [J] . 周建涛 ,史美林 ,叶新铭 . 计算机研究与发展 . 2005,第001期
4. 工作流过程建模方法及模型的形式化验证 [J] . 杨东 ,王英林 ,张申生 . 计算机科学 . 2003,第009期
5. 基于时间扩展UML活动图的工作流过程建模方法 [J] . 蔡敏 ,卢佩 . 计算机集成制造系统 . 2014,第007期
6. 基于Agent的建模与仿真中的模型框架形式化描述 [C] . 廖守亿 ,陈坚 ,陆宏伟 . '2007系统仿真技术及其应用学术研讨会 . 2007
7. 工作流开发平台框架的研究和工作流形式化建模 [A] . 黄园媛 . 2005

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号