Xavier Oriol

According to our database, Xavier Oriol authored at least 24 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

IMP-Logics: a metamodel for analysis and transformations of Datalog programs.

José Francisco Crespo, Martí Juanola, Xavier Oriol, Martí Recalde, Ernest Teniente

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

2023

Generating valid test data through data cloning.

Xavier Oriol, Ernest Teniente, Marc Maynou, Sergi Nadal

Future Gener. Comput. Syst., July, 2023

A Benchmarking Proposal for DevOps Practices on Open Source Software Projects.

José Manuel Sánchez Ruiz, Francisco José Domínguez Mayo, Xavier Oriol, José Francisco Crespo, David Benavides, Ernest Teniente

CoRR, 2023

2021

Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting.

Giuseppe De Giacomo, Xavier Oriol, Riccardo Rosati, Domenico Fabio Savo

J. Artif. Intell. Res., 2021

Embedding reactive behavior into artifact-centric business process models.

Xavier Oriol, Giuseppe De Giacomo, Montserrat Estañol, Ernest Teniente

Future Gener. Comput. Syst., 2021

UQJG: Identifying Transactions that Collaborate to Violate an SQL Assertion.

Toon Koppelaars, Xavier Oriol, Ernest Teniente, Sergi Curto, Eduard Pujol

Proceedings of the CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1, 2021

2019

OCL_FO: first-order expressive OCL constraints for efficient integrity checking.

Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, Ernest Teniente

Softw. Syst. Model., 2019

Adapting Integrity Checking Techniques for Concurrent Operation Executions.

Xavier Oriol, Ernest Teniente

Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0, 2019

Automatic Business Process Model Extension to Repair Constraint Violations.

Xavier Oriol, Giuseppe De Giacomo, Montserrat Estañol, Ernest Teniente

Proceedings of the Service-Oriented Computing - 17th International Conference, 2019

2018

An Ontology-Based Framework for Describing Discoverable Data Services.

Xavier Oriol, Ernest Teniente

Proceedings of the Advanced Information Systems Engineering, 2018

2017

Incremental checking and maintenance of UML/OCL integrity constraints.

Xavier Oriol

PhD thesis, 2017

Simplification of UML/OCL schemas for efficient reasoning.

Xavier Oriol, Ernest Teniente

J. Syst. Softw., 2017

Practical Update Management in Ontology-Based Data Access.

Giuseppe De Giacomo, Domenico Lembo, Xavier Oriol, Domenico Fabio Savo, Ernest Teniente

Proceedings of the Semantic Web - ISWC 2017, 2017

Process Conformance Checking by Relaxing Data Dependencies.

Montserrat Estañol, Mirjana Mazuran, Xavier Oriol, Letizia Tanca, Ernest Teniente

Proceedings of the 25th Italian Symposium on Advanced Database Systems, 2017

Validation of Service Blueprint Models by Means of Formal Simulation Techniques.

Montserrat Estañol, Esperanza Marcos, Xavier Oriol, Francisco J. Pérez Blanco, Ernest Teniente, Juan M. Vara

Proceedings of the Service-Oriented Computing - 15th International Conference, 2017

OCL_UNIV: Expressive UML/OCL Conceptual Schemas for Finite Reasoning.

Xavier Oriol, Ernest Teniente

Proceedings of the Conceptual Modeling - 36th International Conference, 2017

Linking Data and BPMN Processes to Achieve Executable Models.

Giuseppe De Giacomo, Xavier Oriol, Montserrat Estañol, Ernest Teniente

Proceedings of the Advanced Information Systems Engineering, 2017

2016

Updating DL-Lite Ontologies Through First-Order Queries.

Giuseppe De Giacomo, Xavier Oriol, Riccardo Rosati, Domenico Fabio Savo

Proceedings of the Semantic Web - ISWC 2016, 2016

TINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server.

Xavier Oriol, Ernest Teniente, Guillem Rull

Proceedings of the 19th International Conference on Extending Database Technology, 2016

2015

Computing repairs for constraint violations in UML/OCL conceptual schemas.

Xavier Oriol, Ernest Teniente, Albert Tort

Data Knowl. Eng., 2015

Incremental Checking of OCL Constraints with Aggregates Through SQL.

Xavier Oriol, Ernest Teniente

Proceedings of the Conceptual Modeling - 34th International Conference, 2015

2014

Incremental Checking of OCL Constraints through SQL Queries.

Xavier Oriol, Ernest Teniente

Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

Logic Foundations of the OCL Modelling Language.

Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, Ernest Teniente

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Fixing Up Non-executable Operations in UML/OCL Conceptual Schemas.

Xavier Oriol, Ernest Teniente, Albert Tort

Proceedings of the Conceptual Modeling - 33rd International Conference, 2014