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.date.accessioned2013-05-28T12:15:51Z
dc.date.available2014-01-01T03:16:02Z
dc.date.created2012
dc.date.issued2012
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.identifier.isbn978-3-642-34001-7
dc.identifier.urihttp://hdl.handle.net/2117/19429
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.language.isoeng
dc.publisherSpringer
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.identifier.doi10.1007/978-3-642-33999-8_44
dc.rights.accessOpen Access
drac.iddocument11111114
dc.description.versionPostprint (author’s final draft)
upcommons.citation.authorPlanas, E.; Sànchez, D.; Cabot, J.; Gomez, C.
upcommons.citation.contributorInternational Conference on Conceptual Modeling
upcommons.citation.pubplaceFirenze
upcommons.citation.publishedtrue
upcommons.citation.publicationNameConceptual Modeling - 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings
upcommons.citation.startingPage378
upcommons.citation.endingPage382


Files in this item

Thumbnail

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