Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/24883
Título:
|
Fixing up non-executable operations in UML/OCL conceptual schemas
|
Autor/a:
|
Oriol Hilari, Xavier; Teniente López, Ernest; Tort, Albert
|
Otros autores:
|
Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació; Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació |
Abstract:
|
An operation is executable if there is at least one information base in which its preconditions hold and such that the new information base obtained from applying its postconditions satisfies all the integrity constraints. A non-executable operation is useless since it may never be applied. Therefore, identifying non-executable operations and fixing up their definition is a relevant task that should be performed as early as possible in software development. We address this problem in the paper by proposing an algorithm to automatically compute the missing effects in postconditions that would ensure the executability of the operation. |
Abstract:
|
Peer Reviewed |
Materia(s):
|
-Àrees temàtiques de la UPC::Informàtica::Enginyeria del software -Conceptual modeling -Conceptual schema -UML |
Derechos:
|
|
Tipo de documento:
|
Artículo - Versión publicada Objeto de conferencia |
Editor:
|
Springer
|
Compartir:
|
|
Mostrar el registro completo del ítem