Now showing items 1-20 of 84

    • 3D mapping for urban service robots 

      Valencia Carreño, Rafael; Teniente López, Ernest; Trulls Fortuny, Eduard; Andrade-Cetto, Juan (IEEE Press. Institute of Electrical and Electronics Engineers, 2009-10-11)
      Conference report
      Open Access
      We present an approach to the problem of 3D map building in urban settings for service robots, using threedimensional laser range scans as the main data input. Our system is based on the probabilistic alignment of 3D point ...
    • A platform independent model for the electronic marketplace domain 

      Queralt Calafat, Anna; Teniente López, Ernest (2005-04)
      External research report
      Open Access
      An electronic marketplace supports the interaction among different users to exchange information about products to sell and buy. Significance of electronic marketplaces is given by the huge amount of web sites that are ...
    • A Review of integrity constraint maintenance and view updating techniques 

      Mayol Sarroca, Enric; Teniente López, Ernest (2003-03)
      External research report
      Open Access
      Two interrelated problems may arise when updating a database. On one hand, when an update is applied to the database, integrity constraints may become violated. In such case, the integrity constraint maintenance approach ...
    • A schema-only approach to validate XML schema mappings 

      Rull Fort, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni (2010-03-19)
      External research report
      Open Access
      Since the emergence of the Web, the ability to map XML data between different data sources has become crucial. Defining a mapping is however not a fully automatic process. The designer needs to figure out whether the mapping ...
    • A semantic model to fight social exclusion 

      Ortiz Santiago, Víctor Alejandro; Estañol Lamarca, Montserrat; Marinescu, Maria Cristina; Sancho Samsó, María Ribera; Teniente López, Ernest; Rueda Palenzuela, Carmen (Institute of Electrical and Electronics Engineers (IEEE), 2019)
      Conference lecture
      Open Access
      This work presents a semantic model meant to help with the identification and prediction of individuals at risk of social exclusion. The model is based on the self-sufficiency matrix, a tool that evaluates a person's ...
    • Actualització de vistes en bases de dades relacionals: estat de la qüestió 

      Teniente López, Ernest (Asociación de Técnicos de Informática, 1993-05)
      Article
      Open Access
    • Adapting integrity checking techniques for concurrent operation executions 

      Oriol Hilari, Xavier; Teniente López, Ernest (Springer, 2019)
      Conference report
      Open Access
      One challenge for achieving executable models is preserving the integrity of the data. That is, given a structural model describing the constraints that the data should satisfy, and a behavioral model describing the ...
    • Addressing efficiency issues during the process of integrity maintenance (extended version) 

      Mayol Sarroca, Enric; Teniente López, Ernest (1999-07)
      External research report
      Open Access
      An important problem that arises when updating a deductive database is that of integrity maintenance. That is, given a consistent database and an update request, to obtain all possible updates of base facts such that ...
    • An analysis pattern for electronic marketplaces 

      Queralt Calafat, Anna; Teniente López, Ernest (2004-02)
      External research report
      Open Access
      An electronic marketplace supports the interaction among different users to exchange information about products to sell and buy. Significance of electronic marketplaces is given by the huge amount of web sites that are ...
    • An ontology-based framework for describing discoverable data services 

      Oriol Hilari, Xavier; Teniente López, Ernest (Springer, 2018)
      Conference report
      Open Access
      Data-services are applications in charge of retrieving certain data when they are called. They are found in different communities such as the Internet Of Things, Cloud Computing, Big Data, etc. So, there is a real need to ...
    • Analysing the process of enforcing integrity constraints 

      Mayol Sarroca, Enric; Teniente López, Ernest (1996-06)
      External research report
      Open Access
      Two different approaches have been traditionally considered for dealing with the process of integrity constraints enforcement: integrity constraints checking and integrity constraints maintenance. However, while previous ...
    • Artifact-centric business process models in UML 

      Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest (2012)
      Conference report
      Open Access
      Business process modeling using an artifact-centric approach has raised a signi cant interest over the last few years. This approach is usually stated in terms of the BALSA framework which de nes the four \dimensions" of ...
    • AuRUS: Automated Reasoning on UML/OCL Schemas 

      Queralt Calafat, Anna; Rull Fort, Guillem; Teniente López, Ernest; Farré Tost, Carles; Urpí Tubella, Antoni (Springer Verlag, 2010)
      Conference lecture
      Restricted access - publisher's policy
      To ensure the quality of an information system, the conceptual schema that represents its domain must be semantically correct. We present a prototype to automatically check whether a UML schema with OCL constraints is right ...
    • AuRUS: explaining the validation of UML/OCL conceptual schemas 

      Rull Fort, Guillem; Farré Tost, Carles; Queralt Calafat, Anna; Teniente López, Ernest; Urpí Tubella, Antoni (2015-05-01)
      Article
      Open Access
      The validation and the verification of conceptual schemas have attracted a lot of interest during the last years, and several tools have been developed to automate this process as much as possible. This is achieved, in ...
    • Automatic business process model extension to repair constraint violations 

      Oriol Hilari, Xavier; Giacomo, Giuseppe De; Estañol Lamarca, Montserrat; Teniente López, Ernest (Springer, 2019)
      Conference report
      Open Access
      Consider an artifact-centric business process model, containing both a data model and a process model. When executing the process, it may happen that some of the data constraints from the data model are violated. Bearing ...
    • Comprobación eficiente de restricciones de integridad en OCL 

      Cabot, Jordi; Teniente López, Ernest (2007)
      Conference report
      Open Access
      El proceso de comprobación de restricciones tiene como objetivo asegurar que el estado del sistema de información es consistente con las restricciones de integridad. La comprobación tiene que repetirse cada vez que el ...
    • Computing explanations for unlively queries in databases 

      Rull, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni (2007-06)
      External research report
      Open Access
      A query is lively in a database schema if it returns a non-empty answer for some database satisfying the schema. Debugging a database schema requires not only determining queries (as well as views or tables) that are not ...
    • Computing repairs for constraint violations in UML/OCL conceptual schemas 

      Oriol Hilari, Xavier; Teniente López, Ernest; Tort, Albert (Elsevier, 2015-06-25)
      Article
      Open Access
      Updating the contents of an information base may violate some of the constraints defined over the schema. The classical way to deal with this problem has been to reject the requested update when its application would lead ...
    • Computing the relevant instances that may violate an OCL constraint 

      Cabot Sagrera, Jordi; Teniente López, Ernest (2005-03)
      External research report
      Open Access
      Integrity checking is aimed at efficiently determining whether the state of the information base is consistent after the application of a set of structural events. One possible way to achieve efficiency is to consider ...
    • Conformance checking in UML artifact-centric business process models 

      Estañol Lamarca, Montserrat; Muñoz Gama, Jorge; Carmona Vargas, Josep; Teniente López, Ernest (2019-08)
      Article
      Open Access
      Business artifacts have appeared as a new paradigm to capture the information required for the complete execution and reasoning of a business process. Likewise, conformance checking is gaining popularity as a crucial ...