电子学报
電子學報
전자학보
ACTA ELECTRONICA SINICA
2012年
8期
1497-1502
,共6页
资源约束%工作流网%资源子网%资源工作流网%完整性
資源約束%工作流網%資源子網%資源工作流網%完整性
자원약속%공작류망%자원자망%자원공작류망%완정성
资源约束是工作流正确实施的一个瓶颈问题,因此工作流系统的资源建模及模型正确性验证方法显得非常重要.为此,基于Petri网和工作流建模方法,提出了一种资源约束的工作流系统的形式化建模和分析技术,定义了资源空间(RS)、资源子网、资源工作流网和资源工作流网完整性(soundness)的概念,建立了资源调用视图以及Petri网影射模型,得到了资源工作流网保持完整性判定的一个充要条件.该方法将系统资源建模和过程建模合成到一个模型中,解决了工作流系统资源和过程分别建模给系统的正确性验证带来的困难,为工作流系统资源状态的可视化和进行有效的系统验证提供了模型依据.给出的实例验证了模型的有效性.
資源約束是工作流正確實施的一箇瓶頸問題,因此工作流繫統的資源建模及模型正確性驗證方法顯得非常重要.為此,基于Petri網和工作流建模方法,提齣瞭一種資源約束的工作流繫統的形式化建模和分析技術,定義瞭資源空間(RS)、資源子網、資源工作流網和資源工作流網完整性(soundness)的概唸,建立瞭資源調用視圖以及Petri網影射模型,得到瞭資源工作流網保持完整性判定的一箇充要條件.該方法將繫統資源建模和過程建模閤成到一箇模型中,解決瞭工作流繫統資源和過程分彆建模給繫統的正確性驗證帶來的睏難,為工作流繫統資源狀態的可視化和進行有效的繫統驗證提供瞭模型依據.給齣的實例驗證瞭模型的有效性.
자원약속시공작류정학실시적일개병경문제,인차공작류계통적자원건모급모형정학성험증방법현득비상중요.위차,기우Petri망화공작류건모방법,제출료일충자원약속적공작류계통적형식화건모화분석기술,정의료자원공간(RS)、자원자망、자원공작류망화자원공작류망완정성(soundness)적개념,건립료자원조용시도이급Petri망영사모형,득도료자원공작류망보지완정성판정적일개충요조건.해방법장계통자원건모화과정건모합성도일개모형중,해결료공작류계통자원화과정분별건모급계통적정학성험증대래적곤난,위공작류계통자원상태적가시화화진행유효적계통험증제공료모형의거.급출적실례험증료모형적유효성.