Now showing items 1-1 of 1

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