Ｓｔａｔｅｃｈａｒｔ是一种用于反应式实时系统的行为建模语言。针对Ｓｔａｔｅｃｈａｒｔ行为建原需要，设计并已部分实现基于Ｓｔａｔｃｈａｒｔ的行为规格模型创建工具。该工具将为反应式实时......