next up previous
Next: Section DOMAIN KNOWLEDGE Up: Section SIGNATURE Previous: (Timed) Predicate

Object

   
Due to the structuring into description classes it is possible to aggregate an instance of a description class in a different description class. Is there for example a description class MotionDetector describing a motion detector, it is possible to aggregate one or more instances of this description class in a description class RoomTemp specifying the temperature control of a room.

\fbox{
\begin{minipage}{13cm}
\par \textbf{Object} $ \mathit{md} : \mathit{Motio...
... & This object represents the room motion detector.
\end{tabular}\end{minipage}}

Example: Object

The aggregation of an object means that all designations occurring in the aggregated class can -- slightly modified -- also be used in the aggregating class. The modification consists of adding the designation of the object and a ``.'' before each designation of the aggregated class. Is there for example a designation measuredEntity in the description class MotionDetector then in the description class RoomTemp there is a designation md.measuredEntity.

Moreover, all statements of the aggregated class occurring in the sections DOMAINKNOWLEDGE (see Section 2.1.3) and REQUIREMENTS/SPECIFICATIONS (see Section 2.1.4) are also valid in the aggregating class. The designations used in these statements are extended as described above.



Forest-System
1999-06-04