Andrew Patterson wrote: > The HISTORY IM has a definition for a period which > is meant to represent the time between contained > events. However, in the case where this > period is filled in, the spec makes no restriction on the > EVENT.time field - i.e. what is the meaning of > a HISTORY object with a period set, but yet which > contains EVENTs that are not according to this > periodic duration? It would be good if the spec > clarified what the indented behaviour of an openEHR > system that encounters such data should be. > I have improved the documentation in the class definitions, and added the following invariant to History:
period_consistency: is_periodic implies events.for_all (e: EVENT | e.offset.to_seconds.mod(period.to_seconds) = e.offset.to_seconds/period.to_seconds) and added the query to_seconds: Double to the ISO8601_DURATION class in the Support IM package. - thomas _______________________________________________ openEHR-technical mailing list openEHR-technical at openehr.org http://www.chime.ucl.ac.uk/mailman/listinfo/openehr-technical
