Xavier Oriol
Titel
Citeras av
Citeras av
År
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
222017
Incremental Checking of OCL Constraints through SQL Queries
X Oriol, E Teniente
OCL@ MoDELS, 2014
192014
Computing Repairs for Constraint Violations in UML/OCL Conceptual Schemas
X Oriol, E Teniente, A Tort
Data & Knowledge Engineering, 2015
122015
Incremental checking of OCL constraints with aggregates through SQL
X Oriol, E Teniente
34th International Conference, ER 2015, Stockholm, Sweden, October 19–22 …, 2015
122015
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
92017
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
92014
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
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
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
52017
OCLuniv: Expressive UML/OCL Conceptual Schemas for Finite Reasoning
X Oriol, E Teniente
International Conference on Conceptual Modeling, 354-369, 2017
52017
Updating DL-Lite Ontologies through First-Order Queries
G De Giacomo, X Oriol, R Rosati, DF Savo
(ISWC) International Semantic Web Conference, 2016
52016
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
2*2018
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20