Now showing items 21-28 of 28

    • Strict and extended interpretations of operation contracts in conceptual modeling 

      Queralt Calafat, Anna; Teniente López, Ernest (2005-05)
      External research report
      Open Access
      This paper describes two different ways of understanding operation contracts in conceptual modeling. The main difference between them lies in the way operation postconditions and integrity constraints are guaranteed, which ...
    • Towards DaaS 2.0: enriching data models 

      Marti Fraiz, Jonathan; Gasull, Daniel; Queralt Calafat, Anna; Cortés, Toni (Institute of Electrical and Electronics Engineers (IEEE), 2013)
      Conference report
      Open Access
      Current Data as a Service solutions present a lack of flexibility in terms of allowing users to customize the underlying data models by including new concepts or functionalities. Data providers either publish global APIs ...
    • 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)
      Conference report
      Restricted access - publisher's policy
      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)
      External research report
      Open Access
      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 UML conceptual schemas with OCL constraints and operations 

      Queralt Calafat, Anna (Universitat Politècnica de Catalunya, 2009-03-02)
      Doctoral thesis
      Open Access
      Per tal de garantir la qualitat final d'un sistema d'informació, és imprescindible que l'esquema conceptual que representa el coneixement sobre el seu domini i les funcions que ha de realitzar sigui semànticament ...
    • Validation of UML conceptual schemas with operations 

      Queralt Calafat, Anna; Teniente López, Ernest (2007-04)
      External research report
      Open Access
      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 ...
    • Verification and validation of UML conceptual schemas with OCL constraints 

      Queralt Calafat, Anna; Teniente López, Ernest (2012)
      Article
      Restricted access - publisher's policy
      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 ...
    • Workflow environments for advanced cyberinfrastructure platforms 

      Badia Sala, Rosa Maria; Ejarque Artigas, Jorge; Lordan Gomis, Francesc; Lezzi, Daniele; Conejero Bañón, Javier; Álvarez Cid-Fuentes, Javier; Becerra Fontal, Yolanda; Queralt Calafat, Anna (Institute of Electrical and Electronics Engineers (IEEE), 2019)
      Conference report
      Open Access
      Progress in science is deeply bound to the effective use of high-performance computing infrastructures and to the efficient extraction of knowledge from vast amounts of data. Such data comes from different sources that ...