Reasoning on UML Class Diagrams (2003)
Cached
Download Links
| Venue: | ARTIFICIAL INTELLIGENCE |
| Citations: | 60 - 18 self |
BibTeX
@ARTICLE{Berardi03reasoningon,
author = {Daniela Berardi and Andrea Cali and Diego Calvanese and Giuseppe Di Giacomo},
title = {Reasoning on UML Class Diagrams},
journal = {ARTIFICIAL INTELLIGENCE},
year = {2003},
volume = {168},
pages = {2005}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
UML is the de-facto standard formalism for software design and analysis. To support the design of large-scale industrial applications, sophisticated CASE tools are available on the market, that provide a user-friendly environment for editing, storing, and accessing multiple UML diagrams. It would be highly desirable to equip such CASE tools with automated reasoning capabilities in order to detect relevant formal properties of UML diagrams, such as inconsistencies or redundancies. With regard to this issue, we consider UML class diagrams, which are one of the most important components of UML, and we address the problem of reasoning on such diagrams. We resort to several results developed in the eld of Description Logics (DLs), a family of logics that admit decidable reasoning procedures.
