Ernest Teniente

Proceedings of the Service-Oriented Computing - ICSOC 2020 Workshops, 2020

2019

OCL<sub>FO</sub>: first-order expressive OCL constraints for efficient integrity checking.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2019

Conformance checking in UML artifact-centric business process models.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2019

Adapting Integrity Checking Techniques for Concurrent Operation Executions.

[BibT_eX]

[DOI]

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

A Semantic Model to Fight Social Exclusion.

[BibT_eX]

[DOI]

Victor-Alejandro Ortiz

Maria-Cristina V. Marinescu

Carmen Rueda

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Automatic Business Process Model Extension to Repair Constraint Violations.

[BibT_eX]

[DOI]

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

2018

Ensuring the semantic correctness of a BAUML artifact-centric BPM.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2018

An Ontology-Based Framework for Describing Discoverable Data Services.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2018

2017

Enabling IoT Ecosystems through Platform Interoperability.

[BibT_eX]

[DOI]

Arne Bröring

Stefan Schmid

Corina Kim Schindhelm

IEEE Softw., 2017

Simplification of UML/OCL schemas for efficient reasoning.

[BibT_eX]

[DOI]

J. Syst. Softw., 2017

Practical Update Management in Ontology-Based Data Access.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2017, 2017

Process Conformance Checking by Relaxing Data Dependencies.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Esperanza Marcos

Francisco J. Pérez Blanco

Juan M. Vara

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

OCL<sub>UNIV</sub>: Expressive UML/OCL Conceptual Schemas for Finite Reasoning.

[BibT_eX]

[DOI]

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

Linking Data and BPMN Processes to Achieve Executable Models.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2017

30 Years of Contributions to Conceptual Modeling.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling Perspectives., 2017

2016

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

[BibT_eX]

[DOI]

Guillem Rull

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

GROM: a General Rewriter of Semantic Mappings.

[BibT_eX]

[DOI]

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

2015

AuRUS: explaining the validation of UML/OCL conceptual schemas.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2015

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

[BibT_eX]

[DOI]

Albert Tort

Data Knowl. Eng., 2015

Ontology-based mappings.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2015

Incremental Checking of OCL Constraints with Aggregates Through SQL.

[BibT_eX]

[DOI]

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

Verification and Validation of UML Artifact-Centric Business Process Models.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2015

2014

Verifiable UML Artifact-Centric Business Process Models (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2014

Incremental Checking of OCL Constraints through SQL Queries.

[BibT_eX]

[DOI]

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

Panel Discussion: Proposals for Improving OCL.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Albert Tort

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

Verifiable UML Artifact-Centric Business Process Models.

[BibT_eX]

[DOI]

Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, 2014

Specifying Artifact-Centric Business Process Models in UML.

[BibT_eX]

[DOI]

Proceedings of the Business Modeling and Software Design - 4th International Symposium, 2014

2013

Automated reasoning on UML conceptual schemas with derived information and queries.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2013

Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211).

[BibT_eX]

[DOI]

Diego Calvanese

Sven Hartmann

Dagstuhl Reports, 2013

Validation of schema mappings with nested queries.

[BibT_eX]

[DOI]

Comput. Sci. Inf. Syst., 2013

Query containment in entity SQL.

[BibT_eX]

[DOI]

Guillem Rull

Philip A. Bernstein

Ivo Garcia dos Santos

Yannis Katsis

Sergey Melnik

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2013

Reasoning on UML Data-Centric Business Process Models.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Semantic-Based Mappings.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 32th International Conference, 2013

2012

Verification and Validation of UML Conceptual Schemas with OCL Constraints.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2012

OCL-Lite: Finite reasoning on UML/OCL conceptual schemas.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2012

OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

Artifact-Centric Business Process Models in UML.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2012

2010

AuRUS: Automated Reasoning on UML/OCL Schemas.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2010

2009

Incremental integrity checking of UML/OCL conceptual schemas.

[BibT_eX]

[DOI]

J. Syst. Softw., 2009

MVT: a schema mapping validation tool.

[BibT_eX]

[DOI]

Proceedings of the EDBT 2009, 2009

Reasoning on UML Conceptual Schemas with Operations.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009

2008

A platform independent model for the electronic marketplace domain.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2008

Improving the definition of general constraints in UML.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2008

Validation of mappings between schemas.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2008

SVTe: a tool to validate database schemas giving explanations.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Testing Database Systems, 2008

Providing Explanations for Database Schema Validation.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 19th International Conference, 2008

Validation of UML Conceptual Schemas with Operations.

[BibT_eX]

[DOI]

Proceedings of the Forum at the CAiSE'08 Conference, Montpellier, France, June 18-20, 2008, 2008

Decidable Reasoning in UML Schemas with Constraints.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 20th International Conference, 2008

Drawing Preconditions of Operation Contracts from Conceptual Schemas.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 20th International Conference, 2008

2007

Transformation techniques for OCL constraints.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2007

Comprobación eficiente de restricciones de integridad en OCL.

[BibT_eX]

Proceedings of the XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), 2007

Containment of Conjunctive Queries over Databases with Null Values.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 2007

Computing explanations for unlively queries in databases.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth ACM Conference on Information and Knowledge Management, 2007

2006

Specifying the Semantics of Operation Contracts in Conceptual Modeling.

[BibT_eX]

[DOI]

J. Data Semant., 2006

Transforming OCL constraints: a context change approach.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Facilitating the Definition of General Constraints in UML.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2006

Reasoning on UML Class Diagrams with OCL Constraints.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2006

Constraint Support in MDA Tools: A Survey.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2006

Declarative Specification of Taxonomic Constraint Enforcement in Conceptual Schemas.

[BibT_eX]

[DOI]

Cristina Gómez

Proceedings of the 18th Conference on Advanced Information Systems Engineering (CAiSE '06), 2006

Incremental Evaluation of OCL Constraints.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 18th International Conference, 2006

2005

Checking query containment with the CQC method.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2005

Generación Automática de Restricciones de Integridad: Estado del Arte.

[BibT_eX]

[DOI]

Proceedings of the Actas del Taller sobre Desarrollo Dirigido por Modelos, 2005

On the Semantics of Operation Contracts in Conceptual Modeling.

[BibT_eX]

[DOI]

Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE '05), 2005

Computing the Relevant Instances That May Violate an OCL Constraint.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

2004

SVT: Schema Validation Tool for Microsoft SQL-Server.

[BibT_eX]

[DOI]

Proceedings of the (e)Proceedings of the Thirtieth International Conference on Very Large Data Bases, VLDB 2004, Toronto, Canada, August 31, 2004

Determining the Structural Events That May Violate an Integrity Constraint.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2004, 2004

A New Approach for Checking Schema Validation Properties.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 15th International Conference, 2004

2003

On the abductive or deductive nature of database schema validation and update processing problems.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2003

Consistency preserving updates in deductive databases.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2003

Representing Temporal Information in UML.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2003, 2003

Handling Existential Derived Predicates in View Updating.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 19th International Conference, 2003

Entity Types Derived by Symbol-Generating Rules.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2003

Query Containment with Negated IDB Predicates.

[BibT_eX]

[DOI]

Proceedings of the Advances in Databases and Information Systems, 2003

Materialized Views in Multidimensional Databases.

[BibT_eX]

[DOI]

Proceedings of the Multidimensional Databases: Problems and Solutions, 2003

2002

Derived types and taxonomic constraints in conceptual modeling.

[BibT_eX]

[DOI]

Inf. Syst., 2002

Understanding Redundancy in UML Models for Object-Oriented Analysis.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 14th International Conference, 2002

2001

Relationship Type Refinement in Conceptual Models with Multiple Classification.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2001

2000

Dealing with Modification Requests During View Updating and Integrity Constraint Maintenance.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2000

1999

A Survey of Current Methods for Integrity Constraint Maintenance and View Updating.

[BibT_eX]

[DOI]

Proceedings of the Advances in Conceptual Modeling: ER '99 Workshops on Evolution and Change in Data Management, 1999

Addressing Efficiency Issues During the Process of Integrity Maintenance.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 10th International Conference, 1999

The Constructive Method for Query Containment Checking.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 10th International Conference, 1999

1998

Integrated Treatment of Updates in Deductive Databases: the FOLRE Project (extended abstract).

[BibT_eX]

Proceedings of the III Jornadas de Investigación y Docencia en Bases de Datos, 1998

Query Containment Checking as a View Updating Problem.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 9th International Conference, 1998

1997

Materialized Views Selection in a Multidimensional Database.

[BibT_eX]

[DOI]

Elena Baralis

Stefano Paraboschi

Proceedings of the VLDB'97, 1997

FOLRE: A Deductive Database System for the Integrated Treatment of Updates.

[BibT_eX]

[DOI]

Proceedings of the Rules in Database Systems, Third International Workshop, 1997

Validating Active Rules by Planning.

[BibT_eX]

[DOI]

Piero Fraternali

Proceedings of the Rules in Database Systems, Third International Workshop, 1997

Comprobación del Contenimiento de Consultas mediante Actualización de Vistas.

[BibT_eX]

Proceedings of the II Jornadas de Investigación y Docencia en Bases de Datos, 1997

An Approach to Obtain Intensional Translation for Consistent View Updating.

[BibT_eX]

[DOI]

Proceedings of the Deductive and Object-Oriented Databases, 5th International Conference, 1997

Structuring the Process of Integrity Maintenance.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 8th International Conference, 1997

1996

FOLRE: Un sistema papa et tratamiento integrado de actualizaciones en bases de datos.

[BibT_eX]

Proceedings of the I Jornadas de Investigación y Docencia en Bases de Datos, 1996

How to Tackle Schema Validation by View Updating.

[BibT_eX]

[DOI]

Hendrik Decker

Proceedings of the Advances in Database Technology, 1996

Handling Conceptual Model Validation by Planning.

[BibT_eX]

[DOI]

Proceedings of the Advances Information System Engineering, 8th International Conference, 1996

1995

Updating Knowledge Bases While Maintaining Their Consistency

[BibT_eX]

[DOI]

VLDB J., 1995

A Common Framework for Classifying and Specifying Deductive Database Updating Problems.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Data Engineering, 1995

An Abductive Framework to Handle Consistency-preserving Updates in Deductive Databases.

[BibT_eX]

Proceedings of the Deductive Databases and Logic Programming, 1995

1993

Incorporating Modification Requests in Updating Consistent Knowledge Bases.

[BibT_eX]

Proceedings of the Fourth International Workshop on the Deductive Approach to Information Systems and Databases, 1993

1992

El Mètode dels esdeveniments per a l'Actualització de vistes en bases de dades deductives.

[BibT_eX]

[DOI]

PhD thesis, 1992

The Events Method for View Updating in Deductive Databases.

[BibT_eX]

[DOI]

Proceedings of the Advances in Database Technology, 1992

1990

The Internal Events Method for View Updating in Deductive Databases.

[BibT_eX]