| 講演名 | 2014-03-11 ユースケース記述の検査のための自然言諸要求文の解析 中村 遼太郎, 林 晋平, 佐伯 元司, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | ユースケース記述は自然言語で記述されるため,内容をコンピュータで分析することは難しい.そこで,ユースケース記述に書かれた仕様を状態遷移モデルに変換しモデルチェッカで検査するために,ユースケース記述の各文を格フレームに変換する手法を提案する.提案手法では,まず,ユースケース記述の自然言語記述の係り受け解析を行う.次に,係り受け解析結果と辞書で定義される複数の格フレーム候補を照合し,入力文の格構造に対応する格フレームと考えられる順に格フレーム候補を順序付けて出力する.事例研究として,提案手法と入力文の格フレームから状態遷移モデルへの変換手法を用いて状態遷移モデルを生成し,モデル検査器に適用した.その結果,ユースケース記述が満たす性質と満たさない性質を判別することができた. |
| 抄録(英) | Since use case descriptions written in a natural language are informal, it is difficult to analyze them automatically. To check whether descriptions satisfy their requirements by a model checker, this paper proposes a method to generate a case frame from a sentence in descriptions. First, we extract a verb from a sentence and find case frames associated with the verb from a dictionary. Then, we select the most adaptable one based on the analysis results of the sentence. We have implemented a supporting tool for the method. A case study for applying the tool and for translating the obtained case frames into a state transition model shows the feasibility of the method. |
| キーワード(和) | ユースケース記述 / 自然言語解析 / モデル検査 |
| キーワード(英) | Use case description / Natural language processing / Model Checking |
| 資料番号 | SS2013-76 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 2014/3/4(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | ユースケース記述の検査のための自然言諸要求文の解析 |
| サブタイトル（和） | |
| タイトル（英） | Analyzing Requirements Stentences for Checking Use Case Description |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ユースケース記述 / Use case description |
| キーワード(2)（和/英） | 自然言語解析 / Natural language processing |
| キーワード(3)（和/英） | モデル検査 / Model Checking |
| 第 1 著者 氏名（和/英） | 中村 遼太郎 / Ryotaro NAKAMURA |
| 第 1 著者 所属（和/英） | 東京工業大学大学院情報理工学研究科計算工学専攻 Department of Computer Science, Tokyo Institute of Technology |
| 第 2 著者 氏名（和/英） | 林 晋平 / Shinpei HAYASHI |
| 第 2 著者 所属（和/英） | 東京工業大学大学院情報理工学研究科計算工学専攻 Department of Computer Science, Tokyo Institute of Technology |
| 第 3 著者 氏名（和/英） | 佐伯 元司 / Motoshi SAEKI |
| 第 3 著者 所属（和/英） | 東京工業大学大学院情報理工学研究科計算工学専攻 Department of Computer Science, Tokyo Institute of Technology |
| 発表年月日 | 2014-03-11 |
| 資料番号 | SS2013-76 |
| 巻番号（vol） | vol.113 |
| 号番号（no） | 489 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |