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
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;
Conference_Titel :
Computational Cybernetics, 2004. ICCC 2004. Second IEEE International Conference on
Conference_Location :
Vienna
Print_ISBN :
0-7803-8588-8
DOI :
10.1109/ICCCYB.2004.1437718
