...，表明了系统的各种状态以及各种状态间的变迁，从而构成为行为模型的基础，关于软件控制方面的附加信息则包含在控制说明（CSPEC）中。
基于50个网页-相关网页
与在流模型中直接表示控制加工相反，使用了对“控制规约”(CSPEC)的一个引用符号(实短线)，实质上，实短线可以看作是进入到“执行者”(CSPEC)的一个窗口，该执行者基于通过窗口传送的事件而控制表...
基于40个网页-相关网页
应用推荐
模块上移
模块下移
不移动