<?xml version="1.0" encoding="UTF-8" standalone="no"?><SplBehavioralModel name="5"><ActivityDiagram name="AD_SPL_0"><Elements><ActivityDiagramElement name="Start node" type="StartNode"/><ActivityDiagramElement name="End node" type="EndNode"/><ActivityDiagramElement name="additionalActions" type="Activity"><RepresentedBy seqDiagName="additionalActions"/></ActivityDiagramElement><ActivityDiagramElement name="messageDelivery" type="Activity"><RepresentedBy seqDiagName="messageDelivery"/></ActivityDiagramElement><ActivityDiagramElement name="sendMessage" type="Activity"><RepresentedBy seqDiagName="sendMessage"/></ActivityDiagramElement><ActivityDiagramElement name="createMessage" type="Activity"><RepresentedBy seqDiagName="createMessage"/><RepresentedBy seqDiagName="createMessage"/></ActivityDiagramElement><ActivityDiagramElement name="createMessage" type="Activity"><RepresentedBy seqDiagName="createMessage"/><RepresentedBy seqDiagName="createMessage"/></ActivityDiagramElement></Elements><Transitions><Transition name="additionalActions" probability="1.0" source="additionalActions" target="End node"/><Transition name="messageDelivery" probability="1.0" source="messageDelivery" target="additionalActions"/><Transition name="sendMessage" probability="1.0" source="sendMessage" target="messageDelivery"/><Transition name="createMessage" probability="1.0" source="createMessage" target="sendMessage"/><Transition name="" probability="1.0" source="Start node" target="createMessage"/></Transitions></ActivityDiagram><SequenceDiagrams><SequenceDiagram guard="Addressbook" name="n4"><Message name="outgoing" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getAddressBookReceiversForAlias" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getEmailTo" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply_getEmailTo" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply_getAddressBookReceiversForAlias" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="setEmailTo" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="outgoing" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="incoming" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="deliver" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/><Message name="outgoing" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="getAddressBookReceiversForAlias" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="getEmailTo" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reply_getEmailTo" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reply_getAddressBookReceiversForAlias" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="setEmailTo" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="outgoing" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="incoming" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="deliver" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="true" name="messageDelivery"><Message name="getClientByAddress" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="incoming" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Fragment name="n0" type="optional"><RepresentedBy seqDiagName="n0"/></Fragment><Fragment name="n1" type="optional"><RepresentedBy seqDiagName="n1"/></Fragment><Message name="deliver" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/><Message name="getClientByAddress" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="incoming" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="true" name="additionalActions"><Fragment name="n2" type="optional"><RepresentedBy seqDiagName="n2"/></Fragment><Fragment name="n3" type="optional"><RepresentedBy seqDiagName="n3"/></Fragment><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/></SequenceDiagram><SequenceDiagram guard="o_4" name="SD_11"><Message name="T22" probability="0.9968" source="Lifeline3" target="Lifeline5" type="synchronous"/><Message name="T23" probability="0.9945" source="Lifeline5" target="Lifeline3" type="synchronous"/><Message name="T24" probability="0.9945" source="Lifeline3" target="Lifeline3" type="synchronous"/><Message name="T25" probability="0.9945" source="Lifeline3" target="Lifeline3" type="synchronous"/><Message name="T26" probability="0.9917" source="Lifeline3" target="Lifeline0" type="synchronous"/><Message name="T27" probability="0.9917" source="Lifeline0" target="Lifeline0" type="synchronous"/><Message name="T28" probability="0.9999" source="Lifeline0" target="Lifeline2" type="synchronous"/><Message name="T29" probability="0.9968" source="Lifeline2" target="Lifeline5" type="synchronous"/><Message name="T30" probability="0.9917" source="Lifeline5" target="Lifeline0" type="synchronous"/><Message name="T31" probability="0.9945" source="Lifeline0" target="Lifeline3" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="Verify" name="n0"><Message name="verify" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getKeyringPublicByClient" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getEmailFrom" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply_getEmailFrom" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply_getKeyringPublicByClient" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="setIsSignatureVerified" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/><Message name="verify" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="getKeyringPublicByClient" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="getEmailFrom" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reply_getEmailFrom" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reply_getKeyringPublicByClient" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="setIsSignatureVerified" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="Keys" name="n8"><Message name="getKeyringPublicKeyByClient" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getKeyOwner" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getPublicKey" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/><Message name="getKeyringPublicKeyByClient" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="getKeyOwner" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="getPublicKey" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="Decrypt" name="n1"><Message name="getPrivateKey" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply_getPrivateKey" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="setEmailIsEncrypted" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="setEmailEncryptionKey" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/><Message name="getPrivateKey" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reply_getPrivateKey" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="setEmailIsEncrypted" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="setEmailEncryptionKey" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="AutoResponder" name="n3"><Message name="isAutoResponse" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply_isAutoResponse" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="autoRespond" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getEmailFrom" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply_getEmailFrom" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="setEmailFrom" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getName" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply_getName" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply_setEmailTo" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="outgoing" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="setEmailFrom" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="mail" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="incoming" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="deliver" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="isAutoResponse" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply_isAutoResponse" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="autoRespond" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getEmailFrom" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="setEmailTo" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getName" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply_getName" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="outgoing" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="setEmailFrom" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="mail" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="incoming" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/><Message name="isAutoResponse" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reply_isAutoResponse" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="autoRespond" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="getEmailFrom" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reply_getEmailFrom" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="setEmailFrom" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="getName" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reply_getName" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reply_setEmailTo" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="outgoing" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="setEmailFrom" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="mail" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="incoming" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="deliver" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="isAutoResponse" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reply_isAutoResponse" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="autoRespond" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="getEmailFrom" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="setEmailTo" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="getName" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reply_getName" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="outgoing" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="setEmailFrom" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="mail" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="incoming" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="o_5" name="SD_14"><Message name="T22" probability="0.9927" source="Lifeline1" target="Lifeline5" type="synchronous"/><Message name="T23" probability="0.9925" source="Lifeline5" target="Lifeline3" type="synchronous"/><Message name="T24" probability="0.9989" source="Lifeline3" target="Lifeline1" type="synchronous"/><Message name="T25" probability="0.9904" source="Lifeline1" target="Lifeline4" type="synchronous"/><Message name="T26" probability="0.9978" source="Lifeline4" target="Lifeline2" type="synchronous"/><Message name="T27" probability="0.9904" source="Lifeline2" target="Lifeline4" type="synchronous"/><Message name="T28" probability="0.9977" source="Lifeline4" target="Lifeline0" type="synchronous"/><Message name="T29" probability="0.9904" source="Lifeline0" target="Lifeline4" type="synchronous"/><Message name="T30" probability="0.9904" source="Lifeline4" target="Lifeline4" type="synchronous"/><Message name="T31" probability="0.9977" source="Lifeline4" target="Lifeline0" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="true" name="createMessage"><Message name="createEmail" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="createEmail" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="setEmailFrom" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="setEmailTo" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="setEmailSubject" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="setEmailBody" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Fragment name="Fragment_4" type="optional"><RepresentedBy seqDiagName="SD_8"/></Fragment><Message name="reply_createEmail" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/><Message name="createEmail" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="createEmail" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Fragment name="Fragment_6" type="optional"><RepresentedBy seqDiagName="SD_11"/></Fragment><Fragment name="Fragment_3" type="optional"><RepresentedBy seqDiagName="SD_5"/></Fragment><Fragment name="Fragment_0" type="optional"><RepresentedBy seqDiagName="SD_2"/></Fragment><Fragment name="Fragment_9" type="optional"><RepresentedBy seqDiagName="SD_14"/></Fragment><Message name="setEmailFrom" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="setEmailTo" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="setEmailSubject" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="setEmailBody" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reply_createEmail" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="o_3" name="SD_8"><Message name="T22" probability="0.9931" source="Lifeline2" target="Lifeline5" type="synchronous"/><Message name="T23" probability="0.9953" source="Lifeline5" target="Lifeline4" type="synchronous"/><Message name="T24" probability="0.9937" source="Lifeline4" target="Lifeline0" type="synchronous"/><Message name="T25" probability="0.9931" source="Lifeline0" target="Lifeline5" type="synchronous"/><Message name="T26" probability="0.9953" source="Lifeline5" target="Lifeline4" type="synchronous"/><Message name="T27" probability="0.9917" source="Lifeline4" target="Lifeline1" type="synchronous"/><Message name="T28" probability="0.9917" source="Lifeline1" target="Lifeline1" type="synchronous"/><Message name="T29" probability="0.9937" source="Lifeline1" target="Lifeline0" type="synchronous"/><Message name="T30" probability="0.9935" source="Lifeline0" target="Lifeline2" type="synchronous"/><Message name="T31" probability="0.9917" source="Lifeline2" target="Lifeline1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="Keys" name="n6"><Message name="getPrivateKey" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply_getPrivateKey" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="setEmailIsSigned" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="setEmailSignKey" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/><Message name="getPrivateKey" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reply_getPrivateKey" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="setEmailIsSigned" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="setEmailSignKey" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="Encrypt" name="n7"><Message name="outgoing" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getClientByAddress" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getEmailTo" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Fragment name="n8" type="optional"><RepresentedBy seqDiagName="n8"/></Fragment><Message name="setEmailEncryptionKey" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="setEmailIsEncrypted" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/><Message name="outgoing" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="getClientByAddress" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="getEmailTo" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="o_1" name="SD_2"><Message name="T22" probability="0.9972" source="Lifeline4" target="Lifeline1" type="synchronous"/><Message name="T23" probability="0.9972" source="Lifeline1" target="Lifeline1" type="synchronous"/><Message name="T24" probability="0.9972" source="Lifeline1" target="Lifeline1" type="synchronous"/><Message name="T25" probability="0.9972" source="Lifeline1" target="Lifeline1" type="synchronous"/><Message name="T26" probability="0.9977" source="Lifeline1" target="Lifeline0" type="synchronous"/><Message name="T27" probability="0.9977" source="Lifeline0" target="Lifeline0" type="synchronous"/><Message name="T28" probability="0.993" source="Lifeline0" target="Lifeline3" type="synchronous"/><Message name="T29" probability="0.9954" source="Lifeline3" target="Lifeline5" type="synchronous"/><Message name="T30" probability="0.9977" source="Lifeline5" target="Lifeline0" type="synchronous"/><Message name="T31" probability="0.9912" source="Lifeline0" target="Lifeline2" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="true" name="sendMessage"><Fragment name="n4" type="optional"><RepresentedBy seqDiagName="n4"/></Fragment><Fragment name="n5" type="optional"><RepresentedBy seqDiagName="n5"/></Fragment><Fragment name="n7" type="optional"><RepresentedBy seqDiagName="n7"/></Fragment><Message name="setEmailFrom" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="mail" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/></SequenceDiagram><SequenceDiagram guard="Sign" name="n5"><Message name="outgoing" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="sign" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Fragment name="n6" type="optional"><RepresentedBy seqDiagName="n6"/></Fragment><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/><Message name="outgoing" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="sign" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="Forward" name="n2"><Message name="getForwardReceiver" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply_getForwardReceiver" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="setEmailTo" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getName" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply_getName" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="forward" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="printMail" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="outgoing" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="setEmailFrom" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="mail" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="incoming" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/><Message name="getForwardReceiver" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reply_getForwardReceiver" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="setEmailTo" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="getName" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reply_getName" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="forward" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="printMail" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="outgoing" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="setEmailFrom" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="mail" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="prompt" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="incoming" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="o_2" name="SD_5"><Message name="T22" probability="0.9934" source="Lifeline1" target="Lifeline4" type="synchronous"/><Message name="T23" probability="0.9934" source="Lifeline4" target="Lifeline4" type="synchronous"/><Message name="T24" probability="0.9961" source="Lifeline4" target="Lifeline3" type="synchronous"/><Message name="T25" probability="0.9974" source="Lifeline3" target="Lifeline1" type="synchronous"/><Message name="T26" probability="0.9966" source="Lifeline1" target="Lifeline0" type="synchronous"/><Message name="T27" probability="0.9966" source="Lifeline0" target="Lifeline0" type="synchronous"/><Message name="T28" probability="0.9974" source="Lifeline0" target="Lifeline1" type="synchronous"/><Message name="T29" probability="0.9961" source="Lifeline1" target="Lifeline3" type="synchronous"/><Message name="T30" probability="0.9974" source="Lifeline3" target="Lifeline1" type="synchronous"/><Message name="T31" probability="0.9911" source="Lifeline1" target="Lifeline5" type="synchronous"/></SequenceDiagram><Lifelines><Lifeline name="Lifeline4" reliability="0.9904"/><Lifeline name="Lifeline3" reliability="0.9925"/><Lifeline name="Lifeline4" reliability="0.9904"/><Lifeline name="Lifeline_1" reliability="0.999"/><Lifeline name="Lifeline0" reliability="0.9977"/><Lifeline name="Lifeline_0" reliability="0.999"/><Lifeline name="Lifeline2" reliability="0.9978"/><Lifeline name="Lifeline1" reliability="0.9989"/><Lifeline name="Lifeline5" reliability="0.9927"/><Lifeline name="Lifeline1" reliability="0.9989"/><Lifeline name="Mock lifeline" reliability="0.999"/><Lifeline name="Lifeline3" reliability="0.9925"/><Lifeline name="Lifeline5" reliability="0.9927"/><Lifeline name="Lifeline2" reliability="0.9978"/><Lifeline name="Lifeline0" reliability="0.9977"/></Lifelines><Fragments><Fragment name="n3" type="optional"><RepresentedBy seqDiagName="n3"/></Fragment><Fragment name="n7" type="optional"><RepresentedBy seqDiagName="n7"/></Fragment><Fragment name="n4" type="optional"><RepresentedBy seqDiagName="n4"/></Fragment><Fragment name="Fragment_3" type="optional"><RepresentedBy seqDiagName="SD_5"/></Fragment><Fragment name="n2" type="optional"><RepresentedBy seqDiagName="n2"/></Fragment><Fragment name="Fragment_4" type="optional"><RepresentedBy seqDiagName="SD_8"/></Fragment><Fragment name="Fragment_9" type="optional"><RepresentedBy seqDiagName="SD_14"/></Fragment><Fragment name="Fragment_0" type="optional"><RepresentedBy seqDiagName="SD_2"/></Fragment><Fragment name="n5" type="optional"><RepresentedBy seqDiagName="n5"/></Fragment><Fragment name="Fragment_6" type="optional"><RepresentedBy seqDiagName="SD_11"/></Fragment><Fragment name="n0" type="optional"><RepresentedBy seqDiagName="n0"/></Fragment><Fragment name="n1" type="optional"><RepresentedBy seqDiagName="n1"/></Fragment><Fragment name="n8" type="optional"><RepresentedBy seqDiagName="n8"/></Fragment><Fragment name="n6" type="optional"><RepresentedBy seqDiagName="n6"/></Fragment></Fragments></SequenceDiagrams></SplBehavioralModel>
