摘要
本文提出一个描述实时系统需求的模型 .在这个模型中 ,层次式有穷状态机被表示成规则和模板的形式 ,且一个模板对应于一个状态机 .由于与状态机相关的规则和信息可被写入到模板中 ,故用此模型写出的需求规格说明书可由多个模板组成 ,而且易于理解和阅读 .最后 。
This paper presents a model specifying requirements of real time systems. In this model, rules and templates are used to represent the hierarchical FSM (Finite State Machines), and a template corresponds to a state machine. Rules and information with respect the state machines can be written into templates. So requirements specifications applied in this model consist of a collection of templates and are easy for an end user to use and to understand. At last, characters of this model also are discussed.
出处
《小型微型计算机系统》
CSCD
北大核心
2001年第4期472-477,共6页
Journal of Chinese Computer Systems
基金
国家自然科学基金
高等学校博士学科点专项科研基金
教育部重点项目的资助
