| Precondition |
RBellog 0 |
Download Evidence |
| Book an appointment by schedule reference |
INFO - entry.resource.ofType(Slot).count() > 0 |
Details |
| Book an appointment by schedule reference |
INFO - entry.resource.ofType(Slot).where(status = 'free' and start <= @2027-03-31T10:05:00Z and end >= @2027-03-31T10:55:00Z).count() >= 1 |
Details |
| Book an appointment by schedule reference |
INFO - entry.resource.ofType(Slot).where(status != 'free' and start < @2027-03-31T10:55:00Z and end > @2027-03-31T10:05:00Z).count() = 0 |
Details |
| Book an appointment by schedule reference |
INFO - ($this is Appointment) or ($this is Parameters) |
Details |
| Book an appointment by schedule reference |
INFO - ($this is Appointment) implies id.exists() |
Details |
| Book an appointment by schedule reference |
INFO - ($this is Appointment) implies status.toString().matches('^booked|pending$') |
Details |
| Book an appointment by schedule reference |
INFO - ($this is Appointment) implies slot.exists() |
Details |
| Book an appointment by schedule reference |
INFO - ($this is Parameters) implies parameter.where(name = 'return' and resource is Appointment).resource.id.exists() |
Details |
| Book an appointment by schedule reference |
INFO - ($this is Parameters) implies parameter.where(name = 'return' and resource is Appointment).resource.status.toString().matches('^booked|pending$') |
Details |
| Book an appointment by schedule reference |
INFO - ($this is Parameters) implies parameter.where(name = 'return' and resource is Appointment).resource.slot.exists() |
Details |
| Book an appointment by schedule reference |
RBellog 0 |
Download Evidence |
| Book an appointment by schedule reference |
Evidence Report |
Download Evidence |
| Precondition |
RBellog 0 |
Download Evidence |
| Read and Validation of the CapabilityStatement |
INFO - rest.where(mode = 'server').resource.where(type = 'Appointment' and interaction.where(code = 'search-type').exists()).exists() |
Details |
| Read and Validation of the CapabilityStatement |
RBellog 0 |
Download Evidence |
| Read and Validation of the CapabilityStatement |
Evidence Report |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
INFO - rest.where(mode = 'server').resource.where(type = 'Appointment' and searchParam.where(name = '_id' and type = 'token').exists()).exists() |
Details |
| Validation of the search parameter definitions in the CapabilityStatement |
RBellog 1 |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
Evidence Report |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
INFO - rest.where(mode = 'server').resource.where(type = 'Appointment' and searchParam.where(name = '_tag' and type = 'token').exists()).exists() |
Details |
| Validation of the search parameter definitions in the CapabilityStatement |
RBellog 2 |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
Evidence Report |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
INFO - rest.where(mode = 'server').resource.where(type = 'Appointment' and searchParam.where(name = '_count' and type = 'number').exists()).exists() |
Details |
| Validation of the search parameter definitions in the CapabilityStatement |
RBellog 3 |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
Evidence Report |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
INFO - rest.where(mode = 'server').resource.where(type = 'Appointment' and searchParam.where(name = 'status' and type = 'token').exists()).exists() |
Details |
| Validation of the search parameter definitions in the CapabilityStatement |
RBellog 4 |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
Evidence Report |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
INFO - rest.where(mode = 'server').resource.where(type = 'Appointment' and searchParam.where(name = 'service-type' and type = 'token').exists()).exists() |
Details |
| Validation of the search parameter definitions in the CapabilityStatement |
RBellog 5 |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
Evidence Report |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
INFO - rest.where(mode = 'server').resource.where(type = 'Appointment' and searchParam.where(name = 'specialty' and type = 'token').exists()).exists() |
Details |
| Validation of the search parameter definitions in the CapabilityStatement |
RBellog 6 |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
Evidence Report |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
INFO - rest.where(mode = 'server').resource.where(type = 'Appointment' and searchParam.where(name = 'date' and type = 'date').exists()).exists() |
Details |
| Validation of the search parameter definitions in the CapabilityStatement |
RBellog 7 |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
Evidence Report |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
INFO - rest.where(mode = 'server').resource.where(type = 'Appointment' and searchParam.where(name = 'slot' and type = 'reference').exists()).exists() |
Details |
| Validation of the search parameter definitions in the CapabilityStatement |
RBellog 8 |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
Evidence Report |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
INFO - rest.where(mode = 'server').resource.where(type = 'Appointment' and searchParam.where(name = 'actor' and type = 'reference').exists()).exists() |
Details |
| Validation of the search parameter definitions in the CapabilityStatement |
RBellog 9 |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
Evidence Report |
Download Evidence |
| Search for the Appointment by ID |
INFO - entry.resource.where(id.replaceMatches('/_history/.+','').matches('\\bAppointment-Read-Example$')).count() = 1 |
Details |
| Search for the Appointment by ID |
INFO - This element does not match any known slice defined in the profile https://gematik.de/fhir/isik/StructureDefinition/ISiKTermin|5.1.2 |
Details |
| Search for the Appointment by ID |
WARN - Value set https://gematik.de/fhir/isik/ValueSet/ISiKTerminPriority has been ignored due to module configuration |
Details |
| Search for the Appointment by ID |
INFO - Code system definition is missing for 'http://snomed.info/sct#394848005' |
Details |
| Search for the Appointment by ID |
RBellog 0 |
Download Evidence |
| Search for the Appointment by ID |
Evidence Report |
Download Evidence |
| Optional Search for the Appointment by Tag and ID |
INFO - entry.resource.count() > 0 |
Details |
| Optional Search for the Appointment by Tag and ID |
INFO - entry.resource.all(meta.tag.where(code='external').exists()) |
Details |
| Optional Search for the Appointment by Tag and ID |
INFO - entry.resource.where(id.replaceMatches('/_history/.+','').matches('\\bAppointment-Read-Example$')).count() = 1 |
Details |
| Optional Search for the Appointment by Tag and ID |
RBellog 0 |
Download Evidence |
| Optional Search for the Appointment by Tag and ID |
Evidence Report |
Download Evidence |
| Search for the Appointment by Count |
INFO - entry.resource.count() > 0 and entry.resource.count() <= 1 |
Details |
| Search for the Appointment by Count |
RBellog 0 |
Download Evidence |
| Search for the Appointment by Count |
Evidence Report |
Download Evidence |
| Search for the Appointment that belong to a Patient, by Status |
INFO - entry.resource.ofType(Appointment).count() > 0 |
Details |
| Search for the Appointment that belong to a Patient, by Status |
INFO - entry.resource.ofType(Appointment).all(status = 'cancelled') |
Details |
| Search for the Appointment that belong to a Patient, by Status |
INFO - entry.resource.where(id.replaceMatches('/_history/.+','').matches('\\bAppointment-Read-Example$')).count() = 1 |
Details |
| Search for the Appointment that belong to a Patient, by Status |
RBellog 0 |
Download Evidence |
| Search for the Appointment that belong to a Patient, by Status |
Evidence Report |
Download Evidence |
| Search for the Appointment that belong to a Patient, by Service Type |
INFO - entry.resource.ofType(Appointment).count() > 0 |
Details |
| Search for the Appointment that belong to a Patient, by Service Type |
INFO - entry.resource.ofType(Appointment).all(serviceType.coding.where(code='177' and system='http://terminology.hl7.org/CodeSystem/service-type').exists()) |
Details |
| Search for the Appointment that belong to a Patient, by Service Type |
RBellog 0 |
Download Evidence |
| Search for the Appointment that belong to a Patient, by Service Type |
Evidence Report |
Download Evidence |
| Search for the Appointment that belong to a Patient, by Specialty |
INFO - entry.resource.ofType(Appointment).count() > 0 |
Details |
| Search for the Appointment that belong to a Patient, by Specialty |
INFO - entry.resource.ofType(Appointment).all(specialty.coding.where(code = 'NEUR' and system ='http://ihe-d.de/CodeSystems/AerztlicheFachrichtungen').exists()) |
Details |
| Search for the Appointment that belong to a Patient, by Specialty |
RBellog 0 |
Download Evidence |
| Search for the Appointment that belong to a Patient, by Specialty |
Evidence Report |
Download Evidence |
| Search for the Appointment that belong to a Patient, by Date |
INFO - entry.resource.ofType(Appointment).count() > 0 |
Details |
| Search for the Appointment that belong to a Patient, by Date |
INFO - entry.resource.ofType(Appointment).all(start.toString().contains('2027-01-01') or start ~ @2027-01-01) |
Details |
| Search for the Appointment that belong to a Patient, by Date |
RBellog 0 |
Download Evidence |
| Search for the Appointment that belong to a Patient, by Date |
Evidence Report |
Download Evidence |
| Search for the Appointment that belong to a Patient, by Slot |
INFO - entry.resource.ofType(Appointment).count() > 0 |
Details |
| Search for the Appointment that belong to a Patient, by Slot |
INFO - entry.resource.ofType(Appointment).all(slot.where(reference.replaceMatches('/_history/.+','').matches('\\bSlot-Read-Example$')).exists()) |
Details |
| Search for the Appointment that belong to a Patient, by Slot |
RBellog 0 |
Download Evidence |
| Search for the Appointment that belong to a Patient, by Slot |
Evidence Report |
Download Evidence |
| Precondition |
RBellog 0 |
Download Evidence |
| Read and Validation of the CapabilityStatement |
INFO - rest.where(mode = 'server').resource.where(type = 'Schedule' and interaction.where(code = 'read').exists()).exists() |
Details |
| Read and Validation of the CapabilityStatement |
RBellog 0 |
Download Evidence |
| Read and Validation of the CapabilityStatement |
Evidence Report |
Download Evidence |
| Read a Schedule by ID |
INFO - id.replaceMatches('/_history/.+','').matches('\\bSchedule-Read-Example$') |
Details |
| Read a Schedule by ID |
INFO - serviceType.text.empty().not() and serviceType.coding.where(code='177' and system = 'http://terminology.hl7.org/CodeSystem/service-type').exists() |
Details |
| Read a Schedule by ID |
INFO - specialty.coding.where(code = 'NEUR' and system ='http://ihe-d.de/CodeSystems/AerztlicheFachrichtungen').exists() |
Details |
| Read a Schedule by ID |
INFO - actor.where(reference.replaceMatches('/_history/.+','').matches('\\bPractitioner-Read-Example$') and display.exists()).exists() |
Details |
| Read a Schedule by ID |
INFO - extension.where(url = 'http://hl7.org/fhir/5.0/StructureDefinition/extension-Schedule.name' and value.empty().not()).exists() |
Details |
| Read a Schedule by ID |
RBellog 0 |
Download Evidence |
| Read a Schedule by ID |
Evidence Report |
Download Evidence |
| Precondition |
RBellog 0 |
Download Evidence |
| Read and Validation of the CapabilityStatement |
INFO - rest.where(mode = 'server').resource.where(type = 'Schedule' and interaction.where(code = 'search-type').exists()).exists() |
Details |
| Read and Validation of the CapabilityStatement |
RBellog 0 |
Download Evidence |
| Read and Validation of the CapabilityStatement |
Evidence Report |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
INFO - rest.where(mode = 'server').resource.where(type = 'Schedule' and searchParam.where(name = '_id' and type = 'token').exists()).exists() |
Details |
| Validation of the search parameter definitions in the CapabilityStatement |
RBellog 1 |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
Evidence Report |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
INFO - rest.where(mode = 'server').resource.where(type = 'Schedule' and searchParam.where(name = 'active' and type = 'token').exists()).exists() |
Details |
| Validation of the search parameter definitions in the CapabilityStatement |
RBellog 2 |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
Evidence Report |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
INFO - rest.where(mode = 'server').resource.where(type = 'Schedule' and searchParam.where(name = 'service-type' and type = 'token').exists()).exists() |
Details |
| Validation of the search parameter definitions in the CapabilityStatement |
RBellog 3 |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
Evidence Report |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
INFO - rest.where(mode = 'server').resource.where(type = 'Schedule' and searchParam.where(name = 'specialty' and type = 'token').exists()).exists() |
Details |
| Validation of the search parameter definitions in the CapabilityStatement |
RBellog 4 |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
Evidence Report |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
INFO - rest.where(mode = 'server').resource.where(type = 'Schedule' and searchParam.where(name = 'actor' and type = 'reference').exists()).exists() |
Details |
| Validation of the search parameter definitions in the CapabilityStatement |
RBellog 5 |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
Evidence Report |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
INFO - rest.where(mode = 'server').resource.where(type = 'Schedule' and searchParam.where(name = '_tag' and type = 'token').exists()).exists() |
Details |
| Validation of the search parameter definitions in the CapabilityStatement |
RBellog 6 |
Download Evidence |
| Validation of the search parameter definitions in the CapabilityStatement |
Evidence Report |
Download Evidence |
| Search for the Schedule by ID |
INFO - entry.resource.where(id.replaceMatches('/_history/.+','').matches('\\bSchedule-Read-Example$')).count() = 1 |
Details |
| Search for the Schedule by ID |
RBellog 0 |
Download Evidence |
| Search for the Schedule by ID |
Evidence Report |
Download Evidence |
| Optional Search for the Schedule by Tag and ID |
INFO - entry.resource.count() > 0 |
Details |
| Optional Search for the Schedule by Tag and ID |
INFO - entry.resource.all(meta.tag.where(code='external').exists()) |
Details |
| Optional Search for the Schedule by Tag and ID |
INFO - entry.resource.where(id.replaceMatches('/_history/.+','').matches('\\bSchedule-Read-Example$')).count() = 1 |
Details |
| Optional Search for the Schedule by Tag and ID |
RBellog 0 |
Download Evidence |
| Optional Search for the Schedule by Tag and ID |
Evidence Report |
Download Evidence |
| Search for the Schedule by Count |
INFO - entry.resource.count() > 0 and entry.resource.count() <= 1 |
Details |
| Search for the Schedule by Count |
RBellog 0 |
Download Evidence |
| Search for the Schedule by Count |
Evidence Report |
Download Evidence |
| Search for the Schedule that belong to a Practitioner, by Active state |
INFO - entry.resource.ofType(Schedule).count() > 0 |
Details |
| Search for the Schedule that belong to a Practitioner, by Active state |
INFO - entry.resource.ofType(Schedule).all(active = 'true') |
Details |
| Search for the Schedule that belong to a Practitioner, by Active state |
INFO - entry.resource.where(id.replaceMatches('/_history/.+','').matches('\\bSchedule-Read-Example$')).count() = 1 |
Details |
| Search for the Schedule that belong to a Practitioner, by Active state |
RBellog 0 |
Download Evidence |
| Search for the Schedule that belong to a Practitioner, by Active state |
Evidence Report |
Download Evidence |
| Search for the Schedule that belong to a Practitioner, by Service Type |
INFO - entry.resource.ofType(Schedule).count() > 0 |
Details |
| Search for the Schedule that belong to a Practitioner, by Service Type |
INFO - entry.resource.ofType(Schedule).all(serviceType.coding.where(code='177').exists()) |
Details |
| Search for the Schedule that belong to a Practitioner, by Service Type |
RBellog 0 |
Download Evidence |
| Search for the Schedule that belong to a Practitioner, by Service Type |
Evidence Report |
Download Evidence |
| Search for the Schedule that belong to a Practitioner, by Specialty |
INFO - entry.resource.ofType(Schedule).count() > 0 |
Details |
| Search for the Schedule that belong to a Practitioner, by Specialty |
INFO - entry.resource.ofType(Schedule).all(specialty.coding.where((code = '142' and system ='urn:oid:1.2.276.0.76.5.114') or (code = 'NEUR' and system ='http://ihe-d.de/CodeSystems/AerztlicheFachrichtungen')).exists()) |
Details |
| Search for the Schedule that belong to a Practitioner, by Specialty |
RBellog 0 |
Download Evidence |
| Search for the Schedule that belong to a Practitioner, by Specialty |
Evidence Report |
Download Evidence |
| Precondition |
RBellog 0 |
Download Evidence |
| Read and Validation of the CapabilityStatement |
INFO - rest.where(mode = 'server').resource.where(type = 'Slot' and interaction.where(code = 'read').exists()).exists() |
Details |
| Read and Validation of the CapabilityStatement |
RBellog 0 |
Download Evidence |
| Read and Validation of the CapabilityStatement |
Evidence Report |
Download Evidence |
| Read a Slot by ID |
INFO - id.replaceMatches('/_history/.+','').matches('\\bSlot-Read-Example$') |
Details |
| Read a Slot by ID |
INFO - schedule.reference.replaceMatches('/_history/.+','').matches('\\bSchedule-Read-Example$') |
Details |
| Read a Slot by ID |
INFO - start.toString().contains('2027-01-01') or start ~ @2027-01-01 |
Details |
| Read a Slot by ID |
INFO - end.empty().not() |
Details |
| Read a Slot by ID |
RBellog 0 |
Download Evidence |
| Read a Slot by ID |
Evidence Report |
Download Evidence |
| Precondition |
RBellog 0 |
Download Evidence |
| Read and Validation of the CapabilityStatement |
INFO - rest.where(mode = 'server').resource.where(type = 'ValueSet' and interaction.where(code = 'read').exists()).exists() |
Details |
| Read and Validation of the CapabilityStatement |
RBellog 0 |
Download Evidence |
| Read and Validation of the CapabilityStatement |
Evidence Report |
Download Evidence |
| Read and Validate ValueSet by its ID |
INFO - id.replaceMatches('/_history/.+','').matches('\\bValueSet-Read-Example$') |
Details |
| Read and Validate ValueSet by its ID |
INFO - useContext.value.coding.where(code = 'Encounter').exists() |
Details |
| Read and Validate ValueSet by its ID |
INFO - expansion.exists() |
Details |
| Read and Validate ValueSet by its ID |
INFO - expansion.contains.where(code = 'sun' and display = 'Sunday' and system = 'http://hl7.org/fhir/days-of-week').exists() |
Details |
| Read and Validate ValueSet by its ID |
RBellog 0 |
Download Evidence |
| Read and Validate ValueSet by its ID |
Evidence Report |
Download Evidence |
