计算机集成制造系统
計算機集成製造繫統
계산궤집성제조계통
COMPUTER INTEGRATED MANUFACTURING SYSTEMS
2010年
8期
1578-1586
,共9页
工作流%业务流程%建模%过程模型%语义验证%Petri网
工作流%業務流程%建模%過程模型%語義驗證%Petri網
공작류%업무류정%건모%과정모형%어의험증%Petri망
针对业务流程建模符号过程模型语义验证问题,提出了一种新方法.该方法基于正确的业务流程建模符号过程模型是工作流模式的合理组合的理念,通过扩展和改进业务流程建模符号及其执行语义,设计了工作流模式的形式化编码规则;借鉴Petri网化简方法,设计了工作流模式组合化简规则;基于工作流模式编码及组合化简规则,给出了业务流程建模符号过程模型验证方法.应用示例表明了该方法的有效性.
針對業務流程建模符號過程模型語義驗證問題,提齣瞭一種新方法.該方法基于正確的業務流程建模符號過程模型是工作流模式的閤理組閤的理唸,通過擴展和改進業務流程建模符號及其執行語義,設計瞭工作流模式的形式化編碼規則;藉鑒Petri網化簡方法,設計瞭工作流模式組閤化簡規則;基于工作流模式編碼及組閤化簡規則,給齣瞭業務流程建模符號過程模型驗證方法.應用示例錶明瞭該方法的有效性.
침대업무류정건모부호과정모형어의험증문제,제출료일충신방법.해방법기우정학적업무류정건모부호과정모형시공작류모식적합리조합적이념,통과확전화개진업무류정건모부호급기집행어의,설계료공작류모식적형식화편마규칙;차감Petri망화간방법,설계료공작류모식조합화간규칙;기우공작류모식편마급조합화간규칙,급출료업무류정건모부호과정모형험증방법.응용시례표명료해방법적유효성.
