| 基于时序逻辑和SCR方法的需求分析方法 |
| |
| 引用本文： | 何峰,毋国庆,姚剑.基于时序逻辑和SCR方法的需求分析方法[J].武汉大学学报(理学版),1999(5). |
| |
| 作者姓名： | 何峰 毋国庆 姚剑 |
| |
| 作者单位： | 武汉大学软件工程国家重点实验室!武汉430072 |
| |
| 基金项目： | 国家自然科学基金，教育部重点项目基金 |
| |
| 摘 要： | 以定义事件驱动型系统需求的ＳＣＲ（Ｓｏｆｔｗａｒｅ ＣｏｓｔＲｅｄｕｃｅ）方法和时序逻辑为基础，提出了一种能够根据ＳＣＲ方法与时序逻辑之间的语义联系和时序逻辑的推理能力有效地检查用ＳＣＲ方法定义的事件驱动型系统的需求分析方法．为便于理解，还给出了一个简单的例子来介绍如何分析和检查用ＳＣＲ方法定义的需求的有效性．
|
| 关 键 词： | 事件驱动型系统 SCR 时序逻辑 需求分析 |
Requirements Analysis Method Based on Temporal Logic and SCR Method |
| |
| HE Feng,WU Guo\|qing,YAO Jian.Requirements Analysis Method Based on Temporal Logic and SCR Method[J].JOurnal of Wuhan University:Natural Science Edition,1999(5). |
| |
| Authors: | HE Feng WU Guo\|qing YAO Jian |
| |
| Abstract: | A requirements analysis method based on temporal logic and SCR (Software Cost Reduce) styled requirements specifications is described. According to semantic relationships between SCR method and temporal logic and utilizing the reasoning capabilities of temporal logic, the method can effectively check requirements of event\|driven systems. At last, it is illustrated by a simple example how to analyze and check the validity of requirements defined by SCR method. |
| |
| Keywords: | event-driven systems SCR temporal logic requirements analysis |
| 本文献已被 CNKI 等数据库收录！ |
