Xavier Oriol
Título
Citado por
Citado por
Ano
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
232017
Incremental Checking of OCL Constraints through SQL Queries
X Oriol, E Teniente
OCL@ MoDELS, 2014
202014
Computing Repairs for Constraint Violations in UML/OCL Conceptual Schemas
X Oriol, E Teniente, A Tort
Data & Knowledge Engineering, 2015
162015
Incremental checking of OCL constraints with aggregates through SQL
X Oriol, E Teniente
34th International Conference, ER 2015, Stockholm, Sweden, October 19–22 …, 2015
152015
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
92017
Simplification of UML/OCL Schemas for Efficient Reasoning
X Oriol, E Teniente
Journal of Systems and Software, 2017
72017
Updating DL-Lite Ontologies through First-Order Queries
G De Giacomo, X Oriol, R Rosati, DF Savo
(ISWC) International Semantic Web Conference, 2016
72016
TINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server
X Oriol, E Teniente, G Rull
Advances in Database Technology-EDBT, 2016
7*2016
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
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
6*2018
OCLuniv: Expressive UML/OCL Conceptual Schemas for Finite Reasoning
X Oriol, E Teniente
International Conference on Conceptual Modeling, 354-369, 2017
62017
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
22019
Embedding reactive behaviour into artifact-centric business process models
X Oriol, G De Giacomo, M Estañol, E Teniente
Future Generation Computer Systems, 2020
12020
Adapting Integrity Checking Techniques for Concurrent Operation Executions
X Oriol, E Teniente
International Conference on System Analysis and Modeling, 235-248, 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
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
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
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20