{"created":"2025-01-19T01:39:56.897150+00:00","updated":"2025-01-19T08:54:38.660935+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00237360","sets":["1164:1384:11463:11665"]},"path":["11665"],"owner":"44499","recid":"237360","title":["公理としてのドメインモデルに基づくユースケースの記述方法"],"pubdate":{"attribute_name":"公開日","attribute_value":"2024-07-18"},"_buckets":{"deposit":"47187393-6ce7-49b6-a032-91b715923610"},"_deposit":{"id":"237360","pid":{"type":"depid","value":"237360","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"公理としてのドメインモデルに基づくユースケースの記述方法","author_link":["649805","649806"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"公理としてのドメインモデルに基づくユースケースの記述方法"},{"subitem_title":"Use Case Descriptions Based on a Domain Model Used as the Indefinable Basis","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"2024-07-18","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"コノシミスタ"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"CONOCIMISTA","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/237360/files/IPSJ-SE24217006.pdf","label":"IPSJ-SE24217006.pdf"},"date":[{"dateType":"Available","dateValue":"2026-07-18"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SE24217006.pdf","filesize":[{"value":"836.1 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"12"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"265f9de3-5569-4bc6-9de1-6a7092cb270e","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2024 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"山田, 隆弘"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Takahiro, Yamada","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10112981","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"2188-8825","subitem_source_identifier_type":"ISSN"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"ソフトウェアやシステムを開発する際には様々な文書が使用されるが，これらの文書は自然言語を用いて記述されるために，曖昧，不整合，不完全な記述を取り除くことが難しい．本稿では，各々の分野で使用される用語をブートストラップ式に定義し，それらの用語を用いて文書を記述する方法を提案する．具体的には，まず（数学における公理のように）定義なしで了解すべき基本的な用語を分野毎にドメインモデルとして規定する．次に，ドメインモデルに基づいてその分野で使用される動詞を定義する（これは数学における定理に相当する）．最後に，この両者に基づいて該当分野の文書を記述する（これも数学における定理に相当する）．この方法を用いれば，自然言語が有する曖昧さや意味的な不整合をある程度除去することができ，記述された文書の妥当性を機械的にチェックすることも可能になる．この方法の具体的な適用例として，本稿ではユースケースを記述する方法を示す．ユースケースは，ソフトウェアに対する機能要求を表現する方法として知られている．本稿の最後では，本方式を使用して記述したユースケースの実例を示す．","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"8","bibliographic_titles":[{"bibliographic_title":"研究報告ソフトウェア工学（SE）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2024-07-18","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"6","bibliographicVolumeNumber":"2024-SE-217"}]},"relation_version_is_last":true,"weko_creator_id":"44499"},"id":237360,"links":{}}