Research on Scenario Verification Method with Rules

这两年的研究成果如下：1）场景描述语言的设计我们扩展了现有的场景语言，以指定前置条件和后置条件。2）规则描述语言的设计我们开发了一种规则语言，以指定事件发生的次数和事件发生的顺序。使用规则的场景验证方法的建立通过检查场景与规则之间的一致性，我们开发了一种场景验证方法。5）场景验证原型系统的开发基于上述方法，我们开发了一个场景验证系统规则数据库我们将规则分为三类。第一类中的规则强烈地依赖于某个场景。第二类规则依赖于特定的问题域。第三类规则是信息系统的一般规则。我们为第二类和第三类规则建立了一个规则数据库。我们开发了一种方法，可以自动地从数据库中使用前置条件和后置条件在Excel中导出适用的规则。7）用实例评估开发的系统我们已经发表了与上述相关的研究论文，包括日本主要计算机学会的一篇论文。

The research results of these two years are listed below.1) Design of scenario description languageWe extended an existing scenario language in order to specify pre-conditions and post-conditions.2) Design of rule description languageWe developed a rule language to specify the number of occurrence of events and the order of events.3) Establishment of a verification method of scenarios using rulesWe developed a scenario verification method by checking the consistency between a scenario and rules.4) Development of prototype systems of analyzing scenarios and rulesWe developed an analyzer of rule descriptions written with rule description language and an analyzer of scenario written with scenario language.5) Development of a prototype system of scenario verifierWe developed a scenario verification system based on the above mentioned method.6) Rule databaseWe classified rules into three categories. Rules in the first category strongly depend on a certain scenario. Rules in the second category depend on a specific problem domain. Rules in the third category are general rules for information systems. We made a rule database for rules in the second and the third categories. We developed a method to automatically derive applicable rules from the database using the pre-conditions and post-conditions in scenarios.7) Evaluation of the developed systems with examplesWe have published research papers related to the above including one transaction papers of major computer societies in Japan.