| Egenskap |
Stereotype |
Beskrivelse |
Type |
Multiplisitet |
| anyPoint |
voidable |
-- Name --
Any point
|
DateTime |
0..1 |
| beginning |
voidable |
-- Name --
Beginning
|
DateTime |
0..1 |
| end |
voidable |
-- Name --
End
|
DateTime |
0..1 |
| Navn |
Type |
Lengde |
Multiplisitet |
|
DateTime |
|
0..1 |
|
DateTime |
|
0..1 |
|
DateTime |
|
0..1 |
| Name |
Type |
English |
Description |
| anyPoint |
DateTime |
|
A date and time of any point of the event, between its beginning and its end.
|
| beginning |
DateTime |
|
Date and time when the event begun.
|
| end |
DateTime |
|
Date and time when the event ended.
|
| Navn |
Beskrivelse |
| atLeastOneEvent |
/*At least, one of the attributes beginning, end or anyPoint shall be supplied.*/
inv: dateOfEvent->notEmpty() |
| beginning is before anyPoint is before end |
inv: beginning <= anyPoint and anyPoint <= end and beginning <= end |