Empreu aquest identificador per citar o enllaçar aquest ítem:
http://hdl.handle.net/10609/77968
Registre complet de metadades
Camp DC | Valor | Llengua/Idioma |
---|---|---|
dc.contributor.author | Planas, Elena | - |
dc.contributor.author | Cabot, Jordi | - |
dc.contributor.author | Gómez Seoane, Cristina | - |
dc.contributor.other | Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3) | - |
dc.contributor.other | Universitat Politècnica de Catalunya (UPC) | - |
dc.date.accessioned | 2018-05-14T09:16:09Z | - |
dc.date.available | 2018-05-14T09:16:09Z | - |
dc.date.issued | 2016-11-01 | - |
dc.identifier.citation | Planas 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.issn | 1477-8424MIAR | - |
dc.identifier.uri | http://hdl.handle.net/10609/77968 | - |
dc.description.abstract | Executable 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.language.iso | eng | - |
dc.publisher | Computer Languages, Systems & Structures | - |
dc.relation.ispartof | Computer Languages, Systems & Structures, 2016, 46 | - |
dc.relation.uri | https://doi.org/10.1016/j.cl.2016.07.002 | - |
dc.rights | CC BY-NC-ND | - |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ | - |
dc.subject | model-driven development | en |
dc.subject | model-driven architecture | en |
dc.subject | executable models | en |
dc.subject | verification | en |
dc.subject | static analysis | en |
dc.subject | Alf | en |
dc.subject | desarrollo basado en modelos | es |
dc.subject | desenvolupament basat en models | ca |
dc.subject | arquitectura dirigida per models | ca |
dc.subject | arquitectura dirigida por modelos | es |
dc.subject | models executables | ca |
dc.subject | modelos ejecutables | es |
dc.subject | verificació | ca |
dc.subject | verificación | es |
dc.subject | análisis estático | es |
dc.subject | anàlisi estàtica | ca |
dc.subject | Alf | ca |
dc.subject | Alf | es |
dc.subject.lcsh | Computer software -- Development | en |
dc.title | Lightweight and static verification of UML executable models | en |
dc.type | info:eu-repo/semantics/article | - |
dc.subject.lemac | Programari -- Desenvolupament | ca |
dc.subject.lcshes | Software -- Desarrollo | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | - |
dc.identifier.doi | 10.1016/j.cl.2016.07.002 | - |
dc.gir.id | AR/0000004894 | - |
dc.type.version | info:eu-repo/semantics/submittedVersion | - |
Apareix a les col·leccions: | Articles cientÍfics Articles |
Arxius per aquest ítem:
Arxiu | Descripció | Mida | Format | |
---|---|---|---|---|
PlanasEtAl_COMLAN_PrePrint.pdf | 1,89 MB | Adobe PDF | Veure/Obrir |
Comparteix:
Aquest ítem està subjecte a una llicència de Creative Commons Llicència Creative Commons