权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

オントロジを用いたソフトウェア要求分析・設計技術の研究

基于本体的软件需求分析与设计技术研究

基本信息

批准号：
16016230
负责人：
佐伯元司
金额：
$ 3.39万
依托单位：
Tokyo Institute of Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
2004
资助国家：
日本
起止时间：
2004 至 2005
项目状态：
已结题

项目摘要

本年度の主な研究成果は以下のとおりである.1.オントロジを用いた要求獲得方法論とその支援ツールの開発オントロジを問題領域固有の知識(ドメイン知識)として活用し,要求獲得時に生じる要求の欠落や,矛盾した要求の候補を検出しつつ,要求を獲得・詳細化していく方法論を開発した.この方法論では,完全性や無矛盾性を数値化して要求分析者に提示し,分析者は提示された数値を参照し,欠落した要求の追加,曖昧な要求の改善,矛盾した要求の選択,不適当な要求の削除といった作業がガイドされていく.この方法論を支援するツールの開発も行った.オントロジとその上での推論規則はPrologを,ユーザインタフェース部分はJavaを用いて実現した.完全性などの品質メトリックスの計算,要求の欠落候補や矛盾している部分の候補の検出には,Prologの推論,計算機構を用いた.分析者は,要求リストをあらかじめ用意してあるオントロジの概念リストに対応づけると,ツールはメトリックスを計算したり,候補を提示したりしてくれる.分析者はこれらの情報を参考にしながら,ツール上で要求を追加・詳細化していく.2.オントロジベースのソフトウェアリポジトリの開発要求仕様を蓄積し,その意味的要素を単位として構成管理や版管理まで行うリポジトリシステムを実現した.このリポジトリシステムは要求仕様のメタモデル中の構成要素をオントロジとし,なされた変更に矛盾がないかどうかをオントロジ上の意味的推論システムを用いてチェックする.3.デザインパターンのモデル化と検出手法の研究デザインパターンの構成要素のロール名をオントロジと考えモデル化し,ソースコード中からデザインパターンを検出する手法を開発した.検出手法はソースコードの構造を解析する静的解析と実行系列を解析する動的解析を組み合わせ,デザインパターンはPrologを用いて記述した.これにより,デザインパターンのオントロジを用いた設計の意味的情報の検出が可能になった.

The main research results of this year are as follows: 1. Requirements for obtaining methodology and support for developing methodology and knowledge inherent in the problem domain (knowledge) and requirements for obtaining time-use requirements for lacking, contradictory requirements for candidate identification and requirements for obtaining, detailing and developing methodology. The methodology is complete, non-contradictory, numerical, analytical, reference, incomplete, additional, ambiguous, improvement, contradiction, selection, inappropriate, elimination, and operation. This methodology is supported by the development and implementation of the project. The rule of inference on the top of the file is Prolog, which is partially implemented in Java. Completeness, quality, calculation, requirement, candidate contradiction, partial candidate, inference, calculation mechanism. The analyst asks for a prompt. The analyst adds and details the development requirements for the information to be referred to. 2. The software is integrated into the development requirements, and the significant elements are integrated into the component management. The component management is implemented. 3. Research on the method of designing and producing the composition elements of the system, including the method of designing and producing the composition elements of the system, and the method of designing and producing the composition elements of the system. The first step is to open the door. The structure of the method is analyzed. The static analysis is performed. The dynamic analysis is combined. The static analysis is performed. This is the first time that a person has ever used a computer to create a computer.

项目成果

期刊论文数量（24）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Integrating an Idea Generation Method into a Goal-Oriented Analysis Method for Requirements Elicitation

将想法生成方法集成到面向目标的需求启发分析方法中

DOI：
发表时间：
2005
期刊：
Proc.of 12th Asia-Pacific Software Engineering Conference (APSEC2005)
影响因子：
0
作者：
Kazuya Ohshiro;Kenji Watahiki;Motoshi Saeki
通讯作者：
Motoshi Saeki

Generative Technique of Version Control Systems for Software Diagrams

软件图版本控制系统生成技术

DOI：
发表时间：
2005
期刊：
Proc.of 21st IEEE International Conference on Software Maintenance (ICSM2005)
影响因子：
0
作者：
Takafumi Oda;Motoshi Saeki
通讯作者：
Motoshi Saeki

Ontology-Based Software Development Techniques

基于本体的软件开发技术

DOI：
发表时间：
2004
期刊：
ERCIM(European Research Consortium for Informatics and Mathematics) News No.58
影响因子：
0
作者：
Aihara;Ueoka;Hirota;Hirose;M.Saeki
通讯作者：
M.Saeki

静的解析と動的解析を用いたデザインパターン検出手法

使用静态分析和动态分析的设计模式检测方法