Alf-verifier: an Eclipse plugin for verifying Alf/UML executable models

Consultar RECERCAT

Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/19429

Título:	Alf-verifier: an Eclipse plugin for verifying Alf/UML executable models
Autor/a:	Planas Hortal, Elena; Sànchez Mendoza, David; Cabot Sagrera, Jordi; Gómez Seoane, Cristina
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:	In this demonstration we present an Eclipse plugin that implements a lightweight method for verifying fine-grained operations at design time. This tool suffices to check that the execution of the operations (specified in Alf Action Language) is consistent with the integrity constraints defined in the class diagram (specified in UML) and returns a meaningful feedback that helps correcting them otherwise.
Materia(s):	-Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació -UML (Computer science) -Action language -Class diagrams -Design time -Eclipse plugin -Executable model -Integrity constraints -UML (Informàtica)
Derechos:
Tipo de documento:	Artículo - Versión presentada Objeto de conferencia
Editor:	Springer
Compartir:

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

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

Planas Hortal, Elena; Cabot Sagrera, Jordi; Gómez, C.

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

Cabot Sagrera, Jordi; Gómez Seoane, Cristina

Coordinación

Patrocinio