Exploració per autor "Teniente López, Ernest"Més informacióMés informació

Ara es mostren els items 90-103 de 103

    • Una anàlisi d'Excelerator/IS com a eina per a especificar sistemes d'informació 

      Grané Mora, Jaume; Selfa, V; Teniente López, Ernest (Asociación de Técnicos de Informática, 1993-09)
      Article
      Accés obert

    • Updating knowledge bases while maintaining their consistency 

      Teniente López, Ernest; Olivé Ramon, Antoni (1994-04)
      Report de recerca
      Accés obert
      In this paper we propose a new method for updating knowledge bases while maintaining their consistency. Our method can be used for integrity constraints maintenance, view updating, and their combination. It can also be ...

    • UQJG: Identifying transactions that collaborate to violate an SQL assertion 

      Koppelaars, Toon; Oriol Hilari, Xavier; Teniente López, Ernest; Curto Pasinello, Sergi; Pujol, Eduard (Association for Computing Machinery (ACM), 2021)
      Text en actes de congrés
      Accés obert
      An SQL assertion is a declarative statement about data that must always be satisfied in any database state. Assertions were introduced in the SQL92 standard but no commercial DBMS has implemented them so far. Some approaches ...

    • Using UML to specify artifact-centric business process models 

      Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest (SciTePress, 2014)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      Business process modeling using an artifact-centric approach has raised a significant interest over the last few years. One of the research challenges in this area is looking for different approaches to represent all the ...

    • Validating UML schemas with OCL constraints and operations 

      Queralt Calafat, Anna; Teniente López, Ernest (2008-07)
      Report de recerca
      Accés obert
      A conceptual schema specifies the relevant information about the domain, and how this information changes as a result of the execution of operations. The purpose of validating a conceptual schema is to check whether it ...

    • Validation of mappings between schemas 

      Rull, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni (2007-06)
      Report de recerca
      Accés obert
      Mappings between schemas are key elements in several contexts such as data exchange, data integration, peer data management systems, etc. In all these contexts, the process of designing a mapping requires the participation ...

    • Validation of schema mappings with nested queries 

      Rull Fort, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni (2012-10-11)
      Report de recerca
      Accés obert
      With the emergence of the Web and the wide use of XML for representing data, the ability to map not only flat relational but also nested data has become crucial. The design of schema mappings is a semi-automatic process. ...

    • 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 ...

    • Validation of UML conceptual schemas with operations 

      Queralt Calafat, Anna; Teniente López, Ernest (2007-04)
      Report de recerca
      Accés obert
      The purpose of validating a conceptual schema is to guarantee that it properly reflects what the user needs from an application. This task is not fully formalizable, so it is desirable to provide the designer with a set ...

    • Verifiable UML artifact-centric business process models 

      Calvanese, Diego; Montali, Marco; Estañol Lamarca, Montserrat; Teniente López, Ernest (ACM, 2014)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      Artifact-centric business process models have gained increasing momentum recently due to their ability to combine structural (i.e., data related) with dynamical (i.e., process related)aspects. In particular, two main lines ...

    • Verifiable UML artifact-centric business process models (Extended Version) 

      Calvanese, Diego; Montali, Marco; Estañol Lamarca, Montserrat; Teniente López, Ernest (2014-08-21)
      Report de recerca
      Accés obert
      Artifact-centric business process models have gained increasing momentum recently due to their ability to combine structural (i.e., data related) with dynamical (i.e., process related) aspects. In particular, two main lines ...

    • Verification and validation of UML artifact-centric business process models 

      Estañol Lamarca, Montserrat; Sancho Samsó, María Ribera; Teniente López, Ernest (Springer, 2015)
      Text en actes de congrés
      Accés obert
      This paper presents a way of checking the correctness of artifact-centric business process models defined using the BAUML framework. To ensure that these models are free of errors, we propose an approach to verify (i.e. ...

    • Verification and validation of UML conceptual schemas with OCL constraints 

      Queralt Calafat, Anna; Teniente López, Ernest (2012)
      Article
      Accés restringit per política de l'editorial
      To ensure the quality of an information system, it is essential that the conceptual schema that represents the knowledge about its domain is semantically correct. The semantic correctness of a conceptual schema can be seen ...

    • XYZ Monitor: IoT monitoring of infrastructures using microservices 

      Vila Gómez, Marc; Sancho Samsó, María Ribera; Teniente López, Ernest (Springer, 2020)
      Text en actes de congrés
      Accés obert
      One of the main features of the Internet of Things (IoT) is the ability to collect data from everywhere, convert this data into knowledge, and then use this knowledge to monitor about an undesirable situation. Monitoring ...