statecharts最早论文,本文对状态机和状态图的传统形式进行了广泛的扩展,这与复杂的离散事件系统的规范和设计有关,例如多计算机实时系统,通信协议和数字控制单元。文中的图表,我们称之为状态图,扩展了传统的状态转换图,基本上包含三个元素,分别处理层次结构,并发和通信的概念。这些将状态图的语言转换为高度结构化和经济的描述语言。因此,状态图是紧凑的,而表达式 - 小图表可以表达复杂的行为 - 以及组合和模块化。当与计算机化图形的功能相结合时,状态图使得能够以不同的细节水平查看描述,并使甚至非常大的规范易于管理和理解。实际上,我们打算在这里证明状态图反驳了针对传统状态图提出的许多异议,因此看起来通过图表使规范成为一种有吸引力且合理的方法。状态图既可以用作独立的行为描述,也可以用作更一般的设计方法的一部分,该方法还涉及系统的其他方面,例如功能分解和数据流规范。