计算机集成制造系统
計算機集成製造繫統
계산궤집성제조계통
COMPUTER INTEGRATED MANUFACTURING SYSTEMS
2011年
5期
1110-1119
,共10页
企业间协同%业务建模%模型检查%业务过程建模符号%可扩展标记语言%Petri网
企業間協同%業務建模%模型檢查%業務過程建模符號%可擴展標記語言%Petri網
기업간협동%업무건모%모형검사%업무과정건모부호%가확전표기어언%Petri망
为解决企业间业务协同模型形式化检查的问题,将采用标准业务过程建模符号的业务模型转换为Petri网,构造出一种可建模企业问复杂业务协同的业务过程流网.采用过程定义可扩展标记语言2.1版本,开发了一种具有通用性的业务过程模型转换和检查工具.采用业务过程流网对供应链中企业间采购订单过程进行了建模.实验结果表明,业务过程流网能将符合过程定义町扩展标记语占规范的业务模型完整地转换为Petri网,得到的Petri网易于化简和分析.
為解決企業間業務協同模型形式化檢查的問題,將採用標準業務過程建模符號的業務模型轉換為Petri網,構造齣一種可建模企業問複雜業務協同的業務過程流網.採用過程定義可擴展標記語言2.1版本,開髮瞭一種具有通用性的業務過程模型轉換和檢查工具.採用業務過程流網對供應鏈中企業間採購訂單過程進行瞭建模.實驗結果錶明,業務過程流網能將符閤過程定義町擴展標記語佔規範的業務模型完整地轉換為Petri網,得到的Petri網易于化簡和分析.
위해결기업간업무협동모형형식화검사적문제,장채용표준업무과정건모부호적업무모형전환위Petri망,구조출일충가건모기업문복잡업무협동적업무과정류망.채용과정정의가확전표기어언2.1판본,개발료일충구유통용성적업무과정모형전환화검사공구.채용업무과정류망대공응련중기업간채구정단과정진행료건모.실험결과표명,업무과정류망능장부합과정정의정확전표기어점규범적업무모형완정지전환위Petri망,득도적Petri망역우화간화분석.
