Browsing by Author "Cabot, Jordi"

Now showing items 1-8 of 8

    • Comprobación eficiente de restricciones de integridad en OCL 

      Cabot, Jordi; Teniente López, Ernest (2007)
      Conference report
      Open Access
      El proceso de comprobación de restricciones tiene como objetivo asegurar que el estado del sistema de información es consistente con las restricciones de integridad. La comprobación tiene que repetirse cada vez que el ...

    • Determining the structural events that may violate an integrity constraint 

      Cabot, Jordi; Teniente López, Ernest (2004-07)
      Research report
      Open Access
      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)
      Research report
      Open Access
      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)
      Conference report
      Open Access
      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
      Open Access
      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)
      Research report
      Open Access
      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) ...

    • Water distribution network model calibration and continuous maintenance: Terrassa, a real application 

      Pérez Magrané, Ramon; Cugueró Escofet, Josep; Romera Formiguera, Juli; Eeckhout Alsinet, Joan van; Cabot, Jordi; Franch, Òscar (OmniaScience, 2021-03)
      Conference report
      Open Access

    • Water distribution network model calibration and continuous maintenance: Terrassa, a real application 

      Pérez Magrané, Ramon; Cugueró Escofet, Josep; Romera Formiguera, Juli; Eeckhout Alsinet, Joan van; Cabot, Jordi; Franch, Òscar (Academic Star Publishing Company, 2021-12-11)
      Article
      Restricted access - publisher's policy
      The WDN model calibration has been and it still is a research area of interest [1]. This process has been well studied and the different steps required were already established. The availability of more and more data ...