Structured Type Definition Clause Samples

Structured Type Definition. StructuredType (StrtType) was already defined at the end of Year 1 of the INTO-CPS project. During the following 2 years of the project, this concept, depicted in Figure 22, has not been changed or updated. Figure 23 illustrates the typical modelling of an EComponent made at the end of Year 2. The depicted Controller has four input ports, respectively named pos.y, pos.y, pos.z, and pos.theta, which represent a 3D coordinate and an angle provided by sensors. Suppose that all the data is provided by one unique sensor of type SpaSensor. Figure 24 shows a Connections Diagram (CD) defining connections between an instance 'c' of the Controller and an instance 'spaS' of the SpaSensor. In this diagram the fact that all four connections convey Real or Nat data can be omitted because it does not provide any additional values as input and output ports are already typed as Real or Nat ports. The fact that four connections are present could also be simplified into one unique connection.