• Determining the structural events that may violate an integrity constraint 

    Cabot, Jordi; Teniente López, Ernest (2004-07)
    Report de recerca
    Accés obert
    Any implementation of an information system must ensure that an operation is only applied if its execution does not lead to a violation of any of the integrity constraints defined in its conceptual schema. In this ...
  • 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, ...
  • Lightweight and static verification of UML executable models 

    Planas Hortal, Elena; Cabot, Jordi; Gómez Seoane, Cristina (2016-11)
    Article
    Accés restringit per política de l'editorial
    Executable models play a key role in many software development methods by facilitating the (semi)automatic implementation/execution of the software system under development. This is possible because executable models promote ...
  • 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) ...