基于P/T系统化简方法的工作流过程模型验证
- 期刊名字:软件学报
- 文件大小:
- 论文作者:赵文,袁崇义,刘刚,张世琨,王立福
- 作者单位:北京大学,解放军信息工程大学
- 更新时间:2022-04-13
- 下载次数:次
论文简介
目前工作流技术在管理、生产和科学研究等领域中已经被广泛应用.由于过程逻辑的复杂性和变化性等原因,如何建立良构的业务过程是一个比较现实的问题.因此,对过程模型进行分析和优化成为工作流技术的研究方向之一.首先,根据改进的工作流过程元模型,研究并提出了一种基于P/T系统的工作流过程模型过程网.基于过程网给出了一组化简规则,用于验证过程模型中的死锁和乏同步两种结构冲突.最后,结合一个业务过程实例,根据转换规则把它映射为过程网,应用规则进行化简并得到验证结果.
论文截图
上一条:反思常识主义刑法观
版权:如无特殊注明,文章转载自网络,侵权请联系cnmhg168#163.com删除!文件均为网友上传,仅供研究和学习使用,务必24小时内删除。
热门推荐
-
C4烯烃制丙烯催化剂 2022-04-13
-
煤基聚乙醇酸技术进展 2022-04-13
-
生物质能的应用工程 2022-04-13
-
我国甲醇工业现状 2022-04-13
-
JB/T 11699-2013 高处作业吊篮安装、拆卸、使用技术规程 2022-04-13
-
石油化工设备腐蚀与防护参考书十本免费下载,绝版珍藏 2022-04-13
-
四喷嘴水煤浆气化炉工业应用情况简介 2022-04-13
-
Lurgi和ICI低压甲醇合成工艺比较 2022-04-13
-
甲醇制芳烃研究进展 2022-04-13
-
精甲醇及MTO级甲醇精馏工艺技术进展 2022-04-13