SECTION.items is 0..* but has invariant meaning it should be 1..*

Description

In the EHR IM PDF, the UML for SECTION.items has '' (meaning 0..) but the corresponding class table has an invariant 'items /= Void implies not items.is_empty', which means that it should be 1..*.
This seems to be inconsistent.

We need to agree if the intention is 0..* or 1..*

Environment

None

Activity

Show:
Thomas Beale
December 11, 2015, 10:32 AM

The specification is actually correct: the list may not exists, which corresponds to '0'; if it does, it must not be empty, which corresponds to the '*'.

Reporter

Sebastian Garde

Labels

None

Components

Affects versions

Priority

Minor
Configure