Show simple item record

dc.contributor.authorPlanas Hortal, Elena
dc.contributor.authorCabot, 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.accessioned2017-01-17T08:16:48Z
dc.date.available2018-11-30T01:30:15Z
dc.date.issued2016-11
dc.identifier.citationPlanas, E., Cabot, J., Gómez, C. Lightweight and static verification of UML executable models. "Computer languages, systems & structures", Novembre 2016, vol. 46, p. 66-90.
dc.identifier.issn1477-842
dc.identifier.urihttp://hdl.handle.net/2117/99390
dc.description.abstractExecutable models play a key role in many software development methods by facilitating the (semi)automatic implementation/execution of the software system under development. This is possible because executable models promote a complete and fine-grained specification of the system behaviour. In this context, where models are the basis of the whole development process, the quality of the models has a high impact on the final quality of software systems derived from them. Therefore, the existence of methods to verify the correctness of executable models is crucial. Otherwise, the quality of the executable models (and in turn the quality of the final system generated from them) will be compromised. In this paper a lightweight and static verification method to assess the correctness of executable models is proposed. This method allows us to check whether the operations defined as part of the behavioural model are able to be executed without breaking the integrity of the structural model and returns a meaningful feedback that helps repairing the detected inconsistencies.
dc.format.extent25 p.
dc.language.isoeng
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.subjectÀrees temàtiques de la UPC::Informàtica::Enginyeria del software
dc.subject.lcshComputer software -- Verification
dc.subject.lcshComputer sowtfare -- Quality control
dc.subject.otherModel-driven development (MDD)
dc.subject.otherModel-driven architecture (MDA)
dc.subject.otherExecutable models
dc.subject.otherVerification
dc.subject.otherStatic analysis
dc.subject.otherAlf action language
dc.titleLightweight and static verification of UML executable models
dc.typeArticle
dc.subject.lemacProgramari -- Verificació
dc.subject.lemacProgramari -- Control de qualitat
dc.contributor.groupUniversitat Politècnica de Catalunya. inSSIDE - integrated Software, Service, Information and Data Engineering
dc.identifier.doi10.1016/j.cl.2016.07.002
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttp://www.sciencedirect.com/science/article/pii/S1477842415300361
dc.rights.accessOpen Access
local.identifier.drac19376454
dc.description.versionPostprint (author's final draft)
local.citation.authorPlanas, E.; Cabot, J.; Gómez, C.
local.citation.publicationNameComputer languages, systems & structures
local.citation.volume46
local.citation.startingPage66
local.citation.endingPage90


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivs 3.0 Spain
Except where otherwise noted, content on this work is licensed under a Creative Commons license : Attribution-NonCommercial-NoDerivs 3.0 Spain