Authors: Cristina Gómez, David Sanchez-Mendoza, Elena Planas, Jordi Cabot
Tags: 2012, conceptual modeling
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.Read the full paper here: https://link.springer.com/chapter/10.1007/978-3-642-33999-8_44
