ユースケース記述からの状態遷移モデル生成

• Link

Abstract

ユースケース記述はソフトウェア開発における要求分析工程で用いられる．しかし，自然言語での記述は非形式的なため，ユースケース記述を網羅的に分析することは困難である．そこで，本論文ではユースケース記述からの状態遷移モデルの生成法を提案する．提案手法ではまず，ユースケース記述中の自然言語記述を解析し，格フレームを用いた形式的表現に変換する．次に，動詞の類義・対義語関係を用いて格フレームから状態変数を抽出する．ユースケース記述中の動作系列間の順序関係と，ユースケース間の関係を遷移として抽出し，状態遷移モデルを生成する．生成された状態遷移モデルをモデルチェッカに適用することで，ユースケース記述の分析を支援する．提案手法を実装した支援ツールを用いてユースケース記述を分析した結果，ユースケース記述が満たしている性質とそうでない性質を正確に判別することができた．

Abstract (English)

Use case descriptions are often used at the requirements analysis phase in a software development process. Since descriptions written by a natural language are informal, it is difficult to analyze them exhaustively. This paper proposes a method to generate state transition models from use case descriptions. First, we transform the descriptions to case frames. Second, we generate state variables from the case frames by the synonym and antonym relationships of the verbs. Finally, we generate state transition models, extracting inner use case transitions by the execution order of each use case and inter use case transitions by the pre/post-conditions of them. We have implemented a supporting tool for automating the method. A case study for applying the tool to use case descriptions shows the feasibility of the method.

BibTeX

@article{yohei-sigse201003,
    author = {高久 陽平 and 林 晋平 and 佐伯 元司},
    title = {ユースケース記述からの状態遷移モデル生成},
    journal = {情報処理学会研究報告},
    volume = {2010-SE-167},
    number = 17,
    pages = {1--8},
    year = 2010,
}