Now showing items 1-4 of 4

  • Discovering functional dependencies from ontologies 

    Romero Moral, Óscar; Calvanese, Diego; Abelló Gamazo, Alberto; Rodríguez Muro, Mariano (Association for Computing Machinery (ACM), 2009)
    Conference report
    Restricted access - publisher's policy
    Nowadays, it is widely accepted that the data warehouse design task should be largely automated. Furthermore, the data warehouse conceptual schema must be structured according to the multidimensional model and as a ...
  • OCL-Lite: a decidable (yet expressive) fragment of OCL 

    Queralt Calafat, Anna; Artale, Alessandro; Calvanese, Diego; Teniente López, Ernest (2012)
    Conference report
    Open Access
    UML has become a de facto standard in conceptual modeling. Class diagrams in UML allow one to model the data in the domain of interest by specifying a set of graphical constraints. However, in most cases one needs to ...
  • Verifiable UML artifact-centric business process models 

    Calvanese, Diego; Montali, Marco; Estañol Lamarca, Montserrat; Teniente López, Ernest (ACM, 2014)
    Conference report
    Restricted access - publisher's policy
    Artifact-centric business process models have gained increasing momentum recently due to their ability to combine structural (i.e., data related) with dynamical (i.e., process related)aspects. In particular, two main lines ...
  • Verifiable UML artifact-centric business process models (Extended Version) 

    Calvanese, Diego; Montali, Marco; Estañol Lamarca, Montserrat; Teniente López, Ernest (2014-08-21)
    External research report
    Open Access
    Artifact-centric business process models have gained increasing momentum recently due to their ability to combine structural (i.e., data related) with dynamical (i.e., process related) aspects. In particular, two main lines ...