Exploració per autor "Franconi, Enrico"
Ara es mostren els items 1-2 de 2
-
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'editorialIn 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 ... -
OCLFO: first-order expressive OCL constraints for efficient integrity checking
Franconi, Enrico; Mosca, Alessandro; Oriol Hilari, Xavier; Rull, Guillem; Teniente López, Ernest (2019-08)
Article
Accés obertOCL is the standard language for defining constraints in UML class diagrams. Unfortunately, as we show in this paper, full OCL is so expressive that it is not possible to check general OCL constraints efficiently. In ...