基于工作流模式的BPMN过程模型验证方法

作     者：蔡章利 易树平 高庆萱 CAI Zhang-li;YI Shu-ping;GAO Qing-xuan

作者机构：重庆大学机械工程学院重庆400044 重庆大学自动化学院重庆400044 

基　　金：国家自然科学基金资助项目(70871127) 高等学校博士学科点专项科研基金资助项目(20070611027) 重庆市教育委员会科学技术研究资助项目(KJ08A03)~~ 

出 版 物：《计算机集成制造系统》 (Computer Integrated Manufacturing Systems)

年 卷 期：2010年第16卷第8期

页      码：1578-1586页

摘      要：针对业务流程建模符号过程模型语义验证问题,提出了一种新方法。该方法基于正确的业务流程建模符号过程模型是工作流模式的合理组合的理念,通过扩展和改进业务流程建模符号及其执行语义,设计了工作流模式的形式化编码规则;借鉴Petri网化简方法,设计了工作流模式组合化简规则;基于工作流模式编码及组合化简规则,给出了业务流程建模符号过程模型验证方法。应用示例表明了该方法的有效性。

主 题 词：工作流 业务流程 建模 过程模型 语义验证 Petri网 

学科分类：0808[工学-自动化类] 0809[工学-计算机类] 0817[工学-轻工类] 081203[081203] 08[工学] 0807[工学-电子信息类] 0802[工学-机械学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 

核心收录：

D　O　I：10.13196/j.cims.2010.08.12.caizhl.013

馆 藏 号：203487566...