状态图

给出了嵌入式软件设计中常用的UML并发状态图到B抽象模型的转换规则。

The rules of transforming from UML state machine into B abstract machine are provided .

基于UML状态图的协议文本转换技术

Researching on Technique of Protocol Text Transferring to UML State Chart

分析了两类特殊的k元移位寄存器的状态图中圈的结构；

Analyzes structure of cycles in state graphs of two class of special k-ary shift registers .

C和C++对于状态图，流程图以及代码测试用例都支持这种操作。

This support is available for C and C + + for state chart , flowchart , and code test cases .

基于UML状态图的类状态测试

State Testing of Class Based on UML State Diagrams

一种基于UML序列图的状态图合成方法

Approach of state chart synthesis from UML sequence diagrams

基于UML状态图测试的充分性准则

Adequacy Criteria for Testing Based on UML State Diagram

实例证明，该方法可以从UML状态图得出软件的测试路径。

It is proved that this method can get test path from UML statecharts .

本文描述了基于UML状态图生成测试用例的充分性准则。

This paper presents these adequacy criteria that generate test cases based on UML diagram .

UML状态图的形式化

A formalization of UML state chart

用户可以使用UML顺序图、状态图或流程图，以图形的方式创建测试用例。

Tests cases can be graphically created using UML sequence diagrams , state charts , or flowcharts .

基于UML状态图的C/S模式软件系统的一致性测试例生成

Method of Conformance Test Case Generation for C / S Model System Based on UML State Chart

基于UML状态图的EDFA设备的研究

Research of the EDFA Equipment Based on UML State Diagram

最后，化简了UML顺序图和状态图的转换模型。

In the end , the thesis simples the transformed models of UML sequence diagram and state diagram .

本文主要研究了基于UML状态图说明的测试用例生成技术。

In this paper , we studied the generation of testing cases based on UML statement diagram specification .

基于SVG的线路开关状态图的设计

The design of the circuit breaker status map based on SVG

实体生命周期在商业规范中未得到充分利用，但是，一个好的解决方案是可用的：UML状态图。

Entity lifecycles are under-used in business specifications , but a good solution is available : UML statechart diagrams .

介绍了用VHDL实现FIFO存储控制器的设计，给出了整个FIFO系统的控制原理，对控制单元作了详细的说明，并给出控制器的读、写时序图、写周期的状态图和部分编制的程序。

The design of a FIFO memory controller was completed with VHDL .

在采用UML对系统进行建模的基础上，本文提出一种通用算法将状态图自动转化为时间Petri网。

Modeling with UML , an algorithm is presented to automatically translate the state chart into a time Petri net .

通过对UML模型的Petri网化来实现嵌入式系统模型的形式化验证。本文分析了UML类图、状态图和Petri网元素之间的对应关系，给出了类图、状态图到Petri网具体的转换方法。

Formal validation of the model of embedded system is achieved by means of transforming UML model into Petri nets .

一种DEVS原子模型向UML状态图映射方法研究

Technology of Mapping DEVS Atomic Models to UML State Diagrams

热力学及热力学参数状态图在SiAlON材料合成中的应用

Applications of thermodynamics and its parameter state diagram in synthesis of SiAlON

分布式系统中求解RPC最大响应时间的一种基于状态图的算法

An algorithm based on finite state transition graph for solving maximum RPC response time in Distributed Systems

再应用与合理的UML状态图对应的EN&系统生成可达状态图，利用可达状态图生成测试用例。

The reachable states graph , which is used to generate the test cases , is available on the basis of elementary net system .

根据UML状态图，基于数据流的分析技术，生成了对IPv6网络监控系统单元测试的测试用例。

Using UML state diagram , based on data flow analysis techniques to generate IPv6 network monitoring system for unit testing test cases .

该方法在扩展UML的基础上给出了两种建模机制，利用UML活动图和状态图对动态工作流过程进行建模。

An approach to modeling dynamic workflows based on the UML activity diagram and the UML state diagram was presented being supported by formal semantics .

有了模拟扩展，您就可以模拟任意的UML行为图了（活动图、序列图、交流图或者状态图）。

With the Simulation extension , you can simulate any UML behavior ( activity diagrams , sequence diagrams , communication diagrams , or state diagrams ) .

设计了图形化的选座订票界面，用户可在该界面上通过对SVG图形文件表示的放映厅座位状态图进行选定、缩放等操作来完成订票过程。

Design a graphical booking interface and users can select seats easily by resizing and selecting images . 7 .

运用有限状态图设计图书馆IVR系统

Applying Finite State Diagrams Theory to Design IVR System

详细介绍了MCS-51的串口工作在中断方式下，用状态图描述规约的接收过程，以及带缓存的发送过程，并给出了相关的代码。

The MCS-51 's receiving and sending process in interrupt mode are discussed , and interrelated code is given .