Exploració per autor "Teniente López, Ernest"
Ara es mostren els items 46-65 de 103
-
Incorporating modification requests in updating consistent knowledge bases
Mayol Sarroca, Enric; Teniente López, Ernest (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1993)
Text en actes de congrés
Accés obertAn important problem that arises when updating a knowledge base ·is related to integrity constraints maintenance. That is, given a consistent knowledge base and an update request, to obtain all possible ways of updating ... -
Incremental checking of OCL constraints through SQL queries
Oriol Hilari, Xavier; Teniente López, Ernest (2014)
Text en actes de congrés
Accés restringit per política de l'editorialWe propose a new method for efficiently checking OCL constraints by means of SQL queries. That is, an OCL constraint is satisfied if its corresponding SQL query returns the empty set. Such queries are computed in an ... -
Incremental checking of OCL constraints with aggregates through SQL
Oriol Hilari, Xavier; Teniente López, Ernest (Springer, 2015)
Text en actes de congrés
Accés obertValid states of data are those satisfying a set of constraints. Therefore, efficiently checking whether some constraint has been violated after a data update is an important problem in data management. We tackle this problem ... -
Incremental evaluation of OCL constraints
Cabot Sagrera, Jordi; Teniente López, Ernest (2005-04)
Report de recerca
Accés obertIntegrity checking is aimed at efficiently determining whether the state of the information base is consistent after each operation execution. Incremental integrity checking exploits available information about the ... -
Incremental integrity constraint checking in UML conceptual schemas
Cabot Sagrera, Jordi; Teniente López, Ernest (2005)
Report de recerca
Accés obertIntegrity checking is aimed at efficiently determining whether the state of the information base is consistent after each operation execution. Incremental integrity checking exploits available information about the structural ... -
IoT semantic data Integration through ontologies
Teniente López, Ernest (Institute of Electrical and Electronics Engineers (IEEE), 2022)
Text en actes de congrés
Accés obertIn this position statement we advocate how the use of ontologies may provide a proper solution for IoT semantic data integration. With this, we will improve IoT interoperability and will facilitate the development of ... -
Kopernik : modeling business processes for digital customers
Estañol Lamarca, Montserrat; Castro, Manuel; Díaz-Montenegro, Sylvia; Teniente López, Ernest (2016-07-31)
Report de recerca
Accés obertThis paper presents the Kopernik methodology for modeling business processes for digital customers. These processes require a high degree of flexibility in the execution of their tasks or actions. We achieve this by using ... -
Lindaview: an OBDA-based tool for self-sufficiency assessment
Ortiz Santiago, Víctor Alejandro; Estañol Lamarca, Montserrat; Marinescu, Maria Cristina; Sancho Samsó, María Ribera; Teniente López, Ernest (Barcelona Supercomputing Center, 2021-05)
Text en actes de congrés
Accés obertPoverty and social exclusion are a reality in every society. They are complex problems that require updated information and access to scattered data sources to make a proper assessment of a person’s situation. To help ... -
Linking data and BPMN processes to achieve executable models
Giacomo, Giuseppe De; Oriol Hilari, Xavier; Estañol Lamarca, Montserrat; Teniente López, Ernest (Springer, 2017)
Text en actes de congrés
Accés obertWe describe a formally well founded approach to link data and processes conceptually, based on adopting UML class diagrams to represent data, and BPMN to represent the process. The UML class diagram together with a set of ... -
Logic foundations of the OCL modelling language
Franconi, Enrico; Mosca, Alessandro; Oriol Hilari, Xavier; Rull, Guillem; Teniente López, Ernest (Springer, 2014)
Comunicació de congrés
Accés restringit per política de l'editorialIn this paper we define the first-order fragment of the Object Constraint Language (OCL), the declarative language for describing rules that apply to conceptual schemas in the Unified Modelling Language (UML). This fragment ... -
Modeling context-aware events and responses in an IoT environment
Vila Gómez, Marc; Sancho Samsó, María Ribera; Teniente López, Ernest (Springer, 2023)
Text en actes de congrés
Accés restringit per política de l'editorialThe Internet of Things (IoT) involves the use of devices that exchange information about the state of things in the real world. In IoT, monitoring is regarded to be the most fully researched use case. However, research on ... -
Monitoring, IoT devices, and semantics
Vila Gómez, Marc; Sancho Samsó, María Ribera; Teniente López, Ernest (Institute of Electrical and Electronics Engineers (IEEE), 2023)
Comunicació de congrés
Accés obertEfforts to improve Internet of Things (IoT) device interoperability for monitoring are still required. This demo paper proposes monitoring infrastructure safety and security with the use of semantics. We make use of an ... -
MVT: a schema mapping validation tool
Rull Fort, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni (ACM Press, NY, 2009)
Comunicació de congrés
Accés restringit per política de l'editorialSchema mappings define relationships between schemas in a declarative way. We demonstrate MVT, a mapping validation tool that allows the designer to ask whether the mapping has certain desirable properties. The answers to ... -
OCL-Lite: a decidable (yet expressive) fragment of OCL
Queralt Calafat, Anna; Artale, Alessandro; Calvanese, Diego; Teniente López, Ernest (2012)
Text en actes de congrés
Accés obertUML has become a de facto standard in conceptual modeling. Class diagrams in UML allow one to model the data in the domain of interest by specifying a set of graphical constraints. However, in most cases one needs to provide ... -
OCLFO: first-order expressive OCL constraints for efficient integrity checking
Franconi, Enrico; Mosca, Alessandro; Oriol Hilari, Xavier; Rull, Guillem; Teniente López, Ernest (2019-08)
Article
Accés obertOCL is the standard language for defining constraints in UML class diagrams. Unfortunately, as we show in this paper, full OCL is so expressive that it is not possible to check general OCL constraints efficiently. In ... -
OCLuniv: Expressive UML/OCL conceptual schemas for finite reasoning
Oriol Hilari, Xavier; Teniente López, Ernest (Springer, 2017)
Text en actes de congrés
Accés obertFull UML/OCL is so expressive that most reasoning tasks are known to be undecidable in schemas defined with these languages. To tackle this situation, literature has proposed mainly three decidable fragments of UML/OCL: ... -
On the practical applicability of current techniques for reasoning on the structural schema
Teniente López, Ernest (Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2013)
Text en actes de congrés
Accés obertThere has been plenty of promising results for providing automated reasoning on the structural part of the conceptual schema and several prototype tools have been developed with this purpose. However, most of these results ... -
On the semantics of operation contracts in conceptual modeling
Queralt Calafat, Anna; Teniente López, Ernest (2004-04)
Report de recerca
Accés obertThis paper describes two different ways of understanding operation contracts in the context of conceptual modeling. These two points of view are based in the total and partial correctness approaches from axiomatic programming, ... -
Ontology-based mappings
Mecca, Giansalvatore; Rull, Guillem; Santoro, Donatello; Teniente López, Ernest (Elsevier, 2015-07-01)
Article
Accés obertData translation consists of the task of moving data from a source database to a target database. This task is usually performed by developing mappings, i.e. executable transformations from the source to the target schema. ... -
Panel discussion: Proposals for improving OCL
Brucker, Achim D.; Clark, Tony; Dania, Carolina; Georg, Geri; Gogolla, Martin; Jouault, Frederic; Teniente López, Ernest; Wolff, Burkhart (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 ...