Generating alternative representations for OCL integrity constraints

Inici | Què és? | Contacte

English | Castellano

Consultar RECERCAT

Per comunitats i
col·leccions Per data Per autors Per títols Per matèries

Consultar col·lecció

Per data Per autors Per títols Per matèries

Estadístiques

Del document Tot RECERCAT

El meu RECERCAT

Entrar Alertes per correu-e

Directori d’altres repositoris

Pàgina inicial del RECERCAT > Universitat Politècnica de Catalunya > Documents de recerca > Visualitza document

Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/2117/84189

dc.contributor	Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.contributor.author	Cabot, Jordi
dc.contributor.author	Teniente López, Ernest
dc.date	2005-04
dc.identifier.citation	Cabot, J., Teniente, E. "Generating alternative representations for OCL integrity constraints". 2005.
dc.identifier.uri	http://hdl.handle.net/2117/84189
dc.language.iso	eng
dc.relation	LSI-05-11-R
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
dc.subject	Integrity constraints
dc.subject	Conceptual schemas
dc.subject	UML
dc.subject	OCL
dc.title	Generating alternative representations for OCL integrity constraints
dc.type	info:eu-repo/semantics/publishedVersion
dc.type	info:eu-repo/semantics/report
dc.description.abstract	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.

Mostra el registre simple del document

Documents relacionats

Altres documents del mateix autor/a

Comprobación eficiente de restricciones de integridad en OCL

Cabot, Jordi; Teniente López, Ernest

Determining the structural events that may violate an integrity constraint

Cabot, Jordi; Teniente López, Ernest

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

Verifying action semantics specifications in UML behavioral models (Extended version)

Planas, Elena; Cabot, Jordi; Gómez Seoane, Cristina

Lightweight and static verification of UML executable models

Planas Hortal, Elena; Cabot, Jordi; Gómez Seoane, Cristina

Accessibilitat | Avís legal | Política de Cookies | Documents d'ús intern

Coordinació

Patrocini