|
Title:
|
Alf-verifier: an Eclipse plugin for verifying Alf/UML executable models
|
|
Author:
|
Planas Hortal, Elena; Sànchez Mendoza, David; Cabot Sagrera, Jordi; Gómez Seoane, Cristina
|
|
Other authors:
|
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. |
|
Subject(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) |
|
Rights:
|
|
|
Document type:
|
Article - Submitted version
Conference Object |
|
Published by:
|
Springer
|
|
Share:
|
|
