Statechart规格环境项目管理模型设计与实现

摘要

Ｓｔａｔｅｃｈａｒｔ是一种用于反应式实时系统的行为建模语言。针对 Ｓｔａｔｅｃｈａｒｔ行为建模的需要，设计并已部分实现基于 Ｓｔａｔｅｃｈａｒｔ的行为规格模型创建工具。该工具将为反应式实时系统的开发分析人员提供极大的方便。