Presentation	2003/7/9 Reasoning in Collaboration Diagrams by Description Logics Hiroyuki NAKANISHI, Takao MIURA, Isamu SHIOYA,
PDF Download Page	PDF download Page Link
Abstract(in Japanese)	(See Japanese page)
Abstract(in English)	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.
Keyword(in Japanese)	(See Japanese page)
Keyword(in English)	UML Collaboration Diagrams / Description Logics
Paper #	DE2003-18
Date of Issue

Conference Information
Committee	DE
Conference Date	2003/7/9(1days)
Place (in Japanese)	(See Japanese page)
Place (in English)
Topics (in Japanese)	(See Japanese page)
Topics (in English)
Chair
Vice Chair
Secretary
Assistant

Paper Information
Registration To	Data Engineering (DE)
Language	JPN
Title (in Japanese)	(See Japanese page)
Sub Title (in Japanese)	(See Japanese page)
Title (in English)	Reasoning in Collaboration Diagrams by Description Logics
Sub Title (in English)
Keyword(1)	UML Collaboration Diagrams
Keyword(2)	Description Logics
1st Author's Name	Hiroyuki NAKANISHI
1st Author's Affiliation	Dept. of Elect. & Elect. Engr., HOSEI University()
2nd Author's Name	Takao MIURA
2nd Author's Affiliation	Dept. of Elect. & Elect. Engr., HOSEI University
3rd Author's Name	Isamu SHIOYA
3rd Author's Affiliation	Department of Management and Information Science, SANNO University
Date	2003/7/9
Paper #	DE2003-18
Volume (vol)	vol.103
Number (no)	190
Page	pp.pp.-
#Pages	6
Date of Issue