Extending UML Templates towards Computability

José Farinha, Pedro Ramos

2015

Abstract

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.

References

  1. Caron, O. & Carré, B., 2004. An OCL formulation of UML2 template binding. In T. Baar et al., eds. UML' 2004 - The Unified Modeling Language. Modeling Languages and Applications. Lecture Notes in Computer Science. Springer Berlin Heidelberg, pp. 27-40.
  2. Clarke, S. & Walker, R.J., 2005. Generic Aspect-Oriented Design with Theme/UML. In Aspecto-Oriented Software Development. Addison-Wesley, pp. 425-458.
  3. France, R.B. et al., 2004. A UML-based pattern specification technique. IEEE Transactions on Software Engineering, 30(3), pp.193-206.
  4. OMG, 2012. OMG Unified Modeling Language (UML), Superstructure, v2.4.1. Available at: http://www.omg.org/spec/UML/2.4.1/ (Accessed April 27, 2012).
  5. Vanwormhoudt, G., Caron, O. & Carré, B., 2013. Aspectual Templates in UML, Available at: http://hal.archives-ouvertes.fr/hal-00846060.
  6. Wimmer, M. et al., 2011. A survey on UML-based aspectoriented design modeling. ACM Computing Surveys, 43(4), pp.1-33.
Download


Paper Citation


in Harvard Style

Farinha J. and Ramos P. (2015). Extending UML Templates towards Computability . In Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-083-3, pages 122-133. DOI: 10.5220/0005257101220133


in Bibtex Style

@conference{modelsward15,
author={José Farinha and Pedro Ramos},
title={Extending UML Templates towards Computability},
booktitle={Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2015},
pages={122-133},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005257101220133},
isbn={978-989-758-083-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Extending UML Templates towards Computability
SN - 978-989-758-083-3
AU - Farinha J.
AU - Ramos P.
PY - 2015
SP - 122
EP - 133
DO - 10.5220/0005257101220133