A Demonstration of Compilability for UML Template Instances

José Farinha

2016

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 \emph{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 \emph{Functional Conformance}.

Paper Citation

in Harvard Style

Farinha J. (2016). A Demonstration of Compilability for UML Template Instances . In Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-168-7, pages 397-404. DOI: 10.5220/0005808503970404

in Bibtex Style

@conference{modelsward16,
author={José Farinha},
title={A Demonstration of Compilability for UML Template Instances},
booktitle={Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2016},
pages={397-404},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005808503970404},
isbn={978-989-758-168-7},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - A Demonstration of Compilability for UML Template Instances
SN - 978-989-758-168-7
AU - Farinha J.
PY - 2016
SP - 397
EP - 404
DO - 10.5220/0005808503970404