HL7 Europe Common Cancer Model
1.0.0-ballot - ballot 150

HL7 Europe Common Cancer Model - Local Development build (v1.0.0-ballot) built by the FHIR (HL7® FHIR® Standard) Build Tools. See the Directory of published versions

## Logical Model: LastFollowUp - Detailed Descriptions

Active as of 2026-06-14

Definitions for the LastFollowUp logical model.

- Key Elements Table
- Differential Elements Table
- Snapshot Elements Table

Guidance on how to interpret the contents of this table can be foundhere

0. LastFollowUp
Definition | Logical model representing the assessment of the patient’s status at a specific follow-up visit, including vital status and evidence of disease. Derived from Cancer_Common_Logical_Model_20260521.xlsx (sheet LastFollowUp).
Short | LastFollowUp
Control | 0..*
Is Modifier | false
Logical Model | Instances of this logical model are not marked to be the target of a Reference
Invariants | lfu-1: EvidenceOfDisease must be present if VitalStatus is Alive; otherwise, it must not be present. (`(vitalStatus.where(text = 'Alive').exists()) = evidenceOfDisease.exists()`) lfu-2: CauseOfDeath must be present if VitalStatus is Dead; otherwise, it must not be present. (`(vitalStatus.where(text = 'Dead').exists()) = causeOfDeath.exists()`) lfu-3: DeathDate must be present if VitalStatus is Dead; otherwise, it must not be present. (`(vitalStatus.where(text = 'Dead').exists()) = deathDate.exists()`) lfu-4: DeathDate must not be present if VitalStatus is Alive. (`vitalStatus.where(text = 'Alive').exists() implies deathDate.empty()`)
2. LastFollowUp.subject
Definition | Reference to the patient (subject) for whom follow-up information is recorded.
Short | Patient Reference
Control | 1..1
Type | Reference(Cancer Patient)
4. LastFollowUp.vitalStatus
Definition | Patient vital status at the time of follow-up (Alive or Dead).
Short | VitalStatus
Comments | Choice: Alive | Dead
Control | 1..1
Type | CodeableConcept
6. LastFollowUp.evidenceOfDisease
Definition | If Alive, indicates whether there is evidence of disease at follow-up.
Short | EvidenceOfDisease
Comments | If VitalStatus is Alive, then this attribute must be present; otherwise, it must not be present.
Control | 0..1
Type | boolean
Primitive Value | This primitive element may be present, or absent, or replaced by an extension
8. LastFollowUp.causeOfDeath
Definition | If Dead, cause of death.
Short | CauseOfDeath
Comments | If VitalStatus is Dead, then this attribute must be present; otherwise, it must not be present.
Control | 0..1
Type | CodeableConcept
10. LastFollowUp.date
Definition | Date of the follow-up assessment.
Short | Date
Control | 1..1
Type | dateTime
Primitive Value | This primitive element may be present, or absent, or replaced by an extension
12. LastFollowUp.deathDate
Definition | If Dead, the date of death.
Short | DeathDate
Comments | If VitalStatus is Dead, then this attribute must be present; otherwise, it must not be present.
Control | 0..1
Type | dateTime
Primitive Value | This primitive element may be present, or absent, or replaced by an extension

Guidance on how to interpret the contents of this table can be foundhere

0. LastFollowUp
Definition | Logical model representing the assessment of the patient’s status at a specific follow-up visit, including vital status and evidence of disease. Derived from Cancer_Common_Logical_Model_20260521.xlsx (sheet LastFollowUp).
Short | LastFollowUp
Logical Model | Instances of this logical model are not marked to be the target of a Reference
Invariants | lfu-1: EvidenceOfDisease must be present if VitalStatus is Alive; otherwise, it must not be present. (`(vitalStatus.where(text = 'Alive').exists()) = evidenceOfDisease.exists()`) lfu-2: CauseOfDeath must be present if VitalStatus is Dead; otherwise, it must not be present. (`(vitalStatus.where(text = 'Dead').exists()) = causeOfDeath.exists()`) lfu-3: DeathDate must be present if VitalStatus is Dead; otherwise, it must not be present. (`(vitalStatus.where(text = 'Dead').exists()) = deathDate.exists()`) lfu-4: DeathDate must not be present if VitalStatus is Alive. (`vitalStatus.where(text = 'Alive').exists() implies deathDate.empty()`)
2. LastFollowUp.subject
Definition | Reference to the patient (subject) for whom follow-up information is recorded.
Short | Patient Reference
Control | 1..1
Type | Reference(Cancer Patient)
4. LastFollowUp.vitalStatus
Definition | Patient vital status at the time of follow-up (Alive or Dead).
Short | VitalStatus
Comments | Choice: Alive | Dead
Control | 1..1
Type | CodeableConcept
6. LastFollowUp.evidenceOfDisease
Definition | If Alive, indicates whether there is evidence of disease at follow-up.
Short | EvidenceOfDisease
Comments | If VitalStatus is Alive, then this attribute must be present; otherwise, it must not be present.
Control | 0..1
Type | boolean
Primitive Value | This primitive element may be present, or absent, or replaced by an extension
8. LastFollowUp.causeOfDeath
Definition | If Dead, cause of death.
Short | CauseOfDeath
Comments | If VitalStatus is Dead, then this attribute must be present; otherwise, it must not be present.
Control | 0..1
Type | CodeableConcept
10. LastFollowUp.date
Definition | Date of the follow-up assessment.
Short | Date
Control | 1..1
Type | dateTime
Primitive Value | This primitive element may be present, or absent, or replaced by an extension
12. LastFollowUp.deathDate
Definition | If Dead, the date of death.
Short | DeathDate
Comments | If VitalStatus is Dead, then this attribute must be present; otherwise, it must not be present.
Control | 0..1
Type | dateTime
Primitive Value | This primitive element may be present, or absent, or replaced by an extension

Guidance on how to interpret the contents of this table can be foundhere

0. LastFollowUp
Definition | Logical model representing the assessment of the patient’s status at a specific follow-up visit, including vital status and evidence of disease. Derived from Cancer_Common_Logical_Model_20260521.xlsx (sheet LastFollowUp).
Short | LastFollowUp
Control | 0..*
Is Modifier | false
Logical Model | Instances of this logical model are not marked to be the target of a Reference
Invariants | lfu-1: EvidenceOfDisease must be present if VitalStatus is Alive; otherwise, it must not be present. (`(vitalStatus.where(text = 'Alive').exists()) = evidenceOfDisease.exists()`) lfu-2: CauseOfDeath must be present if VitalStatus is Dead; otherwise, it must not be present. (`(vitalStatus.where(text = 'Dead').exists()) = causeOfDeath.exists()`) lfu-3: DeathDate must be present if VitalStatus is Dead; otherwise, it must not be present. (`(vitalStatus.where(text = 'Dead').exists()) = deathDate.exists()`) lfu-4: DeathDate must not be present if VitalStatus is Alive. (`vitalStatus.where(text = 'Alive').exists() implies deathDate.empty()`)
2. LastFollowUp.subject
Definition | Reference to the patient (subject) for whom follow-up information is recorded.
Short | Patient Reference
Control | 1..1
Type | Reference(Cancer Patient)
4. LastFollowUp.vitalStatus
Definition | Patient vital status at the time of follow-up (Alive or Dead).
Short | VitalStatus
Comments | Choice: Alive | Dead
Control | 1..1
Type | CodeableConcept
6. LastFollowUp.evidenceOfDisease
Definition | If Alive, indicates whether there is evidence of disease at follow-up.
Short | EvidenceOfDisease
Comments | If VitalStatus is Alive, then this attribute must be present; otherwise, it must not be present.
Control | 0..1
Type | boolean
Primitive Value | This primitive element may be present, or absent, or replaced by an extension
8. LastFollowUp.causeOfDeath
Definition | If Dead, cause of death.
Short | CauseOfDeath
Comments | If VitalStatus is Dead, then this attribute must be present; otherwise, it must not be present.
Control | 0..1
Type | CodeableConcept
10. LastFollowUp.date
Definition | Date of the follow-up assessment.
Short | Date
Control | 1..1
Type | dateTime
Primitive Value | This primitive element may be present, or absent, or replaced by an extension
12. LastFollowUp.deathDate
Definition | If Dead, the date of death.
Short | DeathDate
Comments | If VitalStatus is Dead, then this attribute must be present; otherwise, it must not be present.
Control | 0..1
Type | dateTime
Primitive Value | This primitive element may be present, or absent, or replaced by an extension