http://hdl.handle.net/10071/15089 2026-04-18T11:54:11Z http://hdl.handle.net/10071/11826 Título próprio: Extending UML templates towards flexibility (extended version) Autoria: Farinha, José Resumo: UML templates are generic model elements that may be instantiated as domain specific solutions by means of parameterization. Some of the elements in a tem-plate definition are marked as parameters, which must be substituted by conform-ing elements in the domain model to get a fully functional instance of the tem-plate. The validation of parameter substitutions enforces that the parametered ele-ment and its substitute must be of the same kind (both classes, both attributes, etc.). This paper shows that such imperative restrains the applicability of tem-plates and proposes an alternative set of constraints that, by allowing substitu-tions among elements of different kinds, widens that applicability. Cross-kind substitutions, however, require adequate semantics for the Binding relationship. Such semantics are proposed as model transformations that must complement the plain substitutions preconized by UML and are exemplified w.r.t. the instantiation of activity diagrams. Descrição: Extended version of a research paper submitted to the 2nd Flexible MDE Workshop, FlexMDE 2016 (www.di.univaq.it/flexmde/). 2016-07-27T00:00:00Z http://hdl.handle.net/10071/10893 Título próprio: A Demonstration of compilability for UML template instances Autoria: Farinha, José Resumo: Because of the thin set of well-formedness rules associated to Templates in UML, ill-formed elements may result from well-formed bindings to templates. Although such ill-formedness is generally detected by some UML validation rule, the problem is poorly reported if the violated rule does not pertain to the Template construct. Typically, erroneous substitutions of template parameters will be misleadingly reported as compilation problems in the code of operations of the template’s instance. This paper demonstrates that a set of well-formedness rules, additional to those of the standard UML, prevents this problem from occurring. Such set of constraints was proposed in a previous paper and named Functional Conformance (FC), but a demonstration of its effectiveness was not provided. Such a demonstration is carried out in the current paper adopting UML Activities as the formalism to represent the dynamics of systems and their well-formedness rules as compilability criteria. Carrying out the demonstration revealed further rules than those previously proposed for FC. Descrição: Extended version of the paper: J. M. Farinha, "A Demonstration of Compilability for UML Template Instances", in Proc. of the 4th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD 2016), Slimane Hammoudi, Luis Ferreira Pires, Bran Selic, Philippe Desfray, Ed., Roma, Itália, SCITEPRESS – Science and Technology Publications, 2016, pp. 397-404. 2016-02-18T00:00:00Z