Now showing items 1-6 of 6

  • 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 ...
  • 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 ...
  • 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 ...
  • Towards DaaS 2.0: enriching data models 

    Marti Fraiz, Jonathan; Gasull, Daniel; Queralt Calafat, Anna; Cortés Rosselló, Antonio (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 ...
  • Validation of UML conceptual schemas with OCL constraints and operations 

    Queralt Calafat, Anna (Universitat Politècnica de Catalunya, 2009-03-02)
    Doctoral thesis
  • 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 ...