Skip to main content
SpringerLink
Log in

Computability Assurance for UML Template Binding

  • Conference paper
  • First Online:
Model-Driven Engineering and Software Development (MODELSWARD 2015)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 580))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Abadi, M., Cardelli, L.: A theory of objects. Syst. Res. 1–130 (1996)

    Google Scholar 

  2. Caron, O., Carré, B.: An OCL formulation of UML2 template binding. In: Baar, T., et al. (eds.) UML’ 2004 — the Unified Modeling Language. Modeling Languages and Applications. Lecture Notes in Computer Science, vol. 3273, pp. 27–40. Springer, Berlin, Heidelberg (2004)

    Google Scholar 

  3. Clarke, S., Walker, R.J.: Generic aspect-oriented design with THEME/UML. In: Aspect-Oriented Software Development, pp. 425–458 Addison-Wesley, Boston (2005)

    Google Scholar 

  4. Farinha, J., Ramos, P.: Extending UML templates towards computability. In: Modelsward 2015, 3rd International Conference on Model-driven Engineering and Software Development, SCITEPRESS (2015)

    Google Scholar 

  5. France, R.B., et al.: A UML-based Pattern specification technique. IEEE Trans. Softw. Eng. 30(3), 193–206 (2004)

    Article  Google Scholar 

  6. OMG Consortium: OMG Unified Modeling Language (UML), Superstructure, v2.4.1. http://www.omg.org/spec/uml/2.4.1/ (2012)

  7. Vanwormhoudt, G., et al.: Aspectual templates in uml (2013)

    Google Scholar 

  8. Wimmer, M., et al.: A survey on UML-based aspect-oriented design modeling. ACM Comput. Surv. 43(4), 1–33 (2011)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ISTAR, ISCTE-IUL Lisbon University Institute, Av. Forças Armadas, Lisbon, Portugal

    José Farinha

  2. IT-IUL, ISCTE-IUL Lisbon University Institute, Av. Forças Armadas, Lisbon, Portugal

    Pedro Ramos

Authors
  1. José Farinha
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pedro Ramos
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to José Farinha .

Editor information

Editors and Affiliations

  1. SOFTEAM, Paris, France

    Philippe Desfray

  2. Department of Systems and Informatics, Polytechnic Institute of Setúbal, Setúbal, Portugal

    Joaquim Filipe

  3. MODESTE/ESEO, Angers, France

    Slimane Hammoudi

  4. University of Twente, Enschede, The Netherlands

    Luís Ferreira Pires

Appendix: OCL Formulation of Functional Conformance

Appendix: OCL Formulation of Functional Conformance

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Farinha, J., Ramos, P. (2015). Computability Assurance for UML Template Binding. In: Desfray, P., Filipe, J., Hammoudi, S., Pires, L. (eds) Model-Driven Engineering and Software Development. MODELSWARD 2015. Communications in Computer and Information Science, vol 580. Springer, Cham. https://doi.org/10.1007/978-3-319-27869-8_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-27869-8_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-27868-1

  • Online ISBN: 978-3-319-27869-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation