Exploració per tema "Object Constraint Language"

Ara es mostren els items 1-2 de 2

    • Incremental checking of OCL constraints through SQL queries 

      Oriol Hilari, Xavier; Teniente López, Ernest (2014)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      We propose a new method for efficiently checking OCL constraints by means of SQL queries. That is, an OCL constraint is satisfied if its corresponding SQL query returns the empty set. Such queries are computed in an ...

    • Logic foundations of the OCL modelling language 

      Franconi, Enrico; Mosca, Alessandro; Oriol Hilari, Xavier; Rull, Guillem; Teniente López, Ernest (Springer, 2014)
      Comunicació de congrés
      Accés restringit per política de l'editorial
      In this paper we define the first-order fragment of the Object Constraint Language (OCL), the declarative language for describing rules that apply to conceptual schemas in the Unified Modelling Language (UML). This fragment ...