@techreport{oai:ipsj.ixsq.nii.ac.jp:00237360,
 author = {山田, 隆弘 and Takahiro, Yamada},
 issue = {6},
 month = {Jul},
 note = {ソフトウェアやシステムを開発する際には様々な文書が使用されるが，これらの文書は自然言語を用いて記述されるために，曖昧，不整合，不完全な記述を取り除くことが難しい．本稿では，各々の分野で使用される用語をブートストラップ式に定義し，それらの用語を用いて文書を記述する方法を提案する．具体的には，まず（数学における公理のように）定義なしで了解すべき基本的な用語を分野毎にドメインモデルとして規定する．次に，ドメインモデルに基づいてその分野で使用される動詞を定義する（これは数学における定理に相当する）．最後に，この両者に基づいて該当分野の文書を記述する（これも数学における定理に相当する）．この方法を用いれば，自然言語が有する曖昧さや意味的な不整合をある程度除去することができ，記述された文書の妥当性を機械的にチェックすることも可能になる．この方法の具体的な適用例として，本稿ではユースケースを記述する方法を示す．ユースケースは，ソフトウェアに対する機能要求を表現する方法として知られている．本稿の最後では，本方式を使用して記述したユースケースの実例を示す．},
 title = {公理としてのドメインモデルに基づくユースケースの記述方法},
 year = {2024}
}