| | 1 | === Template !DocumentStatusDate === |
| | 2 | |
| | 3 | [[BR]]This is a template for specifying date and time when a certain Status was assigned to a Document as a result of an according Activity. |
| | 4 | |
| | 5 | [[BR]]!DocumentStatusDate(a, b, c, d) means that a is an Activity resulting in a Status change, b is a !ClassOfInformationObject that represents the document being assigned a c Status, and d is !RepresentationOfGregorianDateAndUtcTime that represents the !PointInTime when assignment takes place. |
| | 6 | [[BR]] |
| | 7 | [[BR]]Roles: |
| | 8 | [[br]]1 hasActivity Activity |
| | 9 | [[br]]2 hasDocument !ClassOfInformationObject |
| | 10 | [[br]]3 hasStatus Status |
| | 11 | [[br]]4 hasDateAndTime !RepresentationOfGregorianDateAndUtcTime |
| | 12 | |
| | 13 | Axiom: |
| | 14 | |
| | 15 | {{{ |
| | 16 | DocumentStatusDate(x1,x2,x3,x4) <-> |
| | 17 | Activity(x1) & |
| | 18 | ClassOfInformationObject(x2) & |
| | 19 | Status(x3) & |
| | 20 | RepresentationOfGregorianDateAndUtcTime(x4) & |
| | 21 | InvolvementByReferenceTemplate(x2,x1) & |
| | 22 | exists p (PointInTime(p) & |
| | 23 | ClassOfRepresentationOfThingTemplate(x4,p) & |
| | 24 | exists u (Event(u) & |
| | 25 | CompositionOfIndividualTemplate(u,p) & |
| | 26 | CauseOfEventTemplate(u,x1) & |
| | 27 | exists v(MaterializedPhysicalObject(v) & |
| | 28 | BeginningTemplate(u,v) & |
| | 29 | ClassificationTemplate(v,x3) & |
| | 30 | exists w(MaterializedPhysicalObject(w) & |
| | 31 | TemporalWholePartTemplate(v,w) & |
| | 32 | ClassificationTemplate(w,x2))))). |
| | 33 | }}} |
| | 34 | |
| | 35 | Illustration: |
| | 36 | [[BR]] |
| | 37 | [[Image(approval.png)]] |
| | 38 | [[BR]] |
| | 39 | |
| | 40 | EXAMPLE The statement !DocumentStatusDate(Act-18436, INSTALLATION WORK SCHEDULE 19283, APPROVED, 2010-11-21T06:00) |
