基于时序逻辑和SCR方法的需求分析方法

基于时序逻辑和SCR方法的需求分析方法 Requirements Analysis Method Based on Temporal Logic and SCR Method 何峰 HE Feng 1 first-author 毋国庆 WU Guo\|qing 1 姚剑 YAO Jian 1 武汉大学软件工程国家重点实验室,武汉,430072 武汉大学软件工程国家重点实验室,武汉,430072 State Key Laboratory of Software Engineering, Wuhan University State Key Laboratory of Software Engineering, Wuhan University 以定义事件驱动型系统需求的ＳＣＲ（Ｓｏｆｔｗａｒｅ ＣｏｓｔＲｅｄｕｃｅ）方法和时序逻辑为基础，提出了一种能够根据ＳＣＲ方法与时序逻辑之间的语义联系和时序逻辑的推理能力有效地检查用ＳＣＲ方法定义的事件驱动型系统的需求分析方法．为便于理解，还给出了一个简单的例子来介绍如何分析和检查用ＳＣＲ方法定义的需求的有效性． 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. 事件驱动型系统 SCR 时序逻辑 需求分析 event-driven systems SCR temporal logic requirements analysis TP311.5 国家自然科学基金(61672102);教育部重点项目基金 1999-05-01 2021-04-01 5