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}.

References

  1. Caron, O. & Carré, B., 2004. An OCL formulation of UML2 template binding. UML' 2004 - The Unified Modeling Language. Modeling Languages and Applications, 3273, pp.27-40.
  2. Cuccuru, A. et al., 2009. Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers. Model Driven Engineering Languages and Systems, 12th Int. Conf., MODELS 2009, Denver, CO, USA, 2009. Proceedings, 5795, pp.644-649.
  3. Dehnert, J. C. & Stepanov, A. A., 1998. Fundamentals of Generic Programming. Generic Programming, Int. Seminar on Generic Programming, Dagstuhl Castle, Germany, 1998, Selected Papers, 1766, pp.1-11.
  4. Farinha, J., 2015. A Demonstration of Compilability for UML Template Instances with Activities, Lisbon, Portugal. Available at: https://repositorio.iscteiul.pt/browse?type=author&value=Farinha%2C+Jos% C3%A9.
  5. Farinha, J. & Ramos, P., 2015. Extending UML Templates towards Computability. In MODELSWARD 2015, 3rd Int. Conf. on Model-Driven Engineering and Software Development. ScitePress.
  6. Gregor, D. et al., 2006. Concepts: Linguistic Support for Generic Programming in C++. In Procs. 21st ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA. ACM, pp. 291-310.
  7. OMG, 2015. OMG Unified Modeling Language, version 2.5, Available at: http://www.omg.org/spec/UML/2.5.
  8. Siek, J.G. et al., 2005. Concepts for C++0x. Technical Report N1758=05-0018, ISO/IEC SC22/JTC1/WG21, Available at: https://www.academia.edu/16888725/ Concepts_for_C_0x.
  9. Vanwormhoudt, G., Caron, O. & Carré, B., 2015. Aspectual templates in UML. Software & Systems Modeling.
Download


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