状态机视图 meaning in Chinese
state machine view
Examples
- 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规范的抽象层次，增强了其可读性简明性。