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

The Design and Implementation of the Framework and Information Structure for Statechart Specification Environment

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

Statechart is a visually formal language for specifying the behavior of reactively real time system.According to the need of modeling behavior with Statechart language,a computer aided tool designed and implemented by the authors is introduced in this paper.Using this tool,designers of reactively real time system will be greatly alleviated from their work.