信息工程大学学报
信息工程大學學報
신식공정대학학보
JOURNAL OF INFORMATION ENGINEERING UNIVERSITY
2015年
2期
218-224
,共7页
单继城%黄光奇%王德鑫%刘青宝
單繼城%黃光奇%王德鑫%劉青寶
단계성%황광기%왕덕흠%류청보
混合工作流%BPEL4People%着色Petri网%建模验证
混閤工作流%BPEL4People%著色Petri網%建模驗證
혼합공작류%BPEL4People%착색Petri망%건모험증
BPEL描述的服务组合流程,没有充分考虑人的参与和人员活动对流程的影响,且不能保证服务组合流程设计在应用中的正确性.为了描述服务化系统中的混合工作流程,首先介绍支持人员参与的BPEL4People规范,然后提出了基于着色Petri网的混合工作流建模方法,对所得模型进行了合理性分析.采用模块聚合方式给出了混合工作流的层次CPN模型,利用CPN Tools工具分析验证混合工作流的有界性、可达性及活性等性质,根据验证结果进行反馈调整,可以减少因流程设计错误给流程实际部署和运行带来的损失.
BPEL描述的服務組閤流程,沒有充分攷慮人的參與和人員活動對流程的影響,且不能保證服務組閤流程設計在應用中的正確性.為瞭描述服務化繫統中的混閤工作流程,首先介紹支持人員參與的BPEL4People規範,然後提齣瞭基于著色Petri網的混閤工作流建模方法,對所得模型進行瞭閤理性分析.採用模塊聚閤方式給齣瞭混閤工作流的層次CPN模型,利用CPN Tools工具分析驗證混閤工作流的有界性、可達性及活性等性質,根據驗證結果進行反饋調整,可以減少因流程設計錯誤給流程實際部署和運行帶來的損失.
BPEL묘술적복무조합류정,몰유충분고필인적삼여화인원활동대류정적영향,차불능보증복무조합류정설계재응용중적정학성.위료묘술복무화계통중적혼합공작류정,수선개소지지인원삼여적BPEL4People규범,연후제출료기우착색Petri망적혼합공작류건모방법,대소득모형진행료합이성분석.채용모괴취합방식급출료혼합공작류적층차CPN모형,이용CPN Tools공구분석험증혼합공작류적유계성、가체성급활성등성질,근거험증결과진행반궤조정,가이감소인류정설계착오급류정실제부서화운행대래적손실.
