Now showing items 12-13 of 13

  • Transformation techniques for OCL constraints 

    Cabot Sagrera, Jordi; Teniente López, Ernest (2006-09)
    External research report
    Open Access
    Constraints play a key role in the definition of conceptual schemas. In the UML, constraints are usually specified by means of invariants written in the OCL. However, due to the high expressiveness of the OCL, the designer ...
  • Verifying action semantics specifications in UML behavioral models 

    Planas Hortal, Elena; Cabot Sagrera, Jordi; Gómez Seoane, Cristina (Springer Verlag, 2009)
    Conference report
    Restricted access - publisher's policy
    MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment. With this purpose, Action Semantics (AS) ...