基于Petri网的CCFD软件科学工作流的建模及优化

作     者：杜夏威 陆忠华 张鉴 

作者机构：中国科学院计算机网络信息中心北京100190 中国科学院大学北京100190 

出 版 物：《科研信息化技术与应用》 (E-science Technology & Application)

年 卷 期：2012年第3卷第6期

页      面：47-55页

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家高技术研究发展计划(863计划)(2012AA01A304) 

主　　题：科学工作流 Petri网 CCFD 

摘      要：本文基于Petri网理论对CCFD(China Computational Fluid Dynamics)软件平台的科学工作流进行建模与优化。首先利用Petri网技术对CCFD软件平台的整个工作流程进行分析和建模,并验证模型是否满足完备的工作流网的性质;然后在保证整个流程无死锁并可以顺利执行的条件下,通过对模型中存在多并发部分的可达图分析,结合CCFD平台本身科学工作流的特点,优化不合理的并发流程,降低用户操作的自由度,从而减少由于操作繁杂可能带来的风险,提高软件的可用性。最后在Petri网模型的基础上,分析在选择结构交汇的库所处存在的逻辑错误,进一步为软件实现提供代码级的指导,并最终实现CCFD软件平台工作流的优化。