Ara es mostren els items 1-19 de 19

  • A platform independent model for the electronic marketplace domain 

    Queralt Calafat, Anna; Teniente López, Ernest (2005-04)
    Report de recerca
    Accés obert
    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)
    Report de recerca
    Accés obert
    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)
    Text en actes de congrés
    Accés obert
    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)
    Comunicació de congrés
    Accés restringit per política de l'editorial
    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
    Accés obert
    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 ...
  • 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)
    Report de recerca
    Accés obert
    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)
    Report de recerca
    Accés obert
    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)
    Report de recerca
    Accés obert
    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 ...
  • 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 ...
  • Reasoning on UML class diagrams with OCL constraints 

    Queralt Calafat, Anna; Teniente López, Ernest (2006-04)
    Report de recerca
    Accés obert
    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)
    Capítol de llibre
    Accés obert
    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)
    Report de recerca
    Accés obert
    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 ...
  • Strict and extended interpretations of operation contracts in conceptual modeling 

    Queralt Calafat, Anna; Teniente López, Ernest (2005-05)
    Report de recerca
    Accés obert
    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)
    Text en actes de congrés
    Accés obert
    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)
    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 UML conceptual schemas with OCL constraints and operations 

    Queralt Calafat, Anna (Universitat Politècnica de Catalunya, 2009-03-02)
    Tesi
    Accés obert
    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)
    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 ...
  • 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 ...