<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta>
      <journal-title-group>
        <journal-title>Seitinger, A., Rappelsberger, A., Leitich, H., Binder, M., Adlassnig, K.P.: Exe-
cutable medical guidelines with arden syntax|applications in dermatology and
obstetrics. Arti cial Intelligence in Medicine</journal-title>
      </journal-title-group>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.1016/j.jbi.2012.02.001</article-id>
      <title-group>
        <article-title>Representing and executing a Medical Guideline using Prova</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Gerhard Kober</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Adrian Paschke</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Fraunhofer FOKUS and Freie Universitaet Berlin</institution>
          ,
          <addr-line>Berlin, Germany adrian[DT]paschke[AT]fokus.fraunhofer.de</addr-line>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Tiani "Spirit" Gmbh</institution>
          ,
          <addr-line>Vienna</addr-line>
          ,
          <country>Austria gerhard</country>
          <institution>[DT]kober[AT]tiani-spirit.com</institution>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2016</year>
      </pub-date>
      <volume>92</volume>
      <issue>71</issue>
      <abstract>
        <p>Patient assessment and nding their critical issues is a crucial aspect of patient care, which is addressed by a medical work ow called the ABCDE approach. However, the ABCDE guidelines are only described in a textual way and hence are not automated. Human errors in practical use might occur, e.g. by persons new into the domain. In this paper, we propose a technical solution to support medical sta during the ABCDE assessment tasks by helping to decide if a patient is critically ill or injured and prioritize particular treatments for better and faster therapy. The solution is built upon a set of semantic rules and automated using the rule-engine \Prova".</p>
      </abstract>
      <kwd-group>
        <kwd>Medical guideline</kwd>
        <kwd>Prova</kwd>
        <kwd>Ruleengine</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Introduction</title>
      <p>
        Medical sta in emergency rooms and paramedics in emergency scenes are
usually confronted with patients they do not know. This means they are unaware of
their current medical status, what has happened to them, and where or whom to
ask about details. Emergency cases have a unique characteristic for the persons
who need to treat patients - the focus during processing is on high important
body functions while having in mind, some body functions are less important
for surviving the illness or accident [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ]. For example, a person must have a free
airway - otherwise, breathing is impossible, and life is at high risk. In medical
science, a so-called 'ABCDE' approach (Airway, Breathing, Circulation,
Disability, Exposure) has been introduced, which takes care of life-threatening causes,
evaluating and treating them step by step [18].
      </p>
      <p>
        The ABCDE approach is a basis in many training formats (e.g., ERC
(European Resuscitation Council), NAEMT (National Association of Emergency
Medical Technicians), AHA (American Heart Association)) [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ]. For a paramedic
in training, the entire ABCDE approach is hard to learn and needs permanent
training to incorporate knowledge for quick evaluation about the patient's needs.
In daily routine, including all the details when evaluating the scene and the
single steps in the ABCDE approach, and take correct decisions for treatment or
calling for additional help and nally to lower lethality of patients [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ].
      </p>
      <p>The paper describes a technical approach to support the decision and
actiontaking concerning the ABCDE approach for paramedics in training or emergency
physicians. The goal is not only to provide support for the ve steps (as ABCDE
suggests), but our solution also details every step and supports the decision
whether a patient is critically ill and needs treatment within a hospital (e.g.,
a trauma-center or intensive care unit), or the patient is not critically ill and
therefore care at a physician's o ce is su cient. This technical support also
helps emergency doctors who do not complete the entire ABCDE approach and
tend to forget essential points [11].</p>
      <p>Personal health-tracking tools and more and more available personal medical
data [15] might lead to the idea to take a decision about critical illness already
during the emergency call, so that the emergency dispatcher can decide early
to send specialists to the emergency scene and already book intensive-care-beds
in advance. However, several papers that analyse the ABCDE approach advise
paramedics and medical teams to do a best e ort in the initial patient assessment
and it seems there is no technical approach yet to support this sort of work ow,
even if there are still issues in performing the ve steps.</p>
      <p>In the following section, we describe the ABCDE approach from a
practitioner's viewpoint and which technical solutions might be possible to apply to
it. In section 3 we describe our approach to deliver an at most exible solution
without the need to change software deployments. In the results-section (4) we
evaluate our solution with practical examples and then we discuss it in section
5. Finally, we conclude and mention future work in section 6.</p>
      <p>This paper contributes by delivering a technical solution for the currently
non-technical ABCDE approach in order to support medical sta in making
faster decisions.
2
2.1</p>
    </sec>
    <sec id="sec-2">
      <title>Related work</title>
      <sec id="sec-2-1">
        <title>The ABCDE approach</title>
        <p>The ABCDE approach is used in patient assessment for nding critical illnesses
or injuries and in treatment [20]. This approach was developed by experts in the
emergency eld and is applicable in any emergency case to any patient group.
ABCDE is an abbreviation for Airway, Breathing, Circulation, Disability, and
Exposure.</p>
        <p>This acronym is used to remind medical sta or paramedics about the order
of the checks. They are ordered by importance, and the purpose is to treat
rst what kills rst [23]. Every step has an outcome - either a \everything ne,
proceed"-result or a \stop here - apply treatment, take a decision for immediate
transport or call for specialist". All these tasks contain more factual information:
the particular checks to be done, which treatment to apply, upper and lower
limits for vital signs. The approach allows starting from the very beginning,
once an issue is xed. For example, if the airway is blocked, a \stop and
treat"result will occur. Once the paramedic is able to resolve the issue, the paramedic
is forced to restart the entire ABCDE approach and nd subsequent issues.</p>
        <p>The overall result of the entire ABCDE approach is either critical or not
critical. These two impact patient treatment, priority within a treating facility (e.g.,
hospital, the ambulance car), and the following urgent procedures for medical
sta .</p>
        <p>From a more generic viewpoint, the ABCDE approach can be considered
as a medical work ow. The ABCDE approach displayed in gure 1 (without
exceptions) maps to a sequence-work ow-pattern [21]. This is because every
check Airway
check Breathing
check Circulation
check Disability</p>
        <p>check Exposure
step in the ABCDE approach is a single task, but the next one can only proceed
if the previous is successfully completed. The start event involves a medical
person's involvement, and the end of the task sequence is the nal result. This
sequence (work ow) pattern, when taking into account the subsequent tasks, of
the entire ABCDE approach maps technically to an 'exclusive-choice-work
owpattern' [21]. The expansion is needed because if a medical check (e.g., on the
Airway) is not successful, another work ow branch proceeds. Each sub-branch
includes manual interventions, instructions, and decisions that need to be taken.</p>
        <p>
          BPMN (Business Process Model and Notation) [
          <xref ref-type="bibr" rid="ref5">5</xref>
          ] is a widely used approach
to describe Clinical Guidelines de ning each step and the di erent path to
follow. In [
          <xref ref-type="bibr" rid="ref2">2</xref>
          ] a BPMN model was used to transform guidelines into a formal model
called 'labeled event structures (LES)' for nding con icts between two
guidelines applied at the same time. However, the LES mapping is not appropriate to
use it within a rule engine.
        </p>
        <p>From a technical perspective, the decisions taken within the medical work ow
are rules [10]. The "check-result" of any decision-point is depending on multiple
parameters. So the rules decide on the path to be followed in the sequence. For
example, the "check Breathing"-decision-point depends on whether the patient
breathes normally and on oxygen saturation greater than 95%. Therefore the
rule decides for true (=yes) only if the two mentioned functions evaluate to true;
otherwise, the rule concludes false (=no).</p>
        <p>The entire ABCDE approach is shown in gure 2. Since many publications
provide a textual description of the ABCDE approach, these descriptions are
still unclear, and they di er in detail, depending on the expert (-group) being
involved. However, for our solution, the detail itself is not of importance, since
it is just another parameter.
2.2</p>
      </sec>
      <sec id="sec-2-2">
        <title>Medical Rule Engines</title>
        <p>Research in clinical/medical decision support systems and the related work ows
has a long history. One of the main contributors in the eld of clinical decision
support is the Arden Syntax [17]. Another standard is the \Guideline Interchange
Format" (GLIF3), which intention is about guideline-sharing. However, there
are many more Clinical Decision Support Systems, but these two are essential
because Arden Syntax is productively used, and GLIF3 takes care about sharing
guidelines.</p>
        <p>The structure of Arden Syntax follows so-called Medical Logic Modules
(MLMs), which are collected out of di erent components. Namely they are
\Maintainance", \Library", \Knowledge" and \Resources". All these
components together are needed to build an appropriate knowledge base, to provide
enough logic for taking clinical decisions [9]. From a technical perspective, a
technician always needs to implement the MLMs, since the encoding of these
modules is done for programmers and is not fully intuitive for an end-user.
Furthermore, the provided examples [19] in the literature show that huge work ows
contain a lot of if- else- clauses, in order to capture the entire work ow. This is
because there is a need to take care about any detail in the conceptualization
of the entire decision-path. However, the Arden syntax with the MLM structure
is an established tool that is powerful in clinical decision support but seems too
complicated for simple work ows like the ABCDE approach and needs an exact
de nition of the particular work ow and possible outcomes (e.g., there is no
mechanism for \negation as a failure" as in logic programming rules).</p>
        <p>
          The approach using medical guidelines, with a focus on sharing, is the
Guideline Interchange Format (GLIF3) [22]. It was based on Arden Syntax and is
meant to be used for exchanging guidelines among di erent systems. GLIF3
creates owcharts of medical work ows containing an object-oriented
representation for decision tasks of the guideline [
          <xref ref-type="bibr" rid="ref3">3</xref>
          ]. There is a user-frontend available
for creating the work ows and transforming them to an XML syntax. For the
formalization of the guideline expressions itself, Arden Syntax was incorporated
into GLIF, but due to incompatibilities, the GLIF3 (version 3) removed Arden
Syntax and developed their own language called GELLO (Guideline
Expression Language, object-orientated). To allow standardized decision-taking and
equal treatment procedures even in di erent locations, sharing medical
guidelines is an essential task. To achieve the goal of reproducible results beyond
hospital boundaries, the same work ows and rules need to be applied. To avoid
re-implementing the same guidelines several times, the approach of creating it
once and sharing seems appropriate. Encoding the guideline to an XML
representation for exchanging among systems is standard practice and widely used.
This way of exchanging information is also used in RuleML4.
4 http://wiki.ruleml.org/index.php/Mission
        </p>
        <p>perform ABCDE approach
yes obviousCriticalBleeding</p>
        <p>no
proceedToCirculationCheck
yes check Circulation</p>
        <p>no
GlucoseLevel &lt; 50</p>
        <p>yes
apply Glucose</p>
        <p>no
alert "too low GlucoseLevel"</p>
        <p>GlucoseLevel &gt; 500</p>
        <p>yes
alert "too high GlucoseLevel"</p>
        <p>no
GCS &lt; 12 no</p>
        <p>yes
alert "to low GCS - neurological deficites"
pupilsisocore</p>
        <p>no
alert "Pupils not isocore"</p>
        <p>yes
strokeSigns</p>
        <p>yes
alert "StrokeSigns"</p>
        <p>no
disability not ok
set clinical tasks
alert Critical
cinical task stop bleeding
alert Critical
proceedToDisabilityCheck
yes check Disability
proceedToExposureCheck</p>
        <p>no
yes checkExposure
proceedToSecondarySurvey</p>
        <p>no
prepare for Transport to clinics
submit evaluated information about
Patient to clinics
exposure not ok
set tasks on exposure
alert Critical</p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>3 Representing the Rules</title>
      <p>In this section, we represent the ABCDE work ow as logical rules, de ning the
overall sequence and the expected outcomes of each rule. Secondly, we describe
proceedToBreathingCheck
yes check Breathing</p>
      <p>no
hasPulse yes</p>
      <p>no
start CPR
alert Critical
pulseRate between 50 and 100</p>
      <p>no
alert "Heart Rate too high/low"</p>
      <p>yes
systolicBloodPressure between &gt;160 or &lt;80</p>
      <p>no
alert "Systolic Blood Pressure too high/low"</p>
      <p>yes
circulation not ok
set tasks on circulation
alert Critical
breathes yes</p>
      <p>no
start CPR
alert Critical
proceedToAirwayCheck
yes check Airway no
hasCyanosis</p>
      <p>yes
apply Oxygen</p>
      <p>no
alert "has cyanosis"</p>
      <p>free airway
alert airway not free</p>
      <p>alert Critical
chestExpansionSymmetric</p>
      <p>no
alert "has no symmetric chest expansion"
respiratoryRhythmNormal</p>
      <p>no
alert "Respiratory Rhythm not normal"
respiratoryRate between 8 &amp; 20 per Minute</p>
      <p>no
alert "Respiratory Rate too low/high"</p>
      <p>yes
yes
yes
yes
oxygenSaturation &gt; 95%</p>
      <p>no
apply Oxygen
alert "OxygenSaturation too low"
set clinical tasks to al ow breathing
breathing not ok
alert Critical
a proof of concept implementation using Prova-rule-engine. Thirdly, we outline
a "hard-coded"-version of the work ow.</p>
      <p>The ABCDE work ow is rigorous in the procedure. Therefore, the work ow
does not allow any change in the order since the tasks are depending on each
other. Furthermore, is it a must for the sequence to stop if any task is evaluated
as \not normal". From a practitioner's perspective, these stops are crucial to
deliver treatment to the patient at the right point of time, call for additional
help, or prepare rapid transportation.
3.1</p>
      <p>
        Representing the ABCDE approach in formal rules
As a rst step in transforming the medical work ow from a textual representation
to a technical support solution, there is the need for a formal de nition of the
applied rules. These rules can be represented as a set of horn-clauses [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]. These
clauses only hold if the entire body of the rule holds; otherwise, the rule's head
results in false. Furthermore, this formal representation can be used for the
implementation task.
      </p>
      <p>Before de ning the rules in more detail, it is necessary to mention the
following: the over-all-work ow sequence de nes the ABCDE work ow by itself.
Secondly, each task of the sequence is also a rule that needs evaluation.</p>
      <p>We de ne the check-results as follows (table 1):
Using this information, we conclude every check results to be true if there is no
critical issue in any of the single tasks. Therefore the entire result is not critical.
If any of the checks resolves to false, the entire formula results in false therefore
:notCritical, which means a critical outcome.</p>
      <p>For the more detailed checks, some facts, which are essential for analysis,
need to be de ned. This de nition is done on the patient's "should-be" status;
healthy and everything as expected. The patient's vital signs, which are checked
during the entire process and that need to be resolved as true are represented
in table 2.</p>
      <p>With this information available, the next step is in resolving the truth-values
for A, B, C, D, E. These more detailed probes are the trigger for nding the
critical values during the entire process.</p>
      <p>For the checkAirway (
following rule.</p>
      <p>A), the validation to airwayIsFree is done by using the
A
checkAirwayF ree(x)
This means if the airwayIsFree resolves to true, A resolves to true, otherwise, A
returns false, and subsequently returns a false for the notCritical.</p>
      <p>Similar for the checkBreathing ( B) which concludes to true if, and only if
the patient breathes, has no cyanosis, the chest expands symmetric, a normal
respiratory rhythm, a respiratory rate is between 8 and 15 per minute, and
oxygen saturation of the blood higher than 95%. Formulating this as a rule, give
the following representation:</p>
      <p>B
breathes(x) ^ :cyanosis(x) ^ symmetricChestExpansion(x)
^respiratoryRhythm(x) ^ respiratoryRate(x; y; z)
(3)
^oxygenSaturation(x; y)
If the check Breathing results to true the circulationCheck ( C) is performed.
It consists of checking if the patient has a pulse and if yes, the pulse rate and
the systolic blood pressure are interesting. When formulating this as a rule
representation, we get the following:
C
D</p>
      <p>pulseCentral(x) ^ pulseRate(x; y; z) ^ systolicBloodP ressure(x; y; z) (4)
The next in the sequence is the checkDisability ( D). It takes care of the blood
glucose level, next to the GCS (Glasgow coma scale), if there is a symmetric
reaction of the eyes and any stroke signs that are of high importance to take
care of. Formulating this needs resolves to:</p>
      <p>glucoseLevel(x; y; z) ^ GCS(x) ^ pupilsisocore(x) ^ strokeSigns(x) (5)
The last step in the ABCDE approach is the checkExposure ( E). This check
results in yes/no-answers, where the "no" is the needed one, and therefore the
true/false mechanism is ipped. For example, the hasBleeding resolves to true if
there is no bleeding, but it is false if there is bleeding. The same applies to the
other functions.</p>
      <p>E</p>
      <p>hasBleeding(x)^hasBrokenBone(x)^hasAllergies(x)^hasP ain(x) (6)
During the entire process, the solution needs to take care of outcomes. This
means, no matter if a result is positive (notCritical, or an \Exception" is
happening during the ABCDE sequence, this result needs to be communicated to
the consumer of the work ow. Thus, we included an additional predicate to send
messages by using Prova as a rule engine. These messages contain information
about the outcome(s), which is dispatched to the initial caller of the Prova
service.
3.2</p>
      <p>Proof of concept implementation using Prova
Having a formal representation of the rules is an advantage for a proof of concept
implementation. For our implementation we are using a rule engine. A
ruleengine separates the business logic from program logic [12] in a declarative rule
representation. Considering the ABCDE approach as \business logic", we can
easily change or extend the approach and the di erent checks without the need of
changing program code, which takes care of the alerting mechanism itself. Even
if di erent healthcare organizations need to have their individual procedures
because of di erent levels of expertise, the same software stack can be applied
by only changing the rule logic. Also, suppose there are new ndings in medical
research targeting changes in the logic. In that case, an alignment can quickly
be done without the need to deliver new software to an organization or an
individual.</p>
      <p>The procedure in our solution: The rule-engine (in our particular case) Prova5
[16], receives the message values, processes them and returns the outcome of the
rule evaluation.</p>
      <p>The Prova-syntax is prolog-style, and allows, on the one hand, to de ne facts,
and on the other hand, the rules and goals. For our use case, we need to take
care of all of the three elements. In more detail: From a user perspective, there
is a user interface where the user can put all the information about a patient.
If the user then hits the "submit"-button, the entered values are sent (in the
form of JSON-RESTful-queries) to a Java servlet. The Java servlet receives the
submission and then calls the rule-engine, with the con gured logic, and the "to
be evaluated goal" (in here the notCritical ).</p>
      <p>Prova evaluates all the con gured rules from section 3.1 and delivers the
result back to the servlet. The resulting message from Prova back to the servlet
is send using the sendMsg-function of Prova.</p>
      <p>The sendMsg-function is a build-in-function of Prova that stops the work ow
at the right point of procedure, with a correct error message. For example: if the
airway is evaluated as \not free", the work ow stops and returns that an error in
the procedure occurred and needs re-evaluation or treatment of this particular
issue.</p>
      <p>We de ne the following sendMsg -functions within the rules. In general, in
order to get a result returned, if no error occurred during processing, we send a
completed message so that the user knows that the check is completed.
sendM sg(XID; osgi; "F HIR"; inf orm; "ABCDECheck"
&gt; completed):
(7)
5 https://github.com/prova/prova</p>
      <p>For any errors there are also messages to be sent back, to provide the user
with information about the issue, and what to treat. For example:
sendM sg(XID; osgi; "F HIR"; inf orm; "AirwayN otF ree"
&gt; AW ):
(8)</p>
      <p>The Prova rulebase is con gured to take care of the correct sequence of
the ABCDE approach and stops if one is not successful. It also takes care of
subsequent tasks for alerting. If everything is completed without any occurrences,
the result is "completed" - no alerting, and a success message is send.</p>
      <p>By implementing the work ow with Prova, i.e. a declarative rule
representation, an advantage of our approach is the ease of extension. Any other work ow
can be used by simply adding a new Prova- le containing the needed decisions.
The generation of Prova les can be done by translating from the RuleML
syntax. Due to the RuleML standard, this work ow is applicable to any other rule
engine that supports RuleML or can convert from it, as well6 [13].
3.3</p>
      <p>Proof of concept implementation using Java
As an alternative to using a rule engine, the entire work ow can be coded in a
Java program with imperative if-then rules following a prede ned control ow.
This is an approach that seems very obvious and has its legitimacy since, for
a developer, it is an easy task to implement a method that covers the rules.
However, this approach gets quickly confusing because of many decision points
within the code.</p>
      <p>In our proof of concept implementation for the hard-coded task, we used a
small Java program containing a method, which receives the values from a JSON
object and then runs the sequence. We had to take care of the di erent types
that might be included in a JSON request and had to transform them to compare
them. Concerning the Prova implementation, we did not face this problem, since
Prova already handles types and comparison mechanisms. Furthermore, this
approach is not exible for an organization to operate and maintain, and it is
pretty expensive since every change needs to be re-implemented. If deploying
the software in di erent organizations, every customer is forced to use another
version. This hard-coded solution becomes cumbersome even if a limit change
or an additional parameter needs to be checked.</p>
      <p>The code about the implementation can be found on Github7. There is the
Java implementation as well as the Prova implementation and the rules.
4</p>
    </sec>
    <sec id="sec-4">
      <title>Evaluation and Results</title>
      <p>For the evaluation, we checked for the correct behavior of both implementation
solutions. Since the evaluation focused on the correctness of the rule's results,
we required the values submitted to be of the correct type or contained allowed
6 https://github.com/RuleML/rule-translation-service
7 https://github.com/gkober/MedicalRule
values. For example, a number- eld contained a number, but not a text, and
also the "yes/no"-questions had to contain yes or no. We sent 50 JSON queries
containing di erent allowed values to both solutions and received the same
results. A manual check of the target result was done, and the results from the
manual checks matched the results from the implementation.</p>
      <p>During implementation, we found a signi cant advantage of the
Prova-rulebased version was the ease of extension of the ruleset. Adding the appropriate
rules, saving the le, and re-running the development tests was comfortable in
relation to implementing the comparison mechanisms in the Java-code-base.</p>
      <p>The pure Java implementation hits some limits: so we need to use the correct
values for the speci c types. For instance, "airwayFree" can not be yes or no
- since Java can not handle it out of the box as boolean values. So we needed
to convert to make sure the values are true or false. For a potential customer,
who does not have a technical background, and only wants to implement the
support tool for his organization, this hard to understand and eventually too
technical. Furthermore, if the implementation takes care of this, we need to
cover all possible "positive" results and convert them.</p>
      <p>Additionally, failure processing gets quite complex, due to the many
combinations, if there are multiple "wrong" results for the alerting mechanism.</p>
      <p>Another problematic limit is the exchange of the rules. Suppose several
locations (organizations) run the processing engine, and all need to ensure the
same behavior as the local medical experts need it. In that case, it might get
problematic to exchange the rules to all participants simultaneously. Having a
standard like RuleML, which allows the interoperability of rules, helps to have a
stable code base from a deployment perspective and an easy exchangeable part
in the rules.
5</p>
    </sec>
    <sec id="sec-5">
      <title>Discussion</title>
      <p>
        The objective of this paper was to nd a technical solution to support medical
sta during patient evaluation and nding the critically ill/injured people using
the ABCDE approach, and deliver the appropriate therapy. This is highly
relevant since physicians and paramedics in the eld tend to forget essential checks,
and patients are missing proper treatment [14][
        <xref ref-type="bibr" rid="ref7">7</xref>
        ].
      </p>
      <p>We created a formal description of the rules applied during the ACBDE
approach, also taking into account, there are exit rules that ensure stopping
the algorithm at the correct point. A proof of concept implementation supports
the general rule approach and compares di erent attempts of implementation.
One implementation was done using the Prova-rule engine, while another
implementation was done using only Java. Both methods were evaluated in terms of
correctness. From our perspective, the more exible solution is the declarative
rule-based version since the exchange or extension of rules is more manageable
and not depending on a developer changing the behavior. The idea of using such
a tool in the daily routine of paramedics or physicians needs to be evaluated,
and a study of acceptance and results needs to be done.</p>
      <p>This unique work ow is minimal and very strict in yes/no, and has very
well described criteria when a patient is assessed as critical or not-critical. It is
possible to apply the idea of representing and executing medical work ows in
a rule engine for decision support. Using RuleML as rule interchange standard
supports a broad eld of use, and is not focused too strict on the medical domain
such as Arden syntax, or GLIF3, which e.g. might help in nding external reasons
for illnesses.
6</p>
    </sec>
    <sec id="sec-6">
      <title>Conclusion &amp; Future work</title>
      <p>In this work, we used a simple medical work ow called the ABCDE approach,
which is well known amongst paramedics and medical sta , to represent it
technically for supporting the medical personal during patient evaluation. Therefore, a
formal representation of the work ow was done, including "second-level"-checks,
to evaluate a work ow to critical or not-critical. This formal representation was
then transformed into a proof of concept implementation to check for
correctness. By now, the rule engine is relying on parameters that are provided. In the
future, it is foreseen to include data queries (e.g., SPARQL-queries) to the rules
and not to have the data in the incoming stream. This helps reduce the amount
of transferred data if data is not necessary for evaluation.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1. The ABCDE Approach, https://www.resus.org.uk/library/abcde-approach, accessed:
          <fpage>2021</fpage>
          -07-19
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Bowles</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Caminati</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Cha</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Mendoza</surname>
            ,
            <given-names>J.:</given-names>
          </string-name>
          <article-title>A framework for automated con ict detection and resolution in medical guidelines</article-title>
          .
          <source>Science of Computer Programming</source>
          <volume>182</volume>
          ,
          <issue>42</issue>
          {
          <fpage>63</fpage>
          (
          <year>2019</year>
          ). https://doi.org/https://doi.org/10.1016/j.scico.
          <year>2019</year>
          .
          <volume>07</volume>
          .002
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Boxwala</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Peleg</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Tu</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ogunyemi</surname>
            ,
            <given-names>O.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Zeng-Treitler</surname>
            ,
            <given-names>Q.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Wang</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Patel</surname>
            ,
            <given-names>V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Greenes</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          , Shortli e, E.:
          <article-title>Glif3: A representation format for sharable computer-interpretable clinical practice</article-title>
          .
          <source>Journal of Biomedical Informatics - JBI</source>
          (01
          <year>2004</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Chandra</surname>
            ,
            <given-names>A.K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Harel</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          :
          <article-title>Horn clause queries and generalizations</article-title>
          .
          <source>The Journal of Logic Programming</source>
          <volume>2</volume>
          (
          <issue>1</issue>
          ),
          <volume>1</volume>
          {
          <fpage>15</fpage>
          (
          <year>1985</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Chinosi</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Trombetta</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Bpmn: An introduction to the standard</article-title>
          .
          <source>Computer Standards &amp; Interfaces</source>
          <volume>34</volume>
          (
          <issue>1</issue>
          ),
          <volume>124</volume>
          {
          <fpage>134</fpage>
          (
          <year>2012</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Culemann</surname>
            ,
            <given-names>U.</given-names>
          </string-name>
          , et al.:
          <article-title>Logistische materialvorhaltung der polytraumaversorgung im schockraum aus unfallchirurgischer sicht unter berucksichtigung des status der klinik: Uberregionales traumazentrum akh celle (schwerpunktversorger)</article-title>
          .
          <source>OPJOURNAL</source>
          <volume>36</volume>
          (
          <issue>01</issue>
          ),
          <volume>41</volume>
          {
          <fpage>48</fpage>
          (
          <year>2020</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Fernandez-Mendez</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Otero-Agra</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Abelairas-Gomez</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Saez-Gallego</surname>
            ,
            <given-names>N.M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rodr</surname>
            guez-Nun~ez,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Barcala-Furelos</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          :
          <article-title>ABCDE approach to victims by lifeguards: How do they manage a critical patient? A cross sectional simulation study</article-title>
          .
          <source>PLoS ONE</source>
          <volume>14</volume>
          (
          <issue>4</issue>
          ),
          <volume>1</volume>
          {
          <fpage>12</fpage>
          (
          <year>2019</year>
          ). https://doi.org/10.1371/journal.pone.0212080
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8. Haske,
          <string-name>
            <given-names>D.</given-names>
            ,
            <surname>Gliwitzky</surname>
          </string-name>
          ,
          <string-name>
            <surname>B.</surname>
          </string-name>
          , Munzberg, M.:
          <article-title>Notfallmedizin{standardisierte kursformate</article-title>
          .
          <source>Lege artis-Das Magazin zur arztlichen Weiterbildung</source>
          <volume>5</volume>
          (
          <issue>02</issue>
          ),
          <volume>110</volume>
          {
          <fpage>116</fpage>
          (
          <year>2015</year>
          )
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>