Now showing items 1-1 of 1

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

    Queralt A; Artale A; Calvanese D; Teniente E (, 2012)
    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 ...