Now showing items 1-20 of 81

  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • Consistency preserving updates in deductive databases 

    Mayol Sarroca, Enric; Teniente López, Ernest (2001-06)
    External research report
    Open Access
    Several problems may arise when a deductive database is updated. The problems that are addressed in this paper are those of integrity constraint maintenance and view updating. In this sense, we define a method that tackles ...
  • Declarative taxonomic constraint enforcement in conceptual schemas 

    Costal Costa, Dolors; Gómez Seoane, Cristina; Teniente López, Ernest (2005-04)
    External research report
    Open Access
    We propose to declaratively specify policies for the enforcement of integrity constraints directly in the structural conceptual schema. The policies we propose depend on the kind of taxonomic constraint to be enforced ...