| Egenskap |
Stereotype |
Beskrivelse |
Type |
Multiplisitet |
| Navn |
Type |
Lengde |
Multiplisitet |
| Name |
Type |
English |
Description |
| Navn |
Beskrivelse |
| featureOfInterest must be a SF_SamplingPoint |
/* featureOfInterest must be a SF_SamplingPoint */
inv: self.featureOfInterest->forAll(oclIsKindOf(SF_SamplingPoint)) |
| phenomenonTime must be a TM_Period |
/*phenomenonTime must be a TM_Period */
inv: self.phenomenonTime.oclIsKindOf(TM_Period) |
| result must be a TimeSeries |
/* result must be a Timeseries */
inv: self.result.oclIsKindOf(TimeSeries) |