Utilize este identificador para referenciar este registo:
http://hdl.handle.net/10071/23246
Autoria: | Farinha, J. |
Editor: | Hammoudi, S., Pires, L. F., Selic, B., and Desfray, P. |
Data: | 2016 |
Título próprio: | A demonstration of compilability for UML template instances |
Volume: | 1 |
Paginação: | 397 - 404 |
Título do evento: | 4th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2016 |
ISSN: | 2184-4348 |
ISBN: | 978-989-758-168-7 |
DOI (Digital Object Identifier): | 10.5220/0005808503970404 |
Palavras-chave: | UML Templates Verification Compilability Activities |
Resumo: | 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. |
Arbitragem científica: | yes |
Acesso: | Acesso Aberto |
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.