为基于事件的系统建模使用扩展状态图是一个强大并被广泛使用的方法。这个概念是由Dr. David Harel发明的,并在他的论文“扩展状态图,解决复杂系统设计的可视化方法”中详细描述。该论文发表于计算机编程科学(1987)。这篇论文描述了如何扩展传统的状态转换图,增加分层、并行和历史等功能,为复杂交互式系统创造了强大的可视化编程范例,在今天的复杂应用中,复杂交互式系统经常出现。扩展状态图主要适用于通讯、宇宙航空、汽车和制造业、工业自动化等广泛领域,并且快速发展为这些工业的状态"De Facto"标准。扩展状态图也是大多现代对象的标准组成部分,如面向对象方法论中的对象建模技术(OMT)和统一建模语言(UML)。