首页> 中文期刊> 《计算机应用与软件》 >基于π演算的多实例工作流模式的建模方法

基于π演算的多实例工作流模式的建模方法

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.根据π演算的语法,利用π演算对多实例工作流模式进行了建模.提出的方法具有较强的语义表达能力,同时使过程模型的语义更加精确.

著录项

来源
《计算机应用与软件》 |2008年第5期|65-6671|共3页
作者
梁爱南; 李长云; 黄贤明;
展开▼
作者单位

湖南工业大学计算机系;

湖南;

株洲;

412008;

湖南工业大学计算机系;

湖南;

株洲;

412008;

湖南工业大学计算机系;

湖南;

株洲;

412008;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
工作流建模; π演算; ECA规则; 多实例工作流模式;

相似文献

中文文献
外文文献
专利

1. 多实例工作流模式的π演算形式化 [J] . 梁爱南 ,李长云 ,黄贤明 . 计算机应用 . 2007,第001期
2. 工作流模式的π演算建模研究 [J] . 黄贤明 ,李长云 ,梁爱南 . 计算机工程与应用 . 2007,第017期
3. 基于网络划分的多实例工作流模式解决方案 [J] . 胡飞虎 ,张丹丹 ,杨慧媛 . 计算机应用 . 2011,第005期
4. 一种基于BPEL4WS的多实例工作流模式的解决方案 [J] . 刘利 ,范磬亚 ,徐汀荣 . 计算机应用与软件 . 2008,第001期
5. 基于π演算的工作流建模方法研究 [J] . 黄贤明 ,李长云 ,梁爱南 . 湖南工业大学学报 . 2009,第004期
6. 基于Petri网的工作流模式——工作流模式分析研究 [C] . 余鹏 ,周国富 ,屈婉玲 . 第九届全国Petri网学术年会 . 2003
7. 工作流活动多实例的建模和调度研究 [A] . 杨光 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号