| 描述实时系统需求的模型 |
| |
| 引用本文： | 毋国庆,杨捷,王敏,应时. 描述实时系统需求的模型[J]. 小型微型计算机系统, 2001, 22(4): 472-477 |
| |
| 作者姓名： | 毋国庆 杨捷 王敏 应时 |
| |
| 作者单位： | 1. 武汉大学
2. 武汉大学计算机科学系 |
| |
| 基金项目： | 国家自然科学基金,高等学校博士学科点专项科研基金和教育部重点项目的资助 |
| |
| 摘 要： | 本文提出一个描述实时系统需求的模型。在这个模型中，层次式有穷状态机械表示成规则和模板的形式，且一个模板对应于一个状态机。由于与状态机相关的规则和信息可被写入到模板中，故用此模型写出的需求规格说明书可由多个模板组成,而且易于理解和阅读。最后，本文讨论了此模型的特点。
|
| 关 键 词： | 需求工程 需求规格说明 实时系统 软件工程 软件开发 |
| 文章编号： | 1000-1220(2001)04-0472-06 |
A MODEL SPECIFYING REQUIREMENT OF REAL-TIME SYSTEMS |
| |
| WU Guo qing YANG Jie WANG Min YING Shi. A MODEL SPECIFYING REQUIREMENT OF REAL-TIME SYSTEMS[J]. Mini-micro Systems, 2001, 22(4): 472-477 |
| |
| Authors: | WU Guo qing YANG Jie WANG Min YING Shi |
| |
| Abstract: | 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. |
| |
| Keywords: | Requirements engineering Requirements specification Real time system |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
