Alf-verifier: An Eclipse Plugin for Verifying Alf/UML Executable Models - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Alf-verifier: An Eclipse Plugin for Verifying Alf/UML Executable Models

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.
Fichier principal
Vignette du fichier
cameraReadyVersion_ER2012Demo.pdf (356.68 Ko) Télécharger le fichier
PosterER2012_finalVersion.pdf (1.13 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Format : Other

Dates and versions

hal-00734573 , version 1 (23-09-2012)

Identifiers

  • HAL Id : hal-00734573 , version 1

Cite

Elena Planas, David Sanchez-Mendoza, Jordi Cabot, Cristina Gómez. Alf-verifier: An Eclipse Plugin for Verifying Alf/UML Executable Models. 31st International Conference on Conceptual Modeling (ER Workshops 2012), Oct 2012, Florence, Italy. ⟨hal-00734573⟩
231 View
447 Download

Share

Gmail Facebook X LinkedIn More