Xavier Oriol
Title
Cited by
Cited by
Year
Linking Data and BPMN Processes to Achieve Executable Models
G De Giacomo, X Oriol, M Estañol, E Teniente
(CAiSE) International Conference on Advanced Information Systems Engineering …, 2017
242017
Incremental Checking of OCL Constraints through SQL Queries
X Oriol, E Teniente
OCL@ MoDELS, 2014
202014
Incremental checking of OCL constraints with aggregates through SQL
X Oriol, E Teniente
34th International Conference, ER 2015, Stockholm, Sweden, October 19–22 …, 2015
142015
Computing Repairs for Constraint Violations in UML/OCL Conceptual Schemas
X Oriol, E Teniente, A Tort
Data & Knowledge Engineering, 2015
132015
Practical Update Management in Ontology-Based Data Access
G De Giacomo, D Lembo, X Oriol, DF Savo, E Teniente
International Semantic Web Conference, 225-242, 2017
102017
Logic Foundations of the OCL Modelling Language
E Franconi, A Mosca, X Oriol, G Rull, E Teniente
(JELIA) Logics in Artificial Intelligence, 657-664, 2014
102014
Validation of Service Blueprint Models by Means of Formal Simulation Techniques
M Estañol, E Marcos, X Oriol, FJ Pérez, E Teniente, JM Vara
International Conference on Service-Oriented Computing, 80-95, 2017
72017
Fixing up non-executable operations in UML/OCL conceptual schemas
X Oriol, E Teniente, A Tort
International Conference on Conceptual Modeling, 232-245, 2014
72014
OCLuniv: Expressive UML/OCL Conceptual Schemas for Finite Reasoning
X Oriol, E Teniente
International Conference on Conceptual Modeling, 354-369, 2017
62017
Simplification of UML/OCL Schemas for Efficient Reasoning
X Oriol, E Teniente
Journal of Systems and Software, 2017
62017
TINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server
X Oriol, E Teniente, G Rull
Advances in Database Technology-EDBT, 2016
6*2016
OCLfo: first-order expressive OCL constraints for efficient integrity checking
E Franconi, A Mosca, X Oriol, G Rull, E Teniente
Software & Systems Modeling, 1-24, 2018
5*2018
Updating DL-Lite Ontologies through First-Order Queries
G De Giacomo, X Oriol, R Rosati, DF Savo
(ISWC) International Semantic Web Conference, 2016
52016
Automatic Business Process Model Extension to Repair Constraint Violations
X Oriol, G De Giacomo, M Estañol, E Teniente
International Conference on Service-Oriented Computing, 102-118, 2019
12019
An Ontology-Based Framework for Describing Discoverable Data Services
X Oriol, E Teniente
International Conference on Advanced Information Systems Engineering, 220-235, 2018
12018
Adapting Integrity Checking Techniques for Concurrent Operation Executions
X Oriol, E Teniente
International Conference on System Analysis and Modeling, 235-248, 2019
2019
Incremental Checking and Maintenance of UML/OCL Integrity Constraints
X Oriol
Universitat Politècnica de Catalunya, 2017
2017
Process conformance checking by relaxing data dependencies
M Estañol Lamarca, M Mazuran, X Oriol, L Tanca, E Teniente
SEBD 2017: Symposium on Advanced Database Systems: proceedings of the 25th …, 2017
2017
Handling Updates in Ontology-based Data Access
G De Giacomo, D Lembo, X Oriol, DF Savo, E Teniente
2017
TINTIN: comprobación incremental de aserciones SQL
X Oriol, E Teniente, G Rull
Actas de las XXI Jornadas de Ingeniería del Software y Bases de Datos (JISBD …, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–20