To access the full text documents, please follow this link: http://hdl.handle.net/2117/84189

Generating alternative representations for OCL integrity constraints
Cabot, Jordi; Teniente López, Ernest
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
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 OCL, the designer has different syntactic alternatives to express each IC. In the context of the MDA, the choice of a particular definition has a direct effect on the efficiency of the automatically generated implementation. The method presented in this paper assists the designer during the definition of ICs by means of generating equivalent alternatives for the initially defined constraints. Our method can also be applied to help in the detection of equivalent (redundant) constraints and as a tool to facilitate the learning of the OCL.
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
Integrity constraints
Conceptual schemas
UML
OCL
info:eu-repo/semantics/publishedVersion
Report
         

Show full item record

Related documents

Other documents of the same author

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
Queralt Calafat, Anna; Rull Fort, Guillem; Teniente López, Ernest; Farré Tost, Carles; Urpí Tubella, Antoni
Rull Fort, Guillem; Bernstein, Philip A.; Garcia dos Santos, Ivo; Katsis, Yannis; Melnik, Sergey; Teniente López, Ernest
Brucker, Achim D.; Clark, Tony; Dania, Carolina; Georg, Geri; Gogolla, Martin; Jouault, Frederic; Teniente López, Ernest; Wolff, Burkhart
Estañol Lamarca, Montserrat; Sancho Samsó, María Ribera; Teniente López, Ernest
 

Coordination

 

Supporters