Skip to content

Draft for review only

DayWeekMonth

Specification of recurring periods based on applicable days of week and months.

Diagram

cluster_associated ScheduleThing ScheduleThing DayWeekMonth DayWeekMonth time:hasTRS [1] time:timeZone [1] DayWeekMonth->ScheduleThing time_DayOfWeek time:DayOfWeek DayWeekMonth->time_DayOfWeek applicableDayOfWeek 1..7 time_MonthOfYear time:MonthOfYear DayWeekMonth->time_MonthOfYear applicableMonth 1..12

DayWeekMonth Diagram

Specializations of DayWeekMonth

Class Description
Date Within Month Recurring periods by the nth day in a month.
Instance Of Day Within Month Recurring periods by the nth occurrence of a weekday in a month.

Formalization for DayWeekMonth

Property Constraint
applicableDayOfWeek min 1 and max 7 time:DayOfWeek
applicableMonth min 1 and max 12 time:MonthOfYear
time:hasTRS exactly 1
time:timeZone exactly 1
subClassOf ScheduleThing

Other annotations

Property Value
dash:abstract true
its-core:reqviewId its-time-2