Exportar Publicação

Farinha, J. & Ramos, P. (2015). Extending UML templates towards computability. In Slimane Hammoudi, Luis Ferreira Pires, Philippe Desfray, Joaquim Filipe (Ed.), Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development. Angers: SCITEPRESS.

J. M. Farinha and P. D. Ramos,  "Extending UML templates towards computability", in Proc. of the 3rd Int. Conf. on Model-Driven Engineering and Software Development, Slimane Hammoudi, Luis Ferreira Pires, Philippe Desfray, Joaquim Filipe, Ed., Angers, SCITEPRESS, 2015

@inproceedings{farinha2015_1715602703539,
	author = "Farinha, J. and Ramos, P.",
	title = "Extending UML templates towards computability",
	booktitle = "Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development",
	year = "2015",
	editor = "Slimane Hammoudi, Luis Ferreira Pires, Philippe Desfray, Joaquim Filipe",
	volume = "",
	number = "",
	series = "",
	doi = "10.5220/0005257101220133",
	publisher = "SCITEPRESS",
	address = "Angers",
	organization = "INSTICC – Institute for Systems and Technologies of Information, Control and Communication",
	url = "https://www.scitepress.org/ProceedingsDetails.aspx?ID=34diX50CEmw=&t=1"
}

TY  - CPAPER
TI  - Extending UML templates towards computability
T2  - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development
AU  - Farinha, J.
AU  - Ramos, P.
PY  - 2015
DO  - 10.5220/0005257101220133
CY  - Angers
UR  - https://www.scitepress.org/ProceedingsDetails.aspx?ID=34diX50CEmw=&t=1
AB  - UML templates allow the specification of generic model elements that can be reproduced in domain models
by means of the Bind relationship. Binding to a template encompasses the substitution of that template’s
parameters by compatible domain elements. The requirement of compatibility, however, is checked over by
UML in a very permissive way. As a consequence, binding to a template can result in badly-formed models
and non-computable expressions. Such option in the design of UML was certainly intentional and meant to
allow for richer semantics for the Bind relationship, as the specialization of the concept is advised at several
points of the standard. This paper proposes one such specialization. One that guarantees well-formedness
and computability for elements bound to a template. This is achieved by introducing the concept of
Functional Conformance, which is imposed between every template’s parameter and its application domain
substitute. Functional conformance is defined in terms of well-formedness rules, expressed as OCL
constraints on top of OMG’s UML metamodel.
ER  -