Specification of an Architecture Meta-Model - SPES 2020

Specification of an Architecture Meta-Model
MultiplicityElement
RichComponentProperty Port
+ isConjugated: Boolean
Figure 2.15: Multiplicities.
+size
1
Expression
Constraints Multiplicity elements are subject to the following constraints:
1. The size expression must be of Integer type:
context MultiplicityElement inv sizeIsInteger:
self .size.type().isInteger()
2. The size expression must be statically computable:
context MultiplicityElement inv sizeIsStaticallyComputable:
self .size.isStaticallyComputable()
2.1.12 Rich Components
In this section rich components and their dependencies are presented. As depicted in
Figure 2.16 a component reflects structural modeling but also behavioral aspects which
are shown in Figure 2.17.
Figure 2.17 shows component behavior concepts like component initialization, service
implementations as well as behavior descriptions with behavior links that are
described in Section 2.2.8 and component operation concepts like failure conditions as
described in Section 2.4.
2.1.12.1 RichComponent
A rich component describes a type of structural unit (by contrast to an HRC block
that denotes a type of behavior unit) that share the same characterization of features,
constraints, and dynamics.
A rich component is both, a reusable element and a templatable element. A rich
component in the role of template realization implicitly specifies the features and dynamics
defined by its template, in which all template parameters are replaced by the
actual ones.
28/135