状态机视图的英文

• state machine view

• "状态"英文翻译    status; state; condition; st ...
• "机"英文翻译    machine; engine
• "视图"英文翻译    view
• "状态机" 英文翻译 :    finite state machines; fsm; state machine
• "联机视图" 英文翻译 :    ov online view
• "摄像机视图" 英文翻译 :    camera view perspective view
• "摄影机视图" 英文翻译 :    camera view
• "相机视图" 英文翻译 :    camera view
• "事务状态机" 英文翻译 :    tsm transaction state machine
• "算法状态机" 英文翻译 :    algorithmic state machine
• "协议状态机" 英文翻译 :    protocol state machine
• "行为状态机" 英文翻译 :    behavioral state machine
• "有限状态机" 英文翻译 :    finite automaton; finite state machine fsm; finite-state machine; fsm finite state machine; ingems
• "状态机器" 英文翻译 :    machine state; state machine
• "状态机图" 英文翻译 :    state machine diagram
• "子状态机状态" 英文翻译 :    submachine state
• "moore有限状态机" 英文翻译 :    moore machine
• "判优状态机器" 英文翻译 :    arbitration state machine; machine, arbitration state
• "写入状态机器" 英文翻译 :    machine, write-state (wsm); write-state machine
• "异步状态机器" 英文翻译 :    asynchronous state machine; machine, asynchronous state
• "有限状态机器" 英文翻译 :    finite state machine
• "证书状态机构" 英文翻译 :    certificate status authority
• "改变到摄像机视图" 英文翻译 :    change to camera viewport
• "子状态机引用状态" 英文翻译 :    submachine reference state
• "光洁状态机动速度" 英文翻译 :    flap-umaneuvering speed

• The formalization for uml statechart diagrams
  Uml状态机视图的rsl形式描述
• It is presented that a formalization for uml statechart diagrams in the raise specification language rsl
  使用raise规范语言rsl给出了uml状态机视图的形式描述。
• By such a formalization , a general framework is proposed for integration of graphical uml statechart diagrams and formal rsl specifications , which forms the continuation of the previous work on formalization of uml class diagrams in rsl . this allows the definition of uml semantic interpretations that are precise and unambiguous , and also enhancing the readability , conciseness and abstraction of the resulting rsl specification
  通过这一形式化提出了一种对图形化的uml状态机视图模型的形式化和rsl规范进行集成的框架，这一工作是对uml类图在rsl中形式化的继续，使得人们可以对uml的非形式化模型给出一种精确无二义性的语义解释，同时也提高了rsl规范的抽象层次，增强了其可读性简明性。