• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Research on Scenario Verification Method with Rules

Research Project

Project/Area Number 17500026
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field Software
Research InstitutionRitsumeikan University

Principal Investigator

OHNISHI Atsushi  Ritsumeikan University, School of Information Science and Engineering, Professor, 情報理工学部, 教授 (50160560)

Co-Investigator(Kenkyū-buntansha) SHIMAKAWA Hiromitsu  Ritsumeikan University, School of Information Science and Engineering, Professor, 情報理工学部, 教授 (70351327)
ITOGA Hiroya  Ritsumeikan University, School of Information Science and Engineering, Lecturer, 情報理工学部, 講師 (00373100)
Project Period (FY) 2005 – 2006
Project Status Completed (Fiscal Year 2006)
Budget Amount *help
¥3,500,000 (Direct Cost: ¥3,500,000)
Fiscal Year 2006: ¥1,700,000 (Direct Cost: ¥1,700,000)
Fiscal Year 2005: ¥1,800,000 (Direct Cost: ¥1,800,000)
KeywordsSoftware development / Requirements analysis / Scenario analysis / 要求定義
Research Abstract

The research results of these two years are listed below.
1) Design of scenario description language
We extended an existing scenario language in order to specify pre-conditions and post-conditions.
2) Design of rule description language
We 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 rules
We developed a scenario verification method by checking the consistency between a scenario and rules.
4) Development of prototype systems of analyzing scenarios and rules
We 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 verifier
We developed a scenario verification system based on the above mentioned method.
6) Rule database
We 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 examples
We have published research papers related to the above including one transaction papers of major computer societies in Japan.

Report

(3 results)
  • 2006 Annual Research Report   Final Research Report Summary
  • 2005 Annual Research Report
  • Research Products

    (16 results)

All 2006 2005

All Journal Article (16 results)

  • [Journal Article] Improvement of the Correctness of Scenarios with Rules2006

    • Author(s)
      Atsushi Ohnishi
    • Journal Title

      IEICE Transactions on Information and Systems E89-D・4

      Pages: 1337-1346

    • NAID

      110007504486

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Annual Research Report 2006 Final Research Report Summary
  • [Journal Article] 正常シナリオからの代替シナリオ作成支援2006

    • Author(s)
      大西 淳
    • Journal Title

      ソフトウェア工学の基礎 XIII

      Pages: 83-92

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Annual Research Report 2006 Final Research Report Summary
  • [Journal Article] セキュリティ評価基準に基づいたアスペクト指向シナリオによるセキュリティ要求獲得手法2006

    • Author(s)
      糸賀裕弥, 大西 淳
    • Journal Title

      ソフトウェア工学の基礎 XIII

      Pages: 93-102

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Annual Research Report 2006 Final Research Report Summary
  • [Journal Article] Improvement of the Correctness of Scenarios with Rules2006

    • Author(s)
      Atsushi Ohnishi
    • Journal Title

      IEICE Transactions on Information and Systems pp.1337-1346

      Pages: 1337-1346

    • NAID

      110007504486

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] A Generation Method of Alternative Scenarios from a Normal Scenario2006

    • Author(s)
      Atsushi Ohnishi
    • Journal Title

      Proceedings of the JSSST Workshop on Foundation of Software Engineering Vol.XIII (FOSE'06)

      Pages: 83-92

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Security Requirements Elicitation with Aspect-oriented Scenarios based on Security Evaluation Criteria2006

    • Author(s)
      Hiroya Itoga, Atsushi Ohnishi
    • Journal Title

      Proceedings of the JSSST Workshop on Foundation of Software Engineering Vol.XIII (FOSE'06)

      Pages: 93-102

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] A Generation Method of Exceptional Scenarios from a Normal Scenario2006

    • Author(s)
      Atsushi Ohnishi
    • Journal Title

      Proc. of the 7th Joint Conference on Knowledge-Based Software Engineering (JCKBSE'06)

      Pages: 125-134

    • NAID

      10026802402

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Supporting Methods of Generating Alternative Scenarios from a Normal Scenario2006

    • Author(s)
      Atsushi Ohnishi
    • Journal Title

      Proc. of the 8th International Conference on Enterprise Information Systems (ICEIS)

      Pages: 110-117

    • Related Report
      2006 Annual Research Report
  • [Journal Article] 正常シナリオを用いた例外シナリオの導出支援2006

    • Author(s)
      首藤寛樹, 山本泰士, 大西 淳
    • Journal Title

      電子情報通信学会技術研究報告 106・324

      Pages: 43-48

    • NAID

      110004851229

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Scenario Weaving for Security Requirements Elicitation2006

    • Author(s)
      Hiroya Itoga, Atsushi Ohnishi
    • Journal Title

      Workshop Report of Early Aspects Workshop at AOSD 2006 (印刷中)

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Rule-based Verification of Scenarios with Pre-conditions and Post-conditions2005

    • Author(s)
      Tatsuya Toyama, Atsushi Ohnishi
    • Journal Title

      Proceedings of the 13^<th> IEEE International Requirements Engineering Conference (RE2005)

      Pages: 319-328

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary 2005 Annual Research Report
  • [Journal Article] A Supporting Method of the Evolution of State Diagrams with Scenarios2005

    • Author(s)
      Takuya Kadota, Atsushi Ohnishi
    • Journal Title

      Proceedings of the 8^<th> IEEE International Workshop on Principles of Software Evolution (IWPSE2005)

      Pages: 91-100

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary 2005 Annual Research Report
  • [Journal Article] 正常シナリオからの例外シナリオ作成支援2005

    • Author(s)
      大西 淳
    • Journal Title

      ソフトウェア工学の基礎 XII

      Pages: 135-144

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary 2005 Annual Research Report
  • [Journal Article] A Supporting Method of Generating Exceptional Scenarios from a Normal Scenario2005

    • Author(s)
      Atsushi Ohnishi
    • Journal Title

      Proceedings of the JSSST Workshop on Foundation of Software Engineering (FOSE'05) Vol.XII

      Pages: 135-144

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] シナリオのアニメーション表示による妥当性確認支援2005

    • Author(s)
      首藤寛樹, 大西 淳
    • Journal Title

      電子情報通信学会技術研究報告 Vol.105・No.228

      Pages: 1-6

    • NAID

      110003277369

    • Related Report
      2005 Annual Research Report
  • [Journal Article] セキュリティ要求にもとづいた振舞いのシナリオへの挿入支援2005

    • Author(s)
      糸賀裕弥, 大西 淳
    • Journal Title

      電子情報通信学会技術研究報告 Vol.105・No.

      Pages: 319-328

    • Related Report
      2005 Annual Research Report

URL: 

Published: 2005-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi