Specification of an Architecture Meta-Model - SPES 2020

Specification of an Architecture Meta-Model
template, whose parameters are being bound by the parameter substitutions owned by
TI.
Aggregations
• parameter : Parameter [0..*] The parameters of this template.
• parameterSubstitution : ParameterSubstitution [0..*] The bindings of this templatable
element realization.
Associations
• template : TemplatableElement [0..1] If present, the templatable element at
the end of the template association is the template that this templatable element
is realizing.
Operations
• isTemplate() : Boolean Returns true iff this templatable element is playing the
role of template, i. e. if it has parameters.
context TemplateableElement
post: result = self .parameter→notEmpty()
• isRealization() : Boolean Returns true iff this templatable element is playing
the role of template realization, i. e. if it has parameter substitutions.
context TemplateableElement
post: result = self .parameterSubstitution→notEmpty()
Constraints Templatable elements are subject to the following constraints:
1. A templatable element that is playing the role of template realization must have
a corresponding template (a templatable element that is playing the role of template
accessible via the template role):
context TemplatableElement inv RealisationsHaveTemplates:
self .isRealisation() implies self .template→notEmpty()
2. All the parameter substitutions of a template realization are for parameters that
belong to the template of this realization:
context TemplatableElement inv MySubstitutionsAreForMyTemplateFormals:
self .parameterSubstitution→forAll(ps |
self .template.parameter→includes(ps.formal))
24/135