<?xml version="1.0" encoding="UTF-8"?>
<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmi:id="_e-eMAPs5EeirA44cXlgljA" name="model">
  <eAnnotations xmi:id="_e-eMAPs5EeirA44cXlgljA0" source="genmymodel">
    <details xmi:id="_e-eMAPs5EeirA44cXlgljA00" key="uuid" value="_e-eMAPs5EeirA44cXlgljA"/>
  </eAnnotations>
  <eClassifiers xsi:type="ecore:EClass" xmi:id="_GL8k4N1pEDa5CYAAA8xcXg" name="Bank">
    <eAnnotations xmi:id="_GL8k4N1pEDa5CYAAA8xcXg0" source="genmymodel">
      <details xmi:id="_GL8k4N1pEDa5CYAAA8xcXg00" key="uuid" value="_GL8k4N1pEDa5CYAAA8xcXg"/>
    </eAnnotations>
    <eOperations xmi:id="_swkEwN1qEDa5CYAAA8xcXg" name="HPIShock">
      <eAnnotations xmi:id="_swkEwN1qEDa5CYAAA8xcXg0" source="genmymodel">
        <details xmi:id="_swkEwN1qEDa5CYAAA8xcXg00" key="uuid" value="_swkEwN1qEDa5CYAAA8xcXg"/>
      </eAnnotations>
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
    </eOperations>
    <eOperations xmi:id="_2fjSkd1qEDa5CYAAA8xcXg" name="fail">
      <eAnnotations xmi:id="_2fjSkd1qEDa5CYAAA8xcXg0" source="genmymodel">
        <details xmi:id="_2fjSkd1qEDa5CYAAA8xcXg00" key="uuid" value="_2fjSkd1qEDa5CYAAA8xcXg"/>
      </eAnnotations>
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
    </eOperations>
    <eOperations xmi:id="_5iZ_kd1qEDa5CYAAA8xcXg" name="payDebt">
      <eAnnotations xmi:id="_5iZ_kd1qEDa5CYAAA8xcXg0" source="genmymodel">
        <details xmi:id="_5iZ_kd1qEDa5CYAAA8xcXg00" key="uuid" value="_5iZ_kd1qEDa5CYAAA8xcXg"/>
      </eAnnotations>
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
    </eOperations>
    <eOperations xmi:id="_7e_oEd1qEDa5CYAAA8xcXg" name="updateBalancesheet">
      <eAnnotations xmi:id="_7e_oEd1qEDa5CYAAA8xcXg0" source="genmymodel">
        <details xmi:id="_7e_oEd1qEDa5CYAAA8xcXg00" key="uuid" value="_7e_oEd1qEDa5CYAAA8xcXg"/>
      </eAnnotations>
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
    </eOperations>
    <eOperations xmi:id="_-9txsd1qEDa5CYAAA8xcXg" name="rankScore">
      <eAnnotations xmi:id="_-9txsd1qEDa5CYAAA8xcXg0" source="genmymodel">
        <details xmi:id="_-9txsd1qEDa5CYAAA8xcXg00" key="uuid" value="_-9txsd1qEDa5CYAAA8xcXg"/>
      </eAnnotations>
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
    </eOperations>
    <eOperations xmi:id="_BivTMN1rEDa5CYAAA8xcXg" name="updateScore">
      <eAnnotations xmi:id="_BivTMN1rEDa5CYAAA8xcXg0" source="genmymodel">
        <details xmi:id="_BivTMN1rEDa5CYAAA8xcXg00" key="uuid" value="_BivTMN1rEDa5CYAAA8xcXg"/>
      </eAnnotations>
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" xmi:id="_HsbgMd1pEDa5CYAAA8xcXg" name="BalanceSheet">
      <eAnnotations xmi:id="_HsbgMd1pEDa5CYAAA8xcXg0" source="genmymodel">
        <details xmi:id="_HsbgMd1pEDa5CYAAA8xcXg00" key="uuid" value="_HsbgMd1pEDa5CYAAA8xcXg"/>
      </eAnnotations>
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EDoubleObject"/>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EAttribute" xmi:id="_VNI2sN1qEDa5CYAAA8xcXg" name="alpha">
      <eAnnotations xmi:id="_VNI2sN1qEDa5CYAAA8xcXg0" source="genmymodel">
        <details xmi:id="_VNI2sN1qEDa5CYAAA8xcXg00" key="uuid" value="_VNI2sN1qEDa5CYAAA8xcXg"/>
      </eAnnotations>
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EAttribute" xmi:id="_YwGnId1qEDa5CYAAA8xcXg" name="beta">
      <eAnnotations xmi:id="_YwGnId1qEDa5CYAAA8xcXg0" source="genmymodel">
        <details xmi:id="_YwGnId1qEDa5CYAAA8xcXg00" key="uuid" value="_YwGnId1qEDa5CYAAA8xcXg"/>
      </eAnnotations>
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EAttribute" xmi:id="_kktdoN1qEDa5CYAAA8xcXg" name="isAlive">
      <eAnnotations xmi:id="_kktdoN1qEDa5CYAAA8xcXg0" source="genmymodel">
        <details xmi:id="_kktdoN1qEDa5CYAAA8xcXg00" key="uuid" value="_kktdoN1qEDa5CYAAA8xcXg"/>
      </eAnnotations>
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EAttribute" xmi:id="_pRwbkN1qEDa5CYAAA8xcXg" name="HPILoss">
      <eAnnotations xmi:id="_pRwbkN1qEDa5CYAAA8xcXg0" source="genmymodel">
        <details xmi:id="_pRwbkN1qEDa5CYAAA8xcXg00" key="uuid" value="_pRwbkN1qEDa5CYAAA8xcXg"/>
      </eAnnotations>
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" xmi:id="_APqXMN1qEDa5CYAAA8xcXg" name="BankingSystem">
    <eAnnotations xmi:id="_APqXMN1qEDa5CYAAA8xcXg0" source="genmymodel">
      <details xmi:id="_APqXMN1qEDa5CYAAA8xcXg00" key="uuid" value="_APqXMN1qEDa5CYAAA8xcXg"/>
    </eAnnotations>
    <eOperations xmi:id="_ZO8CwN1rEDa5CYAAA8xcXg" name="initNetwork">
      <eAnnotations xmi:id="_ZO8CwN1rEDa5CYAAA8xcXg0" source="genmymodel">
        <details xmi:id="_ZO8CwN1rEDa5CYAAA8xcXg00" key="uuid" value="_ZO8CwN1rEDa5CYAAA8xcXg"/>
      </eAnnotations>
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
    </eOperations>
    <eOperations xmi:id="_b7JKUd1rEDa5CYAAA8xcXg" name="recordBank">
      <eAnnotations xmi:id="_b7JKUd1rEDa5CYAAA8xcXg0" source="genmymodel">
        <details xmi:id="_b7JKUd1rEDa5CYAAA8xcXg00" key="uuid" value="_b7JKUd1rEDa5CYAAA8xcXg"/>
      </eAnnotations>
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
    </eOperations>
    <eOperations xmi:id="_pbdUsd1rEDa5CYAAA8xcXg" name="failed">
      <eAnnotations xmi:id="_pbdUsd1rEDa5CYAAA8xcXg0" source="genmymodel">
        <details xmi:id="_pbdUsd1rEDa5CYAAA8xcXg00" key="uuid" value="_pbdUsd1rEDa5CYAAA8xcXg"/>
      </eAnnotations>
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" xmi:id="_APqXMd1qEDa5CYAAA8xcXg" name="numBanks">
      <eAnnotations xmi:id="_APqXMd1qEDa5CYAAA8xcXg0" source="genmymodel">
        <details xmi:id="_APqXMd1qEDa5CYAAA8xcXg00" key="uuid" value="_APqXMd1qEDa5CYAAA8xcXg"/>
      </eAnnotations>
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EAttribute" xmi:id="_QjumId1rEDa5CYAAA8xcXg" name="shockTime">
      <eAnnotations xmi:id="_QjumId1rEDa5CYAAA8xcXg0" source="genmymodel">
        <details xmi:id="_QjumId1rEDa5CYAAA8xcXg00" key="uuid" value="_QjumId1rEDa5CYAAA8xcXg"/>
      </eAnnotations>
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EDate"/>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EAttribute" xmi:id="_TDd_AN1rEDa5CYAAA8xcXg" name="stopTime">
      <eAnnotations xmi:id="_TDd_AN1rEDa5CYAAA8xcXg0" source="genmymodel">
        <details xmi:id="_TDd_AN1rEDa5CYAAA8xcXg00" key="uuid" value="_TDd_AN1rEDa5CYAAA8xcXg"/>
      </eAnnotations>
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EDate"/>
    </eStructuralFeatures>
  </eClassifiers>
</ecore:EPackage>

{"directed":true,"nodes":[{"nsPrefix":null,"nsURI":null,"name":"model","id":0,"eClass":"EPackage"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Bank","instanceClass":null,"abstract":false,"id":1,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"BankingSystem","instanceClass":null,"abstract":false,"id":2,"interface":false,"eClass":"EClass"},{"ordered":true,"upperBound":1,"unique":true,"name":"HPIShock","lowerBound":0,"id":3,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"fail","lowerBound":0,"id":4,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"payDebt","lowerBound":0,"id":5,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"updateBalancesheet","lowerBound":0,"id":6,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"rankScore","lowerBound":0,"id":7,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"updateScore","lowerBound":0,"id":8,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"BalanceSheet","changeable":true,"lowerBound":0,"iD":false,"id":9,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":0.0,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"alpha","changeable":true,"lowerBound":0,"iD":false,"id":10,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":0.0,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"beta","changeable":true,"lowerBound":0,"iD":false,"id":11,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":false,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"isAlive","changeable":true,"lowerBound":0,"iD":false,"id":12,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":0.0,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"HPILoss","changeable":true,"lowerBound":0,"iD":false,"id":13,"derived":false},{"id":14,"eClass":"EGenericType"},{"id":15,"eClass":"EGenericType"},{"id":16,"eClass":"EGenericType"},{"id":17,"eClass":"EGenericType"},{"id":18,"eClass":"EGenericType"},{"id":19,"eClass":"EGenericType"},{"id":20,"eClass":"EGenericType"},{"id":21,"eClass":"EGenericType"},{"id":22,"eClass":"EGenericType"},{"id":23,"eClass":"EGenericType"},{"id":24,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"initNetwork","lowerBound":0,"id":25,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"recordBank","lowerBound":0,"id":26,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"failed","lowerBound":0,"id":27,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"defaultValue":0,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"numBanks","changeable":true,"lowerBound":0,"iD":false,"id":28,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"shockTime","changeable":true,"lowerBound":0,"iD":false,"id":29,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"stopTime","changeable":true,"lowerBound":0,"iD":false,"id":30,"derived":false},{"id":31,"eClass":"EGenericType"},{"id":32,"eClass":"EGenericType"},{"id":33,"eClass":"EGenericType"},{"id":34,"eClass":"EGenericType"},{"id":35,"eClass":"EGenericType"},{"id":36,"eClass":"EGenericType"}],"links":[{"source":0,"target":1},{"source":0,"target":2},{"source":1,"target":0},{"source":1,"target":3},{"source":1,"target":4},{"source":1,"target":5},{"source":1,"target":6},{"source":1,"target":7},{"source":1,"target":8},{"source":1,"target":9},{"source":1,"target":10},{"source":1,"target":11},{"source":1,"target":12},{"source":1,"target":13},{"source":3,"target":14},{"source":3,"target":1},{"source":4,"target":15},{"source":4,"target":1},{"source":5,"target":16},{"source":5,"target":1},{"source":6,"target":17},{"source":6,"target":1},{"source":7,"target":18},{"source":7,"target":1},{"source":8,"target":19},{"source":8,"target":1},{"source":9,"target":20},{"source":9,"target":1},{"source":10,"target":21},{"source":10,"target":1},{"source":11,"target":22},{"source":11,"target":1},{"source":12,"target":23},{"source":12,"target":1},{"source":13,"target":24},{"source":13,"target":1},{"source":2,"target":0},{"source":2,"target":25},{"source":2,"target":26},{"source":2,"target":27},{"source":2,"target":28},{"source":2,"target":29},{"source":2,"target":30},{"source":25,"target":31},{"source":25,"target":2},{"source":26,"target":32},{"source":26,"target":2},{"source":27,"target":33},{"source":27,"target":2},{"source":28,"target":34},{"source":28,"target":2},{"source":29,"target":35},{"source":29,"target":2},{"source":30,"target":36},{"source":30,"target":2}],"multigraph":true}
model
Bank
HPIShock
fail
payDebt
updateBalancesheet
rankScore
updateScore
BalanceSheet
alpha
beta
isAlive
HPILoss
BankingSystem
initNetwork
recordBank
failed
numBanks
shockTime
stopTime