statecharts造句
例句與造句
- an approach of model checking uml statecharts is presented in this paper
本文提出了對umlstatecharts進行模型檢驗的方法。 - in addition, we also model and verify the concurrent workflow based on uml statecharts
除此之外,還進行了并發(fā)工作流的建模與驗證。 - something more than traditional bread-and-butter polymorphism is going on with the inheritance of statecharts
較傳統(tǒng)的值得感謝的多態(tài)性，其更多的東西正在狀態(tài)圖的繼承中發(fā)生。 - uml statecharts depicts the behaviors and states of an object in its life cycle, and acts as an important role in software analysis and modeling
umlstatecharts刻畫了對象在其生命周期中的行為和狀態(tài)變遷，在軟件分析和設計建模過程中占有重要地位。 - we present the composition methods for asynchronous and synchronous systems respectively, which are modeled by uml collaboration diagram and statecharts
本文根據(jù)uml協(xié)同圖和各對象的statecharts，分別針對異步和同步模式提出對象合成的方法，以驗證整個系統(tǒng)的性質(zhì)。 - It's difficult to find statecharts in a sentence. 用statecharts造句挺難的
- because of state explosion and the complexity of semantics, model checking uml statecharts is restricted by the software scale and the refinement degree of design specification
由于空間爆炸和語義的復雜性，對statecharts進行模型檢驗受到軟件規(guī)模和設計精化程度的制約。 - another work is emphasizing on a formal verification algorithm for consistence of the sequence diagrams and the statecharts and connectivity of the sequence diagrams messages
此外，在本文中，還提出了用于順序圖與狀態(tài)圖的一致性、順序圖消息的連通性的形式化驗證的算法。 - the workflow model is built by uml statecharts in this paper, and the correctness of the control flow in workflow is verified, including the verification of soundness and the properties of semantic-related of the control flow
把驗證uml狀態(tài)圖的完全性轉(zhuǎn)化為驗證全局可達遷移圖的完全性,給出了驗證控制結構完全性和語義相關性質(zhì)的算法。 - the dynamic behaviors inside objects are pictured using statecharts . every state can perform specific activities which are presented in activity diagrams . a real-time package is developed to describe the performance of real-time systems with uml
狀態(tài)圖則用來描述對象內(nèi)部的動態(tài)行為，在每個狀態(tài)中都要完成一定的活動，這個活動用活動圖來描述。 - modeling the control flow, temporal constraints and data flow of workflow based on uml statecharts respectively, and then verifying the correctness of them by formal method is the main contribution in this paper
由于工作流模型驗證的重要性和必要性,本文基于uml狀態(tài)圖分別建立單個工作流的控制結構、時序約束和數(shù)據(jù)流模型,并應用形式化方法驗證模型正確性。 - we have designed and implemented an uml-based model checking tool, uml-mc . it can verify the statecharts modeled by rational rose or i-logix rhapsody . the counter-examples will be given when system does not meet the properties
我們設計并實現(xiàn)了一個uml模型檢驗工具uml-mc，可以對rationalrose或i-logixrhapsody建立的statecharts模型進行驗證，并能在性質(zhì)不滿足時給出反例路徑。 - firstly, uml statecharts is structurally expressed by extended hierarchical automaton ( eha ), and its operational semantics is expatiated . the correctness of semantics can be ensured through finding the maximal non-conflict transition set
首先針對uml的特點對擴展層次自動機(extendedhierarchicalautomata，eha)進行改進，以便能結構化地表示umlstatecharts，并給出相應的操作語義。 - after-transforming the labeled transition system of operational semantics and linear temporal logic formula into btlchi automata respectively, the correctness of uml statecharts can be verified using automaton-based model checking method
在把根據(jù)eha操作語義得到的標記遷移系統(tǒng)和表示性質(zhì)的線性時態(tài)邏輯公式分別轉(zhuǎn)換為bchi自動機后，用基于自動機理論的模型檢驗方法驗證umlstatecharts的正確性。 - last, the temporal constraints are verified by alur ’ s model checking algorithm . this paper also verify the correctness of the data flow of the workflow . the data flow objects are added into the uml statecharts, and the semantic of data flow is
驗證數(shù)據(jù)流正確性的過程中,在uml狀態(tài)圖中加入了數(shù)據(jù)流對象,定義了uml狀態(tài)圖的數(shù)據(jù)流語義,根據(jù)該語義給出了從uml狀態(tài)圖到全局狀態(tài)可達圖的轉(zhuǎn)化算法,提出了驗證數(shù)據(jù)流正確性的算法。 - 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狀態(tài)圖中加入了時間事件,給出了將擴展后的uml狀態(tài)圖轉(zhuǎn)化為時間自動機的規(guī)則,用時間計算樹邏輯定義了兩個任務間的最大、最小時間間隔(上、下界約束)和工作流的最終期限約束,并給出了這三類約束分別在創(chuàng)建階段、實例化階段和運行階段的一致性定義,通過alur的算法對時序約束一致性進行驗證。
更多例句： 下一頁