Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata
Contributor : Elena Planas Connect in order to contact the contributor
Submitted on : Sunday, September 23, 2012 - 8:01:29 PM
Last modification on : Wednesday, April 27, 2022 - 4:16:10 AM
Long-term archiving on: : Monday, December 24, 2012 - 3:50:17 AM


  • HAL Id : hal-00734573, version 1


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⟩



Record views


Files downloads