Research on Scenario Verification Method with Rules

带规则的场景验证方法研究

• 批准号: 17500026
• 负责人: OHNISHI Atsushi
• 金额: $ 2.24万
• 依托单位: Ritsumeikan University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2005
• 资助国家: 日本
• 起止时间: 2005 至 2006
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-17500026/
• 关键词: Software development; Requirements analysis; Scenario analysis; 要求定義

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.

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

项目成果

Security Requirements Elicitation with Aspect-oriented Scenarios based on Security Evaluation Criteria

基于安全评估标准的面向方面场景的安全需求获取

• 发表时间: 2006
• 期刊: Proceedings of the JSSST Workshop on Foundation of Software Engineering Vol.XIII (FOSE'06)
• 作者: Hiroya Itoga;Atsushi Ohnishi
• 通讯作者: Atsushi Ohnishi

Improvement of the Correctness of Scenarios with Rules

用规则提高场景的正确性

• 发表时间: 2006
• 期刊: IEICE Transactions on Information and Systems E89-D・4
• 作者: Taishi Ito;Adaptive Inter-platform Communication Mechanism in Agent-based Middleware for Ubiquitous Computing Environments;Yoshihisa Sato;Takuo Suganuma;Taishi Ito;Hideyuki Takahashi;Hideyuki Takahashi;Kazuhiro Yamanaka;Takuo Suganuma;Takuo Suganuma;Yoshikazu Tokairin;Takuo Suganuma;Shintaro Imai;Shintaro Imai;牧志 純;Jun Makishi;Shintaro Imai;菅沼 拓夫;Hideyuki Takahashi;Hideyuki Takahashi;Kazuhiro Yamanaka;Takuo Suganuma;Takuo Suganuma;Takuo Suganuma;Jun Makishi;白鳥則郎;Takuo Suganuma;高橋秀幸;東海林祥一;藤田茂;Takuo Suganuma;Hideyuki Takahashi;Atsushi Ohnishi
• 通讯作者: Atsushi Ohnishi

Scenario Weaving for Security Requirements Elicitation

用于安全需求获取的场景编织

• 发表时间: 2006
• 期刊: the workshop proceedings of the Early Aspects 2006 : Traceability of Aspects in the Early Life Cycle, in conjunction with the 5th International Conference on Aspect-Oriented Software Development (EA-AOSD'06), Bonn, Germany, March 21, 2006. (accepted, to a
• 作者: Hiroya Itoga;Atsushi Ohnishi
• 通讯作者: Atsushi Ohnishi

セキュリティ評価基準に基づいたアスペクト指向シナリオによるセキュリティ要求獲得手法

基于安全评估准则的面向方面场景的安全需求获取方法

• 发表时间: 2006
• 期刊: ソフトウェア工学の基礎 XIII
• 作者: 糸賀裕弥;大西 淳
• 通讯作者: 大西 淳

A Generation Method of Exceptional Scenarios from a Normal Scenario

一种从正常场景生成异常场景的方法

• 发表时间: 2006
• 期刊: Proc. of the 7th Joint Conference on Knowledge-Based Software Engineering (JCKBSE'06)
• 作者: Y.Yamashita;T.Ohomori;M.Hoshi;Atsushi Ohnishi
• 通讯作者: Atsushi Ohnishi