Segueix
Xavier Oriol
Títol
Citada per
Citada per
Any
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
372017
Incremental checking of OCL constraints with aggregates through SQL
X Oriol, E Teniente
34th International Conference, ER 2015, Stockholm, Sweden, October 19–22 …, 2015
352015
Computing Repairs for Constraint Violations in UML/OCL Conceptual Schemas
X Oriol, E Teniente, A Tort
Data & Knowledge Engineering, 2015
232015
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
152017
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
152017
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
142014
Updating DL-Lite Ontologies through First-Order Queries
G De Giacomo, X Oriol, R Rosati, DF Savo
(ISWC) International Semantic Web Conference, 2016
112016
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
102018
Simplification of UML/OCL Schemas for Efficient Reasoning
X Oriol, E Teniente
Journal of Systems and Software, 2017
92017
TINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server
X Oriol, E Teniente, G Rull
Advances in Database Technology-EDBT, 2016
9*2016
OCLuniv: Expressive UML/OCL Conceptual Schemas for Finite Reasoning
X Oriol, E Teniente
International Conference on Conceptual Modeling, 354-369, 2017
82017
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
Embedding reactive behaviour into artifact-centric business process models
X Oriol, G De Giacomo, M Estañol, E Teniente
Future Generation Computer Systems, 2020
62020
Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting
G De Giacomo, X Oriol, R Rosati, DF Savo
Journal of Artificial Intelligence Research 70, 1335-1371, 2021
32021
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
32019
Adapting Integrity Checking Techniques for Concurrent Operation Executions
X Oriol, E Teniente
International Conference on System Analysis and Modeling, 235-248, 2019
22019
Incremental Checking and Maintenance of UML/OCL Integrity Constraints
X Oriol
Universitat Politècnica de Catalunya, 2017
22017
Generating valid test data through data cloning
X Oriol, E Teniente, M Maynou, S Nadal
Future Generation Computer Systems, 2023
12023
An Ontology-Based Framework for Describing Discoverable Data Services
X Oriol, E Teniente
International Conference on Advanced Information Systems Engineering, 220-235, 2018
12018
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
1*2016
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–20