Anna Queralt Calafat
Polytechnic University of Catalonia
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Anna Queralt Calafat.
international conference on conceptual modeling | 2010
Anna Queralt Calafat; Guillem Rull Fort; Ernest Teniente López; Carles Farré Tost; Antoni Urpí Tubella
To ensure the quality of an information system, the conceptual schema that represents its domain must be semantically correct. We present a prototype to automatically check whether a UML schema with OCL constraints is right in this sense. It is well known that the full expressiveness of OCL leads to undecidability of reasoning. To deal with this problem, our approach finds a compromise between expressiveness and decidability, thus being able to handle very expressive constraints guaranteeing termination in many cases.
international workshop description logics | 2012
Anna Queralt Calafat; Alessandro Artale; Diego Calvanese; Ernest Teniente López
Archive | 2006
Dolors Costal Costa; Cristina Gómez Seoane; Anna Queralt Calafat; Ruth Raventós Pagès; Ernest Teniente López
Archive | 2015
Montserrat Estañol Lamarca; Anna Queralt Calafat; María Ribera Sancho Samsó; Ernest Teniente López
business modeling and software design | 2014
Montserrat Estañol Lamarca; Anna Queralt Calafat; María Ribera Sancho Samsó; Ernest Teniente López
Archive | 2012
Montserrat Estañol Lamarca; Anna Queralt Calafat; María Ribera Sancho Samsó; Ernest Teniente López
1st International Workshop on Data- and Artifact-centric BPM | 2012
Montserrat Estañol Lamarca; Anna Queralt Calafat; María Ribera Sancho Samsó; Ernest Teniente López
Archive | 2008
Anna Queralt Calafat; Ernest Teniente López
Archive | 2007
Anna Queralt Calafat; Ernest Teniente López
Archive | 2006
Anna Queralt Calafat; Ernest Teniente López
Collaboration
Dive into the Anna Queralt Calafat's collaboration.
