Querying UML Class Diagrams

  • Andrea Calì
  • Georg Gottlob
  • Giorgio Orsi
  • Andreas Pieris
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7213)

Abstract

UML Class Diagrams (UCDs) are the best known class-based formalism for conceptual modeling. They are used by software engineers to model the intensional structure of a system in terms of classes, attributes and operations, and to express constraints that must hold for every instance of the system. Reasoning over UCDs is of paramount importance in design, validation, maintenance and system analysis; however, for medium and large software projects, reasoning over UCDs may be impractical. Query answering, in particular, can be used to verify whether a (possibly incomplete) instance of the system modeled by the UCD, i.e., a snapshot, enjoys a certain property. In this work, we study the problem of querying UCD instances, and we relate it to query answering under guarded Datalog±, that is, a powerful Datalog-based language for ontological modeling. We present an expressive and meaningful class of UCDs, named Lean UCD, under which conjunctive query answering is tractable in the size of the instances.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Andrea Calì
    • 2
    • 3
  • Georg Gottlob
    • 1
    • 3
    • 4
  • Giorgio Orsi
    • 1
    • 4
  • Andreas Pieris
    • 1
  1. 1.Department of Computer ScienceUniversity of OxfordUK
  2. 2.Dept. of Computer Science and Inf. SystemsBirkbeck University of LondonUK
  3. 3.Oxford-Man Institute of Quantitative FinanceUniversity of OxfordUK
  4. 4.Institute for the Future of ComputingOxford Martin SchoolUK

Personalised recommendations