Ara es mostren els items 1-19 de 19

  • An ontology-based framework for describing discoverable data services 

    Oriol Hilari, Xavier; Teniente López, Ernest (Springer, 2018)
    Text en actes de congrés
    Accés obert
    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 ...
  • Computing repairs for constraint violations in UML/OCL conceptual schemas 

    Oriol Hilari, Xavier; Teniente López, Ernest; Tort, Albert (Elsevier, 2015-06-25)
    Article
    Accés obert
    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 ...
  • Ejecución de operaciones de un esquema conceptual de forma persistente y consistente 

    Oriol Hilari, Xavier; Teniente López, Ernest (2014)
    Text en actes de congrés
    Accés obert
    El objetivo de la presente tesis es la ejecución de operaciones de un esquema conceptual de forma persistente y consistente. Es decir, los efectos de las operaciones son persistidos automáticamente en una base de datos a ...
  • Fixing up non-executable operations in UML/OCL conceptual schemas 

    Oriol Hilari, Xavier; Teniente López, Ernest; Tort, Albert (Springer, 2014)
    Text en actes de congrés
    Accés restringit per política de l'editorial
    An operation is executable if there is at least one information base in which its preconditions hold and such that the new information base obtained from applying its postconditions satisfies all the integrity constraints. ...
  • Incremental checking and maintenance of UML/OCL integrity constraints 

    Oriol Hilari, Xavier (Universitat Politècnica de Catalunya, 2017-07-11)
    Tesi
    Accés obert
    Ensuring the data correctness of some information system is a crucial task. So, software engineers specify sets of integrity constraints that should be satisfied by the system's data. These constraints, however, can be ...
  • 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'editorial
    We 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 obert
    Valid 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 ...
  • 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 obert
    We 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'editorial
    In 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 ...
  • OCLFO: first-order expressive OCL constraints for efficient integrity checking 

    Franconi, Enrico; Mosca, Alessandro; Oriol Hilari, Xavier; Rull, Guillem; Teniente López, Ernest (2018-08-24)
    Article
    Accés restringit per política de l'editorial
    OCL 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 obert
    Full 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: ...
  • Practical update management in ontology-based data access 

    Giacomo, Giuseppe De; Lembo, Domenico; Oriol Hilari, Xavier; Savo, Domenico Fabio; Teniente López, Ernest (Springer, 2017)
    Text en actes de congrés
    Accés obert
    Ontology-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 

    Estañol Lamarca, Montserrat; Mazuran, Mirjana; Oriol Hilari, Xavier; Tanca, Letizia; Teniente López, Ernest (CEUR-WS.org, 2017)
    Text en actes de congrés
    Accés obert
    Given 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 ...
  • Simplification of UML/OCL schemas for efficient reasoning 

    Oriol Hilari, Xavier; Teniente López, Ernest (2017-06-01)
    Article
    Accés restringit per política de l'editorial
    Ensuring 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 ...
  • TINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server 

    Oriol Hilari, Xavier; Teniente López, Ernest; Rull, Guillem (2016)
    Comunicació de congrés
    Accés obert
    We present TINTIN, a tool to perform efficient integrity checking of SQL assertions in SQL Server. TINTIN rewrites each assertion into a set of standard SQL queries that, given a set of insertions and deletions of tuples, ...
  • TINTIN : comprobación incremental de aserciones SQL 

    Oriol Hilari, Xavier; Teniente López, Ernest; Rull, Guillem (2016)
    Text en actes de congrés
    Accés obert
    Ninguno de los SGBD más populares del momento implementa aserciones SQL, obligando así a implementar manualmente su comprobación. Por ello, presentamos TINTIN: una aplicación que genera automáticamente el código SQL para ...
  • Updating DL-Lite ontologies through first-order queries 

    Giacomo, Giuseppe De; Oriol Hilari, Xavier; Rosati, Riccardo; Savo, Domenico Fabio (Springer, 2016)
    Text en actes de congrés
    Accés obert
    In this paper we study instance-level update in DL-LiteA, the description logic underlying the OWL 2 QL standard. In particular we focus on formula-based approaches to ABox insertion and deletion. We show that DL-LiteA, ...
  • Validation of Service Blueprint models by means of formal simulation techniques 

    Estañol Lamarca, Montserrat; Marcos, Esperanza; Oriol Hilari, Xavier; Pérez, Francisco J.; Teniente López, Ernest; Vara, Juan M. (Springer, 2017)
    Text en actes de congrés
    Accés obert
    As service design has gained interest in the last years, so has gained one of its primary tools: the Service Blueprint. In essence, a service blueprint is a graphical tool for the design of business models, specifically ...
  • Verificació i validació d'esquemes conceptuals UML/OCL amb operacions 

    Oriol Hilari, Xavier (Universitat Politècnica de Catalunya, 2012-06-14)
    Projecte/Treball Final de Carrera
    Accés obert
    En aquest projecte es construeix una eina per l'anàlisi d'esquemes conceptuals amb operacions basat en la reducció del problema a un problema de lògica de 1r ordre. A través d'uns tests predefinits i l'opció de definir-ne ...