記述論理によるUMLの表現

• Material Type: 文書・図像類
• Title: 記述論理によるUMLの表現
• Author/Editor: 中西, 啓之; 三浦, 孝夫; 塩谷, 勇; NAKANISHI, Hiroyuki; MIURA, Takao; SHIOYA, Isamu
• Author Heading: 中西, 啓之; 三浦, 孝夫; https://nrid.nii.ac.jp/nrid/1000000219586/; 塩谷, 勇; https://nrid.nii.ac.jp/nrid/1000070170850/; NAKANISHI, Hiroyuki; MIURA, Takao; SHIOYA, Isamu
• Publication, Distribution, etc.: 一般社団法人情報処理学会
• Publication Date: 2003-07-16
• Publication Date (W3CDTF): 2003-07-16
• Alternative Title: Reasoning in Collaboration Diagrams by Description Logics
• Periodical title: 情報処理学会研究報告. データベースシステム（DBS）
• No. or year of volume/issue: 71
• Issue: 71
• Pages: 81-87
• ISSN (Periodical Title): ISSN : 09196072
• Text Language Code: jpn
• Target Audience: 一般
• Note (General): セッション1C : ツール
• Format (IMT): application/pdf
• Source: R021-JSME14.pdf （fulltext）; https://hosei.ecats-library.jp/da/repository/00005422/R021-JSME14.pdf
• Access Restrictions: 限定公開
• Rights (production): Copyright (C) 2003, IPSJ; 本文データは学協会の許諾に基づきCiNiiから複製したものである
• Related Material: inSeries
• Related Material (NCID): AN10112482; https://ci.nii.ac.jp/ncid/AN10112482
• Related Material (NAID): 110002911184; https://ci.nii.ac.jp/naid/110002911184
• Periodical Title (NCID): AN10112482; https://ci.nii.ac.jp/ncid/AN10112482
• Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• Original Data Provider (Database): 法政大学 : 法政大学学術機関リポジトリ

• Summary, etc.: UML(Unified Modeling Language)は,情報システムの設計開発に関する言語であり,事実上の業界標準的な手法として知られる.しかし,定義の曖昧さが残るため,モデル変換,等価性判定,冗長性の検証,無矛盾性の検査などの設計開発過程で要する知的な操作を行うことが極めて難しい.記述論理...