工作流模型設計

(Z7C2RX3aD${"CR xQ　�。�1）對于任意n∈N軟件測試技術第一門戶)zr5f5~8_'Nt
　　　　● 當State(n) =0時，若存在l=(n’,n)發生轉移，則State(n)=1;軟件測試技術第一門戶a8TUG1rY~mZ1t
　　　　● 當State(n)=1時，若節點n執行完畢，則State (n)=0;
ayMf/Xqw　�。�2）對于任意l=(n,n’) ∈L
6N^M hv9M　　　　● 當State(n) 從1變為0時，若Trans(1)=1,則連接弧l發生轉移；
NH$YR[:U8P　　　　● 若Trans(1)=0,則連接弧l不發生轉移，直至下一次State(n)從1變為0的時候再使用此規則。軟件測試技術第一門戶^0P9T8X7s tC

3.2 節點類別