run time verification 中文意思是什麼
run time verification
解釋
運行時確認, 運行時驗證- run : vi （ran ； run）1 跑，奔，奔馳；【航空】滑行。2 趕，趕去。3 逃，逃走，逃亡。4 參加賽跑；當候選人...
- time : n 1 時，時間，時日，歲月。2 時候，時刻；期間；時節，季節；〈常pl 〉時期，年代，時代； 〈the time ...
- verification : n. 1. 證實，證明，確定；核驗，驗證，核對；檢驗，校驗。2. 【法律】訴狀[答辯書]結尾的舉證說明。
-
Verifying the soundness of the uml statecharts model can be translated into the verification of the soundness of the global reachable state transition diagram, and the algorithms verifying the soundness and the properties of semantic - related are given. at the aspect of verifying the consistency of temporal constraints of workflow, the time events are added into the uml statecharts, then the rules translating the extended uml statecharts into timed automata are given. the upper constraints ( the most time interval between two tasks ), lower constraints ( the least time interval between two tasks ) and deadline constraints are defined by tctl. the consistency of these constraints in build time, instantiation time and run - time are defined respectively
在驗證工作流時序約束一致性方面，在uml狀態圖中加入了時間事件，給出了將擴展后的uml狀態圖轉化為時間自動機的規則，用時間計算樹邏輯定義了兩個任務間的最大、最小時間間隔（上、下界約束）和工作流的最終期限約束，並給出了這三類約束分別在創建階段、實例化階段和運行階段的一致性定義，通過alur的演算法對時序約束一致性進行驗證。
分享友人