Architecture Modeling - SPES 2020
Architecture Modeling - SPES 2020
Architecture Modeling - SPES 2020
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Architecture</strong> <strong>Modeling</strong><br />
Conjugation of Ports is a concept to reverse the directions of all InteractionPoints of<br />
a port. As the direction of a flow or service is specified by the flow or service itself, the direction<br />
of the port is defined by the direction of its InteractionPoints. When ports of components<br />
inside a composition are being connected (see Section 3.3.2.2), the attribute isConjugated<br />
of a Port can be used in order to avoid defining two PortSpecifications, which only<br />
differ in the directions of their InteractionPoints.<br />
3.3.1.2 Aspects<br />
An aspect defines a viewpoint which is orthogonal to the structure of the system, and describes<br />
aspects of functional and/or non-functional properties of component models. Being orthogonal<br />
to the structure of the system-model means, that the underlying component-model and interfaces<br />
of each component are the same for all aspects. Currently we consider three aspects for a<br />
component: functional behavior, real-time and safety. However the meta-model allows to define<br />
additional aspects according to the needs of a company or application domain.<br />
Aspect<br />
+aspect 0..1<br />
Behavior<br />
+aspect<br />
0..*<br />
0..*<br />
+behavior<br />
Behav iorImplementation<br />
+component<br />
0..1<br />
BehaviorBlock<br />
+type 1<br />
«isOfType»<br />
BlockOccurrence<br />
RichComponent<br />
1..*<br />
Satisfy<br />
+component<br />
SystemArtefact<br />
+satisfies<br />
1..*<br />
Requirement<br />
+ rationale: String [0..*]<br />
SystemRequirement<br />
Figure 3.26: Meta-model integration of the concept of Aspects<br />
For each Aspect a RichComponent can have a specification and a realization. The<br />
specification of an aspect is given by a SystemRequirement, that is associated with one or<br />
more Aspects. The Satisfy-trace link allows to associate a set of RichComponents with<br />
one or more SystemRequirements that the components shall satisfy.<br />
A realization of an aspect is given by a Behavior, that is eventually associated<br />
with an Aspect. A realization can be modelled in any behavior modeling tool or<br />
provided as implemented source code. The latter would correspond to the specialized<br />
BehaviorImplementation. If a behavior modeling tool is used and it has a trace-based<br />
semantics, then the modeled behavior can be interpreted as a BlockOccurrence. A realization<br />
of an aspect provided as a BlockOccurrence can be verified against the specification<br />
(see Section 4.3). The BlockOccurrence is typed by an HRC state machine, which is also<br />
defined in the meta-model but not described here (cf. [50]).<br />
3.3.1.3 Contracts<br />
A contract is a triple (As,Aw,G). As is the strong assumption of a contract, Aw the weak assumption<br />
and G the guarantee. A strong assumption characterizes the allowed design context<br />
of the component, i. e. the environment from the point of view of the component. If the design<br />
37/ 156