Reasoning on UML class diagrams

@article{Berardi2005ReasoningOU,
  title={Reasoning on UML class diagrams},
  author={Daniela Berardi and Diego Calvanese and Giuseppe De Giacomo},
  journal={Artif. Intell.},
  year={2005},
  volume={168},
  pages={70-118}
}
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, such as those studied in Artificial Intelligence and, in particular, in Knowledge Representation and Reasoning. Such… CONTINUE READING
BETA

Citations

Publications citing this paper.
SHOWING 1-10 OF 345 CITATIONS, ESTIMATED 24% COVERAGE

Scenario testing using OWL.

VIEW 17 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Querying UML Class Diagrams

VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Enhancing identification mechanisms in UML class diagrams with meaningful keys

  • SAICSIT
  • 2011
VIEW 9 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Checking Full Satisfiability of Conceptual Models

VIEW 10 EXCERPTS
CITES BACKGROUND, RESULTS & METHODS
HIGHLY INFLUENCED

Full Satisfiability of UML Class Diagrams

VIEW 13 EXCERPTS
CITES RESULTS, BACKGROUND & METHODS
HIGHLY INFLUENCED

Essential, Mandatory, and Shared Parts in Conceptual Data Models

VIEW 10 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Description Logic Application for UML Class Diagrams Optimization

VIEW 4 EXCERPTS
CITES RESULTS, METHODS & BACKGROUND
HIGHLY INFLUENCED

Locally Constrained Ontologies

VIEW 3 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2003
2018

CITATION STATISTICS

  • 67 Highly Influenced Citations

  • Averaged 19 Citations per year over the last 3 years

References

Publications referenced by this paper.
SHOWING 1-10 OF 54 REFERENCES

D

F. Baader, D. Calvanese, D. McGuinness
  • Nardi, P.F. Patel-Schneider (Eds.), The Description Logic Handbook: Theory, Implementation and Applications, Cambridge University Press, Cambridge
  • 2003
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

The UML as a formal modeling notation

  • Computer Standards & Interfaces
  • 1998
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

G

E. Franconi
  • Ng, The i.com tool for intelligent conceptual modeling, in: Proc. of the 7th Int. Workshop on Knowledge Representation meets Databases (KRDB 2000), CEUR Electronic Workshop Proceedings, 2000, pp. 45–53, http://ceur-ws.org/Vol-29/. D. Berardi et al. / Artificial Intelligence 168
  • 2005
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

RACER System Description

VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

The FaCT System

  • TABLEAUX
  • 1998
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Similar Papers

Loading similar papers…