ユースケース記述の規則への整合性検査に向けて

• Link

Abstract

ユースケースが示唆する機能要求が，法律をはじめとする規則を遵守するかについて，モデル検査によって検査する手法を述べる．ユースケースのドメインと規則の知識表現をもとに，ユースケースから，ユースケースに関わる規則の検査式と状態遷移モデルを生成する．生成された状態遷移モデルと検査式に，モデル検査を適用した結果から，機能要求が規則を遵守しているかを判定する．

BibTeX

@incollection{nakamura-ses2014,
    author = {中村 遼太郎 and 林 晋平 and 佐伯 元司},
    title = {ユースケース記述の規則への整合性検査に向けて},
    booktitle = {ソフトウェアエンジニアリングシンポジウム2014予稿集},
    pages = {192--193},
    year = 2014,
}