计算机集成制造系统
計算機集成製造繫統
계산궤집성제조계통
COMPUTER INTEGRATED MANUFACTURING SYSTEMS
2006年
6期
893-898
,共6页
工作流%工作流验证%过程
工作流%工作流驗證%過程
공작류%공작류험증%과정
为了验证工作流结构方面的问题,提出和证明了过程结构验证等同定理和无环工作流结构验证定理,并在这两个定理的基础上,给出了基于语义推理的工作流结构验证算法.最后,在运算复杂程度、循环路由、死锁和同步丢失等4个方面,与其他验证方法进行了比较.
為瞭驗證工作流結構方麵的問題,提齣和證明瞭過程結構驗證等同定理和無環工作流結構驗證定理,併在這兩箇定理的基礎上,給齣瞭基于語義推理的工作流結構驗證算法.最後,在運算複雜程度、循環路由、死鎖和同步丟失等4箇方麵,與其他驗證方法進行瞭比較.
위료험증공작류결구방면적문제,제출화증명료과정결구험증등동정리화무배공작류결구험증정리,병재저량개정리적기출상,급출료기우어의추리적공작류결구험증산법.최후,재운산복잡정도、순배로유、사쇄화동보주실등4개방면,여기타험증방법진행료비교.
