Please use this identifier to cite or link to this item:

http://hdl.handle.net/10609/77968
Full metadata record
DC FieldValueLanguage
dc.contributor.authorPlanas Hortal, Elena-
dc.contributor.authorCabot Sagrera, Jordi-
dc.contributor.authorGómez Seoane, Cristina-
dc.contributor.otherUniversitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3)-
dc.contributor.otherUniversitat Politècnica de Catalunya-
dc.date.accessioned2018-05-14T09:16:09Z-
dc.date.available2018-05-14T09:16:09Z-
dc.date.issued2016-11-01-
dc.identifier.citationPlanas Hortal, E., Cabot, J. & Gómez, C. (2016). Lightweight and Static Verification of UML Executable Models. Computer Languages, Systems and Structures, 46(), 66-90. doi: 10.1016/j.cl.2016.07.002-
dc.identifier.issn1477-8424MIAR
-
dc.identifier.urihttp://hdl.handle.net/10609/77968-
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.en
dc.format.mimetypeapplication/pdf-
dc.language.isoeng-
dc.publisherComputer Languages, Systems & Structures-
dc.relation.ispartofComputer Languages, Systems & Structures, 2016, 46-
dc.relation.urihttps://doi.org/10.1016/j.cl.2016.07.002-
dc.rightsCC BY-NC-ND-
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/-
dc.subjectmodel-driven developmenten
dc.subjectmodel-driven architectureen
dc.subjectexecutable modelsen
dc.subjectverificationen
dc.subjectstatic analysisen
dc.subjectAlfen
dc.subjectdesarrollo basado en modeloses
dc.subjectdesenvolupament basat en modelsca
dc.subjectarquitectura dirigida per modelsca
dc.subjectarquitectura dirigida por modeloses
dc.subjectmodels executablesca
dc.subjectmodelos ejecutableses
dc.subjectverificacióca
dc.subjectverificaciónes
dc.subjectanálisis estáticoes
dc.subjectanàlisi estàticaca
dc.subjectAlfca
dc.subjectAlfes
dc.subject.lcshComputer software -- Developmenten
dc.titleLightweight and static verification of UML executable modelsen
dc.typeinfo:eu-repo/semantics/article-
dc.typeinfo:eu-repo/semantics/submittedVersion-
dc.subject.lemacProgramari -- Desenvolupamentca
dc.subject.lcshesSoftware -- Desarrolloes
dc.rights.accessRightsinfo:eu-repo/semantics/openAccess-
dc.identifier.doi10.1016/j.cl.2016.07.002-
Appears in Collections:Articles
Articles

Files in This Item:
File Description SizeFormat 
PlanasEtAl_COMLAN_PrePrint.pdf1.89 MBAdobe PDFView/Open

This item is licensed under a Creative Commons License Creative Commons