workflow state 中文意思是什麼
workflow state
解釋
工作流程安全性-
A workflow management framework of state machine with aop
及其在狀態機工作流中的應用 -
Design of collaborative workflow system based on finite state machine model
基於狀態機模型設計協作式工作流系統 -
This kind of mes applied the real - time runtime - state collection technology, numerical control ( nc ) program transmission technology, different nc systems integration technology, workshop workflow - recombination technology, and system - reconfiguration technology
在關鍵技術方面採用了運行狀態實時採集技術、數字控製程序傳輸技術、不同數控系統集成技術、車間工作流程重組技術和系統可重構技術等。 -
According to the characteristics of workflow process execution, a kind of reactive activity - centered process meta - model is defined and a kind of graphical notation is provided for it, at the same time, for this meta - model, a kind of dynamic semantics is specified, which represents the runtime behavior of the process and can be expressed as a finite state automata. finally, an example is given to illustrate how to apply it to analyze the semantic correctness of process models
根據過程執行的特點，定義了一種以活動為中心的反應式過程元模型，並為其提供了一種圖形表示，同時為此元模型指定了一種體現過程運行時行為的動態語義，該語義可表示為一個有限狀態自動機.最後舉例說明了如何應用它分析過程模型的語義正確性 -
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的演算法對時序約束一致性進行驗證。 -
He received his ph. d. in operations research in computer science from north carolina state university in 2000, where his research interests were related to multiagent systems, distributed systems, and workflow
他於2000年獲得北卡羅來納州立大學（ north carolina state university ）計算機科學運籌學博士學位，他的研究興趣涉及多代理系統、分散式系統和工作流。 -
During the study, we find that, thanks to the capability of describing system workflow and parallel activities, uml state diagram, use case diagram, activity diagram and sequence diagram are not only a powerful model in requirement analysis and design, they can also be an important basis for software test based on model
進而論述了uml狀態圖、用例圖、活動圖和順序圖著重描述系統所支持的業務過程及其動態行為。通過分析發現， uml狀態圖、用例圖、活動圖和順序圖模型不僅是進行業務需求分析和系統設計的有力工具，同時也是基於uml模型測試（尤其是系統級功能測試）應研究的根本和重點問題。 -
Internal objects such as workflow state manager objects
內部物件例如工作流程狀態管理器物件
分享友人