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.
Type de document :
Communication dans un congrès
31st International Conference on Conceptual Modeling (ER Workshops 2012), Oct 2012, Florence, Italy. 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00734573
Contributeur : Elena Planas <>
Soumis le : dimanche 23 septembre 2012 - 20:01:29
Dernière modification le : vendredi 22 juin 2018 - 09:28:07
Document(s) archivé(s) le : lundi 24 décembre 2012 - 03:50:17

Identifiants

  • HAL Id : hal-00734573, version 1

Citation

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. 2012. 〈hal-00734573〉

Partager

Métriques

Consultations de la notice

427

Téléchargements de fichiers

452