<?xml version="1.0" encoding="UTF-8"?>

<LogicDiagram id="ch3apb" source="ch3apb.jpg">

  <Nodes>

    <Decision id="D1" name="TWA-MSK-ID = COMMON-LOC-MSK?"/>
    <Decision id="D2" name="SKEY = TWA-LAST-KEY?"/>
    <Decision id="D3" name="END OF LIST ALREADY REACHED?"/>

    <Terminal id="T1" name="NEW-TRANSACTION-MODE"/>
    <Terminal id="T2" name="CONTINUATION-MODE"/>

  </Nodes>

  <Edges>

    <!-- Entry decision -->
    <Edge from="D1" to="D2" condition="YES"/>
    <Edge from="D1" to="T1" condition="NO"/>

    <!-- Key match decision -->
    <Edge from="D2" to="D3" condition="YES"/>
    <Edge from="D2" to="T1" condition="NO"/>

    <!-- End-of-list decision -->
    <Edge from="D3" to="T2" condition="YES"/>
    <Edge from="D3" to="T1" condition="NO"/>

  </Edges>

  <Summary>

    <Outcome name="NEW-TRANSACTION-MODE"/>
    <Outcome name="CONTINUATION-MODE"/>

    <Observation>
      Continuation-mode is reached only when:
      COMMON-LOC-MSK matches AND SKEY matches last key AND end of list is reached.
      Any failed condition results in NEW-TRANSACTION-MODE.
    </Observation>

  </Summary>

</LogicDiagram>