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