閲覧可能ファイル 

ファイル	フォーマット	サイズ	閲覧回数	説明
R021-JSME14	pdf	631 KB	59

論文情報

ファイル出力

アイテムタイプ	テクニカルレポート
タイトル	記述論理によるUMLの表現
その他のタイトル	Reasoning in Collaboration Diagrams by Description Logics
著者	著者名 中西, 啓之
	e-Rad 研究者番号 00219586 著者名 三浦, 孝夫
	e-Rad 研究者番号 70170850 著者名 塩谷, 勇
	著者名 NAKANISHI, Hiroyuki
	著者名 MIURA, Takao
	著者名 SHIOYA, Isamu
言語	jpn
ISSN	09196072
出版者	一般社団法人情報処理学会
雑誌名	情報処理学会研究報告. データベースシステム（DBS）
号	71
開始ページ	81
終了ページ	87
発行年	2003-07-16
著者版フラグ	Version of Record
シリーズの部分である	夏のワークショップDBWS2003
内容記述	セッション1C : ツール
抄録	UML(Unified Modeling Language)は,情報システムの設計開発に関する言語であり,事実上の業界標準的な手法として知られる.しかし,定義の曖昧さが残るため,モデル変換,等価性判定,冗長性の検証,無矛盾性の検査などの設計開発過程で要する知的な操作を行うことが極めて難しい.記述論理によるUML記述は,クラス図のモデル化と推論に試みられており,従来直観的に扱われていた表現手法に形式的な枠組みを適用できる.本研究では,協調図上のオブジェクトの振舞いに対し記述論理による表現を提案する.記述論理式で表現されたクラス図スキーマとの整合性や冗長性を推論することにより,システム仕様機能を検証できる.
	UML (Unified Modeling Language) is a de fact standard language for information system design and development. However, because of the ambiguity, we can't utilize intelligent operation like model transformation, examination of equivalence and redundancy as well as consistency. By using Description Logics, we can formalize UML especially for validating model consistency and reasoning that have been made by human-being. In this investigation, we put our focus on behavior over collaboration diagrams and propose how to describe and reason them. By this approach we can co-evaluate collaboration diagrams and class diagrams.
権利	Copyright (C) 2003, IPSJ
	本文データは学協会の許諾に基づきCiNiiから複製したものである
資源タイプ	Article
書誌レコードID	AN10112482
インデックス	資料タイプ別 ＞ 学術雑誌論文 ＞ 自然科学
	301 学術雑誌論文 ＞ 自然科学

ホームへ戻る