Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Verification and validation of UML conceptual schemas with OCL constraints

Autor
Queralt, A.; Teniente, E.
Tipus d'activitat
Article en revista
Revista
ACM transactions on software engineering and methodology
Data de publicació
2012
Volum
21
Número
2
Pàgina inicial
1
Pàgina final
41
DOI
https://doi.org/10.1145/2089116.2089123 Obrir en finestra nova
Repositori
http://hdl.handle.net/2117/16209 Obrir en finestra nova
URL
http://dl.acm.org/citation.cfm?doid=2089116.2089123 Obrir en finestra nova
Resum
To ensure the quality of an information system, it is essential that the conceptual schema that represents the knowledge about its domain is semantically correct. The semantic correctness of a conceptual schema can be seen from two different perspectives. On the one hand, from the point of view of its definition, a conceptual schema must be right. This is ensured by means of verification techniques that check whether the schema satisfies several correctness properties. On the other hand, from t...
Citació
Queralt, A.; Teniente, E. Verification and validation of UML conceptual schemas with OCL constraints. "ACM transactions on software engineering and methodology", 2012, vol. 21, núm. 2, p. 1-41.
Grup de recerca
IMP - Information Modeling and Processing

Participants