statechart

基本解释

The paper is focus on the test case generation methods based on Z language and statechart.
然后从UML状态图的操作语义,提出了把Z语言和状态图结合自动生成测试用例的方法。
Attempts to implement this statechart will lead to a compile-time error because B has orthogonal regions and its direct or indirect outer state contains a deep history pseudo state.
试图实现以上状态图会导致编译期错误，因为B具有正交区域，且它的直接或间接外层状态包含有深历史伪状态。
A method for modeling crosscutting concerns in the concurrent software system is presented based on the aspect-oriented(A-O) technique and the statechart of unified modeling language(UML).
实例研究表明,该方法在并发软件设计阶段实现了横切关注点的分离策略,并使得系统模型具有松耦合、适应性和可跟踪性的优点。
A method for modeling crosscutting concerns in the concurrent software system is presented based on the aspect oriented (A-O) technique and the statechart of unified modeling language (UML).
摘要基于面向侧面技术及统一建模语言状态图提出了并发式软件系统开发过程中横切特性的建模方法。
Automatic Transform UML Statechart into PVS
从UML状态图到PVS规范的自动转换、验证