anna queralt
anna queralt
Verified email at bsc.es
TitleCited byYear
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
A Queralt, A Artale, D Calvanese, E Teniente
Data & Knowledge Engineering 73, 1-22, 2012
942012
Reasoning on UML class diagrams with OCL constraints
A Queralt, E Teniente
International Conference on Conceptual Modeling, 497-512, 2006
762006
Verification and validation of UML conceptual schemas with OCL constraints
A Queralt, E Teniente
ACM Transactions on Software Engineering and Methodology (TOSEM) 21 (2), 13, 2012
692012
EU-Rent car rentals specification
L Frias, A Queralt, A Olivé
2006-01-08]. http:∥ www. lsi. upc. es/dept/techreps/techreps. html, 2003
422003
Decidable reasoning in UML schemas with constraints
A Queralt, E Teniente
International Conference on Advanced Information Systems Engineering, 281-295, 2008
332008
PyCOMPSs: Parallel computational workflows in Python
E Tejedor, Y Becerra, G Alomar, A Queralt, RM Badia, J Torres, T Cortes, ...
The International Journal of High Performance Computing Applications 31 (1 …, 2017
312017
Improving the definition of general constraints in UML
D Costal, C Gómez, A Queralt, R Raventós, E Teniente
Software and systems modeling 7 (4), 469-486, 2008
312008
Facilitating the definition of general constraints in UML
D Costal, C Gómez, A Queralt, R Raventós, E Teniente
International Conference on Model Driven Engineering Languages and Systems …, 2006
252006
Reasoning on UML conceptual schemas with operations
A Queralt, E Teniente
International Conference on Advanced Information Systems Engineering, 47-62, 2009
242009
AuRUS: automated reasoning on UML/OCL schemas
A Queralt, G Rull, E Teniente, C Farré, T Urpí
Conceptual Modeling–ER 2010, 438-444, 2010
232010
Artifact-Centric Business Process Models in UML
M Estañol, A Queralt, MR Sancho, E Teniente
Business Process Management Workshops, 292-303, 2013
222013
Specifying the semantics of operation contracts in conceptual modeling
A Queralt, E Teniente
Journal on Data Semantics VII, 33-56, 2006
212006
Big Data Benchmark Compendium
T Ivanov, T Rabl, M Poess, A Queralt, J Poelman, N Poggi, J Buell
Performance Evaluation and Benchmarking: Traditional to Big Data to Internet …, 2015
142015
Dataclay: A distributed data store for effective inter-player data sharing
J Martí, A Queralt, D Gasull, A Barceló, JJ Costa, T Cortes
Journal of Systems and Software 131, 129-145, 2017
132017
AuRUS: explaining the validation of UML/OCL conceptual schemas
G Rull, C Farré, A Queralt, E Teniente, T Urpí
Software & Systems Modeling 14 (2), 953-980, 2015
132015
A platform independent model for the electronic marketplace domain
A Queralt, E Teniente
Software and Systems Modeling 7 (2), 219-235, 2008
132008
OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL⋆
A Queralt, A Artale, D Calvanese, E Teniente
8*
Automated reasoning on UML conceptual schemas with derived information and queries
C Farré, A Queralt, G Rull, E Teniente, T Urpí
Information and Software Technology 55 (9), 1529-1550, 2013
72013
Drawing preconditions of operation contracts from conceptual schemas
D Costal, C Gómez, A Queralt, E Teniente
International Conference on Advanced Information Systems Engineering, 266-280, 2008
72008
Towards DaaS 2.0: enriching data models
J Martí, D Gasull, A Queralt, T Cortes
Services (SERVICES), 2013 IEEE Ninth World Congress on, 349-355, 2013
52013
The system can't perform the operation now. Try again later.
Articles 1–20