Exploració per autor "Teniente López, Ernest"
Ara es mostren els items 65-84 de 103
-
Panel discussion: Proposals for improving OCL
(CEUR-WS.org, 2014)
Text en actes de congrés
Accés obertDuring the panel session at the OCL workshop, the OCL community discussed, stimulated by short presentations by OCL experts, potential future extensions and improvements of the OCL. As such, this panel discussion continued ... -
Potenciació del Moodle per a donar suport a l'aprenentatge semi-presencial
(2009-02-12T12:05:55Z)
Text en actes de congrés
Accés obertL’objectiu general del projecte era permetre que els alumnes preparessin les sessions de pràctiques amb antelació i de forma autònoma i fomentar que reintentessin els exercicis permetent-los millorar les seves qualificacions. ... -
Practical update management in ontology-based data access
(Springer, 2017)
Text en actes de congrés
Accés obertOntology-based Data Access (OBDA) is gaining importance both scientifically and practically. However, little attention has been paid so far to the problem of updating OBDA systems. This is an essential issue if we want to ... -
Process conformance checking by relaxing data dependencies
(CEUR-WS.org, 2017)
Text en actes de congrés
Accés obertGiven the events modeled by a business process, it may happen in the presence of alternative execution paths that the data required by a certain event determines somehow what event is executed next. Then, the process can ... -
Providing explanations for database schema validation
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 2008-04-14)
Report de recerca
Accés obertWe propose a new method for database schema validation that provides an explanation when it determines that a certain desirable property of a database schema does not hold. Explanations are required to give the designer a ... -
Query containment checking as a view updating problem
(1998-06)
Report de recerca
Accés obertIn this paper we present a new approach that handles query containment problems by expressing them as a view updating problem. Since this approach is independent of any particular view updating method, it provides a ... -
Query containment in entity SQL
(2013)
Comunicació de congrés
Accés restringit per política de l'editorialWe describe a software architecture we have developed for a constructive containment checker of Entity SQL queries defined over extended ER schemas expressed in Microsoft's Entity Data Model. Our application of interest ... -
Query containment with negated IDB predicates (extended version)
(2003-05)
Report de recerca
Accés obertWe present a method that checks Query Containment for queries with negated IDB predicates. Existing methods either deal only with restricted cases of negation or do not check actually containment but uniform containment, ... -
Reasoning on the usage control security policies over data artifact business process models
(2022)
Article
Accés obertThe inclusion of security aspects in organizations is a crucial aspect to ensure compliance with both internal and external regulations. Business process models are a well-known mechanism to describe and automate the ... -
Reasoning on UML class diagrams with OCL constraints
(2006-04)
Report de recerca
Accés obertWe propose a new approach to check whether a given UML class diagram with its OCL integrity constraints satisfies a set of desirable properties such as schema satisfiability, class liveliness, redundancy of integrity ... -
Reasoning on UML data-centric business process models
(Springer, 2013)
Text en actes de congrés
Accés restringit per política de l'editorialVerifying the correctness of data-centric business process models is important to prevent errors from reaching the service that is offered to the customer. Although the semantic correctness of these models has been studied ... -
Semantics for connectivity management in IoT sensing
(Springer Nature, 2021)
Text en actes de congrés
Accés obertThere are a large number of Internet of Things (IoT) devices that transmit information over the Internet, each with a different data format to denote the same semantic concept. This often leads to data incompatibilities ... -
Simplification of UML/OCL schemas for efficient reasoning
(2017-06-01)
Article
Accés obertEnsuring the correctness of a conceptual schema is an essential task in order to avoid the propagation of errors during software development. The kind of reasoning required to perform such task is known to be exponential ... -
Soundness and completeness of the events method
(1992)
Report de recerca
Accés obertWe have proposed a new method, which we call the Events Method, for view updating in deductive databases. In this paper we prove that this method is sound and complete for stratified databases. -
Specifying artifact-centric business process models in UML
(Springer, 2015-04-01)
Capítol de llibre
Accés obertIn recent years, the artifact-centric approach to process mod- eling has attracted a lot of attention. One of the research lines in this area is finding a suitable way to represent the dimensions in this approach. Bearing ... -
Specifying artifact-centric business process models in UML: technical report
(2015-05-19)
Report de recerca
Accés obertIn recent years, the artifact-centric approach to process modeling has attracted a lot of attention. One of the research lines in this area is finding a suitable way to represent the dimensions in this approach. Bearing ... -
Strict and extended interpretations of operation contracts in conceptual modeling
(2005-05)
Report de recerca
Accés obertThis paper describes two different ways of understanding operation contracts in conceptual modeling. The main difference between them lies in the way operation postconditions and integrity constraints are guaranteed, which ... -
Structuring the process of integrity maintenance (extended version)
(1997-07)
Report de recerca
Accés obertTwo different approaches have been traditionally considered for dealing with the process of integrity constraints enforcement: integrity checking and integrity maintenance. However, while previous research in the first ... -
Testing Termination of Query Satisfiability Checking on Expressive Database Schemas
(2010-03-19)
Report de recerca
Accés obertA query is satisfiable if there is at least one consistent instance of the database in which it has a non-empty answer. Defining queries on a database schema and checking their satisfiability can help the database designer ... -
The Constructive method for query containment checking (extended version)
(1999-07)
Report de recerca
Accés obertWe present a new method that checks Query Containment for queries with negated derived atoms and/or integrity constraints. Existing methods for Query Containment checking that deal with these cases do not check actually ...
