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

以定义事件驱动型系统需求的ＳＣＲ方法和时序逻辑为基础，提出了一种能够根据ＳＣＲ方法与时序逻辑之间的语义联系和时序逻辑的推理能力有效地检查用ＳＣＲ方法定义的事件驱动系统的需求分析方法。为便于理解，还给出了一个简单的例子来介绍如何分析和检查用ＳＣＲ方法定义的需求的有效性。     

基于MAS的形式化数据流图的方法

由于Ｄｅ Ｍａｒｃｏ的数据流图缺乏形式化的描述方法，本文提出了一种使用的综合知识表示模型ＭＡＳ来形式化描述ＤＤＦＤ的新方法。使用此方法，能方便地建立一些有关ＤＤＦＤ的知识规则，并能对ＤＤＦＤ自动进行一致性和完全性检查。