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

Consultar RECERCAT

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

Títol:	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
Altres autors:	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.
Matèries:	-À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)
Drets:
Tipus de document:	Article - Versió presentada Objecte de conferència
Publicat per:	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ó

Patrocini