Alf-verifier: An Eclipse Plugin for Verifying Alf/UML Executable Models - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2012

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

Résumé

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.

Domaines

Génie logiciel [cs.SE]
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
Origine Fichiers produits par l'(les) auteur(s)
Format Autre

Elena Planas  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00734573

Soumis le : dimanche 23 septembre 2012-20:01:29

Dernière modification le : mardi 17 septembre 2024-15:58:13

Archivage à long terme le : lundi 24 décembre 2012-03:50:17

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : hal-00734573 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS INRIA LINA LINA-ATLANMOD INFO INRIA2 LS2N IMT-ATLANTIQUE NANTES-UNIVERSITE INSTITUT-MINES-TELECOM
243 Consultations
457 Téléchargements

Partager

More