• Generating alternative representations for OCL integrity constraints 

    Cabot, Jordi; Teniente López, Ernest (2005-04)
    Report de recerca
    Accés obert
    Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL language. However, due to the high expressiveness of the ...
  • Handling non-functional requirements in Model-Driven Development : an ongoing industrial survey 

    Ameller, David; Franch Gutiérrez, Javier; Gómez Seoane, Cristina; Araújo, João; Berntsson Svenssonz, Richard; Biffl, Stefan; Cabot, Jordi; Cortellesa, Vittorio; Daneva, Maya; Mendez Fernández, Daniel; Moreira, Ana; Muccini, Henry; Vallecillo, Antonio; Wimmer, Manuel; Amaral, Vasco; Brunelière, Hugo; Brugueño, Loli; Goulao, Miguel; Schätz, Bernhard; Teufl, Sabine (2015)
    Text en actes de congrés
    Accés obert
    Model-Driven Development (MDD) is no longer a novel development paradigm. It has become mature from a research perspective and recent studies show its adoption in industry. Still, some issues remain a challenge. Among them, ...
  • Verifying action semantics specifications in UML behavioral models (Extended version) 

    Planas, Elena; Cabot, Jordi; Gómez Seoane, Cristina (2009-03)
    Report de recerca
    Accés obert
    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) ...