DocumentCode
3306405
Title
Formalizing UML collaborations by using description logics
Author
Nakanishi, Hiroyuki ; Miura, Takao ; Shioya, Isamu
Author_Institution
Dept.of Elect. & Elect. Engr., Hosei Univ., Tokyo
fYear
2004
fDate
2004
Firstpage
243
Lastpage
248
Abstract
Although unified modeling language (UML) is widely used in object-oriented analysis (O0A) and design (OOD) approach, the method for checking consistency is not established yet. In UML collaboration diagram, relationship and interaction among objects are expressed declaratively without any state transitions nor attribute value changes. In this research, we discuss how to formalize collaboration diagrams in a framework of description logics (DL) so that we can prove consistency, validity or redundancy among them. We apply some examples to RACER experimental system, and we show the usefulness of our procedure
Keywords
Unified Modeling Language; formal logic; formal specification; UML collaboration; Unified Modeling Language; description logic; object-oriented analysis; object-oriented design; Collaboration; Collaborative software; Collaborative work; Databases; Design methodology; Informatics; Logic; Object oriented modeling; Software design; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Computational Cybernetics, 2004. ICCC 2004. Second IEEE International Conference on
Conference_Location
Vienna
Print_ISBN
0-7803-8588-8
Type
conf
DOI
10.1109/ICCCYB.2004.1437718
Filename
1437718
Link To Document