Calì, Andrea and Calvanese, D. and De Giacomo, G. and Lenzerini, M. (2002) A formal framework for reasoning on UML class diagrams. In: Hacid, M.S. and Raś, Z.W. and Zighed, D.A. and Kodratoff, Y. (eds.) ISMIS 200: Foundations of Intelligent Systems. Lecture Notes in Computer Science 2366. Springer, pp. 503-513. ISBN 9783540437857.
Abstract
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.
Metadata
| Item Type: | Book Section |
|---|---|
| School: | Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences |
| Depositing User: | Sarah Hall |
| Date Deposited: | 09 Feb 2021 15:38 |
| Last Modified: | 09 Aug 2023 12:50 |
| URI: | https://eprints.bbk.ac.uk/id/eprint/42943 |
Statistics
Additional statistics are available via IRStats2.
Archive Staff Only (login required)
