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

Ara es mostren els items 52-71 de 103

    • 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 obert
      This 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 obert
      Poverty 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 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 ...

    • 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'editorial
      The 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 obert
      Efforts 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'editorial
      Schema 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 obert
      UML 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 obert
      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: ...

    • 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 obert
      There 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 obert
      This 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 obert
      Data 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 obert
      During 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 ...

    • Potenciació del Moodle per a donar suport a l'aprenentatge semi-presencial 

      Abelló Gamazo, Alberto; Urpí Tobella, Antoni; Rodríguez, Elena; Burgués Illa, Xavier; Quer, Carme; Casany Guerrero, María José; Martín Escofet, Carme; Teniente López, Ernest; Muñoz, Jorge; Munné, Enric (2009-02-12T12:05:55Z)
      Text en actes de congrés
      Accés obert
      L’objectiu general del projecte era permetre que els alumnes preparessin les sessions de pràctiques amb antelació i de forma autònoma i fomentar que reintentessin els exercicis permetent-los millorar les seves qualificacions. ...

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

    • Providing explanations for database schema validation 

      Rull Fort, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 2008-04-14)
      Report de recerca
      Accés obert
      We propose a new method for database schema validation that provides an explanation when it determines that a certain desirable property of a database schema does not hold. Explanations are required to give the designer a ...

    • Query containment checking as a view updating problem 

      Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni (1998-06)
      Report de recerca
      Accés obert
      In this paper we present a new approach that handles query containment problems by expressing them as a view updating problem. Since this approach is independent of any particular view updating method, it provides a ...

    • Query containment in entity SQL 

      Rull Fort, Guillem; Bernstein, Philip A.; Garcia dos Santos, Ivo; Katsis, Yannis; Melnik, Sergey; Teniente López, Ernest (2013)
      Comunicació de congrés
      Accés restringit per política de l'editorial
      We describe a software architecture we have developed for a constructive containment checker of Entity SQL queries defined over extended ER schemas expressed in Microsoft's Entity Data Model. Our application of interest ...