Exportar Publicação

Farinha, J. & Ramos, P. (2015). Computability assurance for UML template binding. In Pires, L. F., Hammoudi, S., Desfray, P., and Filipe, J. (Ed.), Model-Driven Engineering and Software Development. Communications in Computer and Information Science. (pp. 190-212). Angers: Springer.

J. M. Farinha and P. D. Ramos,  "Computability assurance for UML template binding", in Model-Driven Engineering and Software Development. Communications in Computer and Information Science, Pires, L. F., Hammoudi, S., Desfray, P., and Filipe, J., Ed., Angers, Springer, 2015, vol. 580, pp. 190-212

@inproceedings{farinha2015_1715432905328,
	author = "Farinha, J. and Ramos, P.",
	title = "Computability assurance for UML template binding",
	booktitle = "Model-Driven Engineering and Software Development. Communications in Computer and Information Science",
	year = "2015",
	editor = "Pires, L. F., Hammoudi, S., Desfray, P., and Filipe, J.",
	volume = "580",
	number = "",
	series = "",
	doi = "10.1007/978-3-319-27869-8_11",
	pages = "190-212",
	publisher = "Springer",
	address = "Angers",
	organization = "",
	url = "https://link.springer.com/book/10.1007/978-3-319-27869-8"
}

TY  - CPAPER
TI  - Computability assurance for UML template binding
T2  - Model-Driven Engineering and Software Development. Communications in Computer and Information Science
VL  - 580
AU  - Farinha, J.
AU  - Ramos, P.
PY  - 2015
SP  - 190-212
SN  - 1865-0929
DO  - 10.1007/978-3-319-27869-8_11
CY  - Angers
UR  - https://link.springer.com/book/10.1007/978-3-319-27869-8
AB  - Binding to a template in UML encompasses the substitution of that template’s parameters by compatible domain elements. However, such compatibility is scarcely verified by a minimal set of rules in the UML metamodel. As a consequence, binding to a template can result in badly-formed models. Such option in the design of UML was certainly intentional, since more stringent rules could prevent the development of richer semantics for the Bind relationship. But, while such semantics are not in place, problems may arise in several parts of a model just because of a bad, yet valid, template parameter substitution. This paper proposes a new set of validation rules for UML templates, introducing the requirement of Functional Conformance. Functional Conformance guarantees well-formedness and computability for elements bound to a template, consistently with the default semantics of the Bind relationship. It is formulated as OCL constraints on top of the OMG’s UML metamodel.
ER  -