Utilize este identificador para referenciar este registo:
http://hdl.handle.net/10071/23246
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Farinha, J. | - |
dc.contributor.editor | Hammoudi, S., Pires, L. F., Selic, B., and Desfray, P. | - |
dc.date.accessioned | 2021-09-29T14:03:10Z | - |
dc.date.available | 2021-09-29T14:03:10Z | - |
dc.date.issued | 2016 | - |
dc.identifier.isbn | 978-989-758-168-7 | - |
dc.identifier.issn | 2184-4348 | - |
dc.identifier.uri | http://hdl.handle.net/10071/23246 | - |
dc.description.abstract | Because of the thin set of well-formedness rules associated to Templates in UML, ill-formed elements may result from bindings to templates. Although such ill-formedness is generally detected by some UML validation rule, the problem is poorly reported because it is not normally imputed to the binding. Typically, such problems are detected as non-compilable code in the template instances. A set of well-formedness rules, additional to those of the standard UML, was proposed as a way to ensure the compilability of instances and prevent this problem from occurring. Such set of constraints was proposed in a previous paper and named Functional Conformance, but a demonstration of its effectiveness was not yet provided. Such a demonstration is outlined in the current paper. Carrying out the demonstration revealed the need for two more rules than those previously envisioned for Functional Conformance. | eng |
dc.language.iso | eng | - |
dc.publisher | SciTePress | - |
dc.relation | UID/MULTI/0446/2013 | - |
dc.rights | openAccess | - |
dc.subject | UML | eng |
dc.subject | Templates | eng |
dc.subject | Verification | eng |
dc.subject | Compilability | eng |
dc.subject | Activities | eng |
dc.title | A demonstration of compilability for UML template instances | eng |
dc.type | conferenceObject | - |
dc.event.title | 4th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2016 | - |
dc.event.type | Conferência | pt |
dc.event.location | Roma | eng |
dc.event.date | 2016 | - |
dc.pagination | 397 - 404 | - |
dc.peerreviewed | yes | - |
dc.journal | Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - MODELSWARD | - |
dc.volume | 1 | - |
degois.publication.firstPage | 397 | - |
degois.publication.lastPage | 404 | - |
degois.publication.location | Roma | eng |
degois.publication.title | A demonstration of compilability for UML template instances | eng |
dc.date.updated | 2021-09-29T15:00:35Z | - |
dc.description.version | info:eu-repo/semantics/acceptedVersion | - |
dc.identifier.doi | 10.5220/0005808503970404 | - |
iscte.identifier.ciencia | https://ciencia.iscte-iul.pt/id/ci-pub-28332 | - |
iscte.alternateIdentifiers.wos | WOS:000570754600047 | - |
Aparece nas coleções: | ISTAR-CRI - Comunicações a conferências internacionais |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
conferenceobject_28332.pdf | Versão Aceite | 721,72 kB | Adobe PDF | Ver/Abrir |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.