Alf-Verifier: an eclipse plugin for verifying Alf/UML executable models

Authors:
Elena Planas;David Sanchez-Mendoza;Jordi Cabot;Cristina Gómez
Affiliations:
Universitat Oberta de Catalunya, Spain;Universitat Oberta de Catalunya, Spain;École des Mines de Nantes - INRIA, France;Universitat Politécnica de Catalunya, Spain
Venue:
ER'12 Proceedings of the 2012 international conference on Advances in Conceptual Modeling
Year:
2012

Citing 2
Cited 0

Executable UML: A Foundation for Model-Driven Architectures

Executable UML: A Foundation for Model-Driven Architectures
Lightweight verification of executable models

ER'11 Proceedings of the 30th international conference on Conceptual modeling

Quantified Score

Hi-index	0.00

Visualization

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.