ユースケース記述の検査のための自然言語要求文の解析

• Link

Abstract

ユースケース記述は自然言語で記述されるため，内容をコンピュータで分析することは難しい．そこで，ユースケース記述に書かれた仕様を状態遷移モデルに変換しモデルチェッカで検査するために，ユースケース記述の各文を格フレームに変換する手法を提案する．提案手法では，まず，ユースケース記述の自然言語記述の係り受け解析を行う．次に，係り受け解析結果と辞書で定義される複数の格フレーム候補を照合し，入力文の格構造に対応する格フレームと考えられる順に格フレーム候補を順序付けて出力する．事例研究として，提案手法と入力文の格フレームから状態遷移モデルへの変換手法を用いて状態遷移モデルを生成し，モデル検査器に適用した．その結果，ユースケース記述が満たす性質と満たさない性質を判別することができた．

Abstract (English)

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.

BibTeX

@article{nakamura-sigss201403,
    author = {中村 遼太郎 and 林 晋平 and 佐伯 元司},
    title = {ユースケース記述の検査のための自然言語要求文の解析},
    journal = {電子情報通信学会技術研究報告},
    volume = 113,
    number = 489,
    pages = {25--30},
    year = 2014,
}