状态变迁图（STD）指明作为外部事件的结果系统将如何动作。STD是行为建模的基础。关于软件控制的附加信息包含在控制规约（CSPEC）中。
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。