A Formal Framework for Reasoning on UML Class Diagrams

Proc. of the 13th Int. Symp. on Methodologies for Intelligent Systems (ISMIS 2002). Volume 2366 of Lecture Notes in Computer Science. 2002.

In this paper we formalize UML class diagrams in terms of a logic belonging to Description Logics, which are subsets of First-Order Logic that have been thoroughly investigated in Knowledge Representation. The logic we have devised is specifically tailored towards the high expressiveness of UML information structuring mechanisms, and allows one to formally model important properties which typically can only be specified by means of qualifiers. The logic is equipped with decidable reasoning procedures which can be profitably exploited in reasoning on UML class diagrams. This makes it possible to provide computer aided support during the application design phase in order to automatically detect relevant properties, such as inconsistencies and redundancies.

@inproceedings{ISMIS-2002,
   title = "A Formal Framework for Reasoning on UML Class Diagrams",
   year = "2002",
   author = "Andrea Calì and Diego Calvanese and De Giacomo,
Giuseppe and Maurizio Lenzerini",
   booktitle = "Proc. of the 13th Int. Symp. on Methodologies for Intelligent
Systems (ISMIS 2002)",
   pages = "503--513",
   volume = "2366",
   publisher = "Springer",
   series = "Lecture Notes in Computer Science",
   doi = "10.1007/3-540-48050-1_54",
}