Browsing by Author "Queralt Calafat, Anna"Més informació

Now showing items 1-20 of 28

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

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

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

    • CAPre: Code-Analysis based Prefetching for Persistent object stores 

      Touma, Rizkallah; Queralt Calafat, Anna; Cortés, Toni (Elsevier, 2019-11-12)
      Article
      Restricted access - publisher's policy
      Data prefetching aims to improve access times to data storage systems by predicting data records that are likely to be accessed by subsequent requests and retrieving them into a memory cache before they are needed. In the ...

    • Dataclay: A distributed data store for effective inter-player data sharing 

      Marti Fraiz, Jonathan; Queralt Calafat, Anna; Gasull Moreira, Daniel; Barceló Cuerda, Alex; Costa Prats, Juan José; Cortés, Toni (2017-09-01)
      Article
      Open Access
      In the Big Data era, both the academic community and industry agree that a crucial point to obtain the maximum benefits from the explosive data growth is integrating information from different sources, and also combining ...

    • EU-Rent as an artifact-centric process model: technical report 

      Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest (2012-09-20)
      External research report
      Open Access
      Business process modeling using an artifact-centric approach has raised a significant interest over the last few years. This approach is usually stated in terms of the BALSA framework which defi nes the four dimensions ...

    • EU-Rent car rentals specification 

      Frias, Leonor; Queralt Calafat, Anna; Olivé Ramon, Antoni (2003-12)
      External research report
      Open Access
      EU-Rent is a widely known case study being promoted as a basis for demonstration of product capabilities. However, no in-depth case analysis neither specification has been developed. Therefore, it was considered ...

    • Facilitating the definition of general constraints in UML (extended version) 

      Costal Costa, Dolors; Gómez Seoane, Cristina; Queralt Calafat, Anna; Raventós Pagès, Ruth; Teniente López, Ernest (2006-04)
      External research report
      Open Access
      One important aspect in the specification of conceptual schemas is the definition of general constraints that cannot be expressed by the predefined constructs provided by conceptual modeling languages. In general this is ...

    • Fusing storage and computing for the domain of business intelligence and analytics: research opportunities 

      Queralt Calafat, Anna; Marti Fraiz, Jonathan; Baars, Henning; Brinkmann, Andre; Cortés, Toni (Institute of Electrical and Electronics Engineers (IEEE), 2015)
      Conference report
      Restricted access - publisher's policy
      With the growing importance of external and shared data, the set of requirements for Business Intelligence and Analytics (BIA) is shifting. Current solutions still come with shortcomings, esp. In multi-stakeholder environments ...

    • Machine Learning-based Query Augmentation for SPARQL Endpoints 

      Rico, Mariano; Touma, Rizkallah; Queralt Calafat, Anna; Pérez, María S. (2018)
      Conference lecture
      Open Access
      Linked Data repositories have become a popular source of publicly-available data. Users accessing this data through SPARQL endpoints usually launch several restrictive yet similar consecutive queries, either to find the ...

    • mF2C: Towards a coordinated management of the IoT-fof-cloud continuum 

      Masip Bruin, Xavier; Marín Tordera, Eva; Juan Ferrer, Ana; Queralt Calafat, Anna; Jukan, Admela; García Almiñana, Jordi; Lezzi, Daniele; Jensen, Jens; Cordeiro, Cristovao; Leckey, Alexander; Salis, Antonio; Guilhot, Denis; Cankar, Matic (ACM, 2018)
      Conference report
      Open Access
      Fog computing enables location dependent resource allocation and low latency services, while fostering novel market and business opportunities in the cloud sector. Aligned to this trend, we refer to Fog-tocloud (F2C) ...

    • OCL-Lite: a decidable (yet expressive) fragment of OCL 

      Queralt Calafat, Anna; Artale, Alessandro; Calvanese, Diego; Teniente López, Ernest (2012)
      Conference report
      Open Access
      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 ...

    • On the semantics of operation contracts in conceptual modeling 

      Queralt Calafat, Anna; Teniente López, Ernest (2004-04)
      External research report
      Open Access
      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, ...

    • Predicting access to persistent objects through static code analysis 

      Touma, Rizkallah; Queralt Calafat, Anna; Cortés, Toni; Pérez Hernandez, María S. (Springer, 2017)
      Conference report
      Open Access
      In this paper, we present a fully-automatic, high-accuracy approach to predict access to persistent objects through static code analysis of object-oriented applications. The most widely-used previous technique uses a simple ...

    • PyCOMPSs: Parallel computational workflows in Python 

      Tejedor, Enric; Becerra Fontal, Yolanda; Alomar, Guillem; Queralt Calafat, Anna; Badia, Rosa M.; Torres Viñals, Jordi; Cortés, Toni; Labarta Mancho, Jesús José (2017-01-01)
      Article
      Open Access
      The use of the Python programming language for scientific computing has been gaining momentum in the last years. The fact that it is compact and readable and its complete set of scientific libraries are two important ...

    • Reasoning on UML class diagrams with OCL constraints 

      Queralt Calafat, Anna; Teniente López, Ernest (2006-04)
      External research report
      Open Access
      We propose a new approach to check whether a given UML class diagram with its OCL integrity constraints satisfies a set of desirable properties such as schema satisfiability, class liveliness, redundancy of integrity ...

    • Specifying artifact-centric business process models in UML 

      Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest (Springer, 2015-04-01)
      Part of book or chapter of book
      Open Access
      In recent years, the artifact-centric approach to process mod- eling has attracted a lot of attention. One of the research lines in this area is finding a suitable way to represent the dimensions in this approach. Bearing ...

    • Specifying artifact-centric business process models in UML: technical report 

      Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest (2015-05-19)
      External research report
      Open Access
      In recent years, the artifact-centric approach to process modeling has attracted a lot of attention. One of the research lines in this area is finding a suitable way to represent the dimensions in this approach. Bearing ...