Alf-verifier: an Eclipse plugin for verifying Alf/UML executable models
Visualitza/Obre
10.1007/978-3-642-33999-8_44
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/19429
Tipus de documentText en actes de congrés
Data publicació2012
EditorSpringer
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
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.
CitacióPlanas, E. [et al.]. Alf-verifier: an Eclipse plugin for verifying Alf/UML executable models. A: International Conference on Conceptual Modeling. "Conceptual Modeling - 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings". Firenze: Springer, 2012, p. 378-382.
ISBN978-3-642-34001-7
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
DemoER2012_final.pdf | Article demo ER 12 | 237,6Kb | Visualitza/Obre |