Show simple item record

dc.contributor.authorPlanas Hortal, Elena
dc.contributor.authorSànchez Mendoza, David
dc.contributor.authorCabot Sagrera, Jordi
dc.contributor.authorGómez Seoane, Cristina
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació
dc.identifier.citationPlanas, 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.
dc.description.abstractIn 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.
dc.format.extent5 p.
dc.subjectÀrees temàtiques de la UPC::Informàtica::Sistemes d'informació
dc.subject.lcshUML (Computer science)
dc.subject.otherAction language
dc.subject.otherClass diagrams
dc.subject.otherDesign time
dc.subject.otherEclipse plugin
dc.subject.otherExecutable model
dc.subject.otherIntegrity constraints
dc.titleAlf-verifier: an Eclipse plugin for verifying Alf/UML executable models
dc.typeConference report
dc.subject.lemacUML (Informàtica)
dc.contributor.groupUniversitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació
dc.rights.accessOpen Access
dc.description.versionPostprint (author’s final draft)
local.citation.authorPlanas, E.; Sànchez, D.; Cabot, J.; Gomez, C.
local.citation.contributorInternational Conference on Conceptual Modeling
local.citation.publicationNameConceptual Modeling - 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings

Files in this item


This item appears in the following Collection(s)

Show simple item record

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder