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

非形式的仕様記述の効率的形式化に関する研究

非正式规范描述的高效形式化研究

基本信息

批准号：
17700066
负责人：
大森洋一
金额：
$ 1.54万
依托单位：
Kyushu University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2005
资助国家：
日本
起止时间：
2005 至 2007
项目状态：
已结题

项目摘要

本研究では,システム設計におけるモデル構築の最初に行なわれる,非形式的な問題記述からキーワードを抜き出し,それらの定義を記述する用語辞書,関連の構造化を行なうデータ辞書,関連の修正およびステレオタイプの記述などの静的モデリング,問題記述を確認する検査網羅度表示といった従来の手法では別の枠組で考えられてきた機能を統一した手法を提案した.具体的には、非形式的記述中のマークした用語の品詞,非形式的定義,形式的定義,データ構造を登録し,残りの記述に含まれる同じ用語をマークする.このようなツールをEclipseのプラグインとして,用語およびデータ辞書作成,非形式的な記述の網羅度の確認といった機能をもつツールの機能を実装した.昨年度行なった仕様抽出手段の考案と電動ポットの事例を対象とした実証結果に基づいて,本ツールを利用した仕様の半自動的な形式化について研究した.網羅性の検証においては,簡単な品詞分解による品詞間に共通な語幹の取り出しと意味定義を行なう階層を追加した.実装においては,階層化と他のツールとの連携を重視した.階層化は,将来の複数言語への対応を考慮し,インターフェース部分,自然言語処理,辞書管理等を分離し,また,他のモデリングツールとの一体化を目指して,データの互換性を向上させた.要求獲得から形式的なモデリングへの変換をサポートするツールは少ないことから,年度後半の形式手法に関する国際会議で発表を行なった.組み込みシステムの事例である産業用ロボットの模型を制御するソフトウェアに対して評価を行ない,良好な結果を得た.予定していた旅費は期間の関係により,他の費目に振り替えた.

This study is aimed at describing the initial behavior, informal problem descriptions, definitions, terminology dictionaries, related structural behavior dictionaries, and related corrections of the structure of the structure. The problem is to check whether there is a problem or not. The problem is to check whether there is a problem. Specific, informal description of the term, informal definition, formal definition, structure registration, residual description of the same term. This is the first time that a dictionary has been created, and the second time that a dictionary has been created, the third time that a dictionary has been created, and the fourth time that a dictionary has been created. A case study of the method of extracting information from the database of the previous year, an electric case study, a case study, a case study, In the case of network identification, simple word decomposition, common word stem extraction, meaning definition, line hierarchy addition In order to improve the quality of the products, we should pay attention to the quality of the products. Hierarchical, future multiple speech processing, natural speech processing, dictionary management, etc. are considered separately, and their integration and interchangeability are discussed. The request for the form of a new version of the new version of the new version of A good example of this is the industrial model. To determine the travel expenses of the period of relationship, his expenses of vibration.