<?xml version="1.0" encoding="UTF-8"?>
<uml:Model xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xmi:id="_F4zTAF3gEeSVHavcHHUXgQ" name="Model">
  <ownedComment xmi:type="uml:Comment" xmi:id="_EieEUoeEEeSIP9QUrJ6RSQ">
    <ownedComment xmi:type="uml:Comment" xmi:id="_EieEU4eEEeSIP9QUrJ6RSQ">
      <body>&lt;&lt;crea>></body>
    </ownedComment>
    <body>Tecnicamente annotare il tipo di dipendenza con un commento è sbagliato.&#xD;
Però:&#xD;
&#xD;
&lt;&lt;crea>></body>
  </ownedComment>
  <packageImport xmi:type="uml:PackageImport" xmi:id="_F4zTAV3gEeSVHavcHHUXgQ">
    <importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/>
  </packageImport>
  <packagedElement xmi:type="uml:Signal" xmi:id="_qr6lcHVNEeSQf7IzI11BLA" name="Emissione Notifiche"/>
  <packagedElement xmi:type="uml:Activity" xmi:id="_LpuBUHcREeSY-OBEwpsn5g" name="Utente" classifierBehavior="_uXk58IXXEeSWGuW2PP1WdQ" node="_OLurEHcREeSY-OBEwpsn5g _PrIoUHcREeSY-OBEwpsn5g _SAiZcHcREeSY-OBEwpsn5g _UgcxcHcREeSY-OBEwpsn5g _WoNvMHcREeSY-OBEwpsn5g _h0SmEHcREeSY-OBEwpsn5g _mirAwHcREeSY-OBEwpsn5g _yLIRoHcREeSY-OBEwpsn5g _5I4G4HcREeSY-OBEwpsn5g _FqP8wHcSEeSY-OBEwpsn5g _ZUeEoHcSEeSY-OBEwpsn5g _hjgioHcSEeSY-OBEwpsn5g _qbYiQHcSEeSY-OBEwpsn5g _xu2v4HcSEeSY-OBEwpsn5g _4s1OoHcSEeSY-OBEwpsn5g _BBVbcHcTEeSY-OBEwpsn5g _EzWUgHcTEeSY-OBEwpsn5g _H4JiQHcTEeSY-OBEwpsn5g _NC2skHcTEeSY-OBEwpsn5g _DsVzsHcUEeSY-OBEwpsn5g _bjAt4HcUEeSY-OBEwpsn5g _lgwwcHcUEeSY-OBEwpsn5g _vD_aMHcUEeSY-OBEwpsn5g _9MV08HcUEeSY-OBEwpsn5g">
    <ownedComment xmi:type="uml:Comment" xmi:id="_oGeZAHcVEeSY-OBEwpsn5g" annotatedElement="_vD_aMHcUEeSY-OBEwpsn5g">
      <body>Si ricevono le notifiche inviate&#xD;
dall'Amministratore, inviate&#xD;
in modo asincrono</body>
    </ownedComment>
    <ownedBehavior xmi:type="uml:Activity" xmi:id="_QW-IsHcTEeSY-OBEwpsn5g" name="Controllore" node="_VySh4HcTEeSY-OBEwpsn5g _l9Q7sHcTEeSY-OBEwpsn5g _5ejKAHcTEeSY-OBEwpsn5g">
      <edge xmi:type="uml:ControlFlow" xmi:id="_l9assHcTEeSY-OBEwpsn5g" target="_l9Q7sHcTEeSY-OBEwpsn5g" source="_VySh4HcTEeSY-OBEwpsn5g"/>
      <edge xmi:type="uml:ControlFlow" xmi:id="_8K2_QHcTEeSY-OBEwpsn5g" name="Non Valido" target="_5ejKAHcTEeSY-OBEwpsn5g" source="_l9Q7sHcTEeSY-OBEwpsn5g"/>
      <edge xmi:type="uml:ControlFlow" xmi:id="_DsfksHcUEeSY-OBEwpsn5g" target="_DsVzsHcUEeSY-OBEwpsn5g" source="_5ejKAHcTEeSY-OBEwpsn5g"/>
      <edge xmi:type="uml:ControlFlow" xmi:id="_d6050HcUEeSY-OBEwpsn5g" name="Valido" target="_bjAt4HcUEeSY-OBEwpsn5g" source="_l9Q7sHcTEeSY-OBEwpsn5g"/>
      <node xmi:type="uml:OpaqueAction" xmi:id="_VySh4HcTEeSY-OBEwpsn5g" name="Controllo Validità" incoming="_YbIzcHcTEeSY-OBEwpsn5g _ZCGFwHcTEeSY-OBEwpsn5g _bDG7QHcTEeSY-OBEwpsn5g _cZxMMHcTEeSY-OBEwpsn5g" outgoing="_l9assHcTEeSY-OBEwpsn5g"/>
      <node xmi:type="uml:DecisionNode" xmi:id="_l9Q7sHcTEeSY-OBEwpsn5g" name="DecisionNode1" incoming="_l9assHcTEeSY-OBEwpsn5g" outgoing="_8K2_QHcTEeSY-OBEwpsn5g _d6050HcUEeSY-OBEwpsn5g"/>
      <node xmi:type="uml:OpaqueAction" xmi:id="_5ejKAHcTEeSY-OBEwpsn5g" name="Eseguire Multa" incoming="_8K2_QHcTEeSY-OBEwpsn5g" outgoing="_DsfksHcUEeSY-OBEwpsn5g"/>
    </ownedBehavior>
    <ownedBehavior xmi:type="uml:Activity" xmi:id="_UbNS0HcWEeSY-OBEwpsn5g" name="Amministratore" node="_bpvWEHcWEeSY-OBEwpsn5g _pwdZIHcWEeSY-OBEwpsn5g">
      <ownedComment xmi:type="uml:Comment" xmi:id="_84XeIHcWEeSY-OBEwpsn5g" annotatedElement="_pwdZIHcWEeSY-OBEwpsn5g">
        <body>Si inviano le notifiche, create&#xD;
dall'Amministratore, all'Utente &#xD;
in modo asincrono</body>
      </ownedComment>
      <edge xmi:type="uml:ControlFlow" xmi:id="_r9NkkHcWEeSY-OBEwpsn5g" target="_pwdZIHcWEeSY-OBEwpsn5g" source="_bpvWEHcWEeSY-OBEwpsn5g"/>
      <node xmi:type="uml:InitialNode" xmi:id="_bpvWEHcWEeSY-OBEwpsn5g" name="InitialNode1" outgoing="_r9NkkHcWEeSY-OBEwpsn5g"/>
      <node xmi:type="uml:SendSignalAction" xmi:id="_pwdZIHcWEeSY-OBEwpsn5g" name="Emissione Notifiche" incoming="_r9NkkHcWEeSY-OBEwpsn5g" signal="_r8cIgHcWEeSY-OBEwpsn5g"/>
    </ownedBehavior>
    <ownedBehavior xmi:type="uml:Interaction" xmi:id="_uXk58IXXEeSWGuW2PP1WdQ" name="VisualizzaNotifiche" useCase="_rYrc8YeAEeSIP9QUrJ6RSQ" isReentrant="false">
      <ownedComment xmi:type="uml:Comment" xmi:id="_WjGdcIkfEeSuO9MkpaY3xQ" annotatedElement="_VuABcIkfEeSuO9MkpaY3xQ">
        <body> Il sistema immagazzina i dati ricevuti dal sensore</body>
      </ownedComment>
      <ownedAttribute xmi:type="uml:Property" xmi:id="_7fV9UYeLEeSIP9QUrJ6RSQ" name="" type="_rYrcw4eAEeSIP9QUrJ6RSQ"/>
      <ownedAttribute xmi:type="uml:Property" xmi:id="_A-5MkIkIEeSuO9MkpaY3xQ" name="" type="_rYrcw4eAEeSIP9QUrJ6RSQ"/>
      <ownedAttribute xmi:type="uml:Property" xmi:id="_qyHZoIkNEeSuO9MkpaY3xQ" name="" type="_LqGyEIkIEeSuO9MkpaY3xQ"/>
      <ownedAttribute xmi:type="uml:Property" xmi:id="_EbAp8IkPEeSuO9MkpaY3xQ" name="" type="_4SoaYIgzEeST08QPbeZpTg"/>
      <ownedAttribute xmi:type="uml:Property" xmi:id="_HtueQIkXEeSuO9MkpaY3xQ" name="" type="_rYrcwIeAEeSIP9QUrJ6RSQ"/>
      <ownedAttribute xmi:type="uml:Property" xmi:id="_JXXVkYkXEeSuO9MkpaY3xQ" name="" type="_LqGyEIkIEeSuO9MkpaY3xQ"/>
      <ownedAttribute xmi:type="uml:Property" xmi:id="_j8lEMIkYEeSuO9MkpaY3xQ" name="" type="_9aJgMIkXEeSuO9MkpaY3xQ"/>
      <ownedAttribute xmi:type="uml:Property" xmi:id="_H2-5MYkdEeSuO9MkpaY3xQ" name="" type="_rY1N1YeAEeSIP9QUrJ6RSQ"/>
      <ownedAttribute xmi:type="uml:Property" xmi:id="_rPTRoIkdEeSuO9MkpaY3xQ" name="" type="_f8cdUIkdEeSuO9MkpaY3xQ"/>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_0wZdMIXXEeSWGuW2PP1WdQ" name=":Utente" coveredBy="_DYvmoYXYEeSWGuW2PP1WdQ _LZnFwYXYEeSWGuW2PP1WdQ _4QS2EIXYEeSWGuW2PP1WdQ _86tWwYXYEeSWGuW2PP1WdQ _Irv74YXZEeSWGuW2PP1WdQ _f1thEYXZEeSWGuW2PP1WdQ _qCMKEYYDEeSFa_xp01C-sQ _v1e-YoYDEeSFa_xp01C-sQ _yLblAIkXEeSuO9MkpaY3xQ _zomGkIkXEeSuO9MkpaY3xQ _B-6LMIkgEeS-vfRaF3zPqg _Dj-EgIkgEeS-vfRaF3zPqg _EWMLoYkgEeS-vfRaF3zPqg _M22lIYkgEeS-vfRaF3zPqg"/>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_3_E_sIXXEeSWGuW2PP1WdQ" name=":GestoreTratte" coveredBy="_G9m0gYXYEeSWGuW2PP1WdQ _86tWwIXYEeSWGuW2PP1WdQ _GF6iEYXZEeSWGuW2PP1WdQ _Irv74oXZEeSWGuW2PP1WdQ _op9y4oYDEeSFa_xp01C-sQ _op9y4YYDEeSFa_xp01C-sQ _qCMKEoYDEeSFa_xp01C-sQ _v1e-YYYDEeSFa_xp01C-sQ _FSPkMIkgEeS-vfRaF3zPqg _M22lIIkgEeS-vfRaF3zPqg"/>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_xsG64IXZEeSWGuW2PP1WdQ" name=":Utente" coveredBy="_7Wsw4YXZEeSWGuW2PP1WdQ _FdxHgYXaEeSWGuW2PP1WdQ _9ndAoYXbEeSWGuW2PP1WdQ _CuWB8YXcEeSWGuW2PP1WdQ _KuhIEoXdEeSWGuW2PP1WdQ _v2-ocIXdEeSWGuW2PP1WdQ _FvWC4IXeEeSWGuW2PP1WdQ _nSLD4IXfEeSWGuW2PP1WdQ _qjZkEIXfEeSWGuW2PP1WdQ _6fMSYIXfEeSWGuW2PP1WdQ _Kc4osIXhEeSWGuW2PP1WdQ _bNopEIXhEeSWGuW2PP1WdQ _OJH_AYXjEeSWGuW2PP1WdQ _vghBgoXjEeSWGuW2PP1WdQ _4-HkYYXjEeSWGuW2PP1WdQ _JWD2oYX5EeSl9qM6SJ69Og _Utb-kYX5EeSl9qM6SJ69Og _aj1KMIX5EeSl9qM6SJ69Og _1YSrMYX5EeSl9qM6SJ69Og _7-ZxoIX7EeSl9qM6SJ69Og _Jo6rwYX6EeSl9qM6SJ69Og"/>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_zOJ8cIXZEeSWGuW2PP1WdQ" name=":GestoreAcquisti" coveredBy="_AD4RsoXaEeSWGuW2PP1WdQ _AD4RsYXaEeSWGuW2PP1WdQ _Fd6RcIXaEeSWGuW2PP1WdQ _N72uIYXaEeSWGuW2PP1WdQ _TfFGIIXaEeSWGuW2PP1WdQ _TfFGIYXaEeSWGuW2PP1WdQ _XeOcQIXaEeSWGuW2PP1WdQ _ePSgYoXaEeSWGuW2PP1WdQ _9ndAooXbEeSWGuW2PP1WdQ _CuWB8oXcEeSWGuW2PP1WdQ _dVMkwYXcEeSWGuW2PP1WdQ _fj4p4YXcEeSWGuW2PP1WdQ _h5DKcYXcEeSWGuW2PP1WdQ _KuhIEYXdEeSWGuW2PP1WdQ _XejFAIXdEeSWGuW2PP1WdQ _v2_PgIXdEeSWGuW2PP1WdQ _FvUNsIXeEeSWGuW2PP1WdQ _jz-UIIXeEeSWGuW2PP1WdQ _jz_iQIXeEeSWGuW2PP1WdQ _jz-7MIXeEeSWGuW2PP1WdQ _DOnWEIXfEeSWGuW2PP1WdQ _nSLq8IXfEeSWGuW2PP1WdQ _qjY9AIXfEeSWGuW2PP1WdQ _3-0nYIXfEeSWGuW2PP1WdQ _6fNggIXfEeSWGuW2PP1WdQ _cZ9HsIXgEeSWGuW2PP1WdQ _Kc4BoIXhEeSWGuW2PP1WdQ _TkNZkYXhEeSWGuW2PP1WdQ _TkNZkIXhEeSWGuW2PP1WdQ _bNp3MIXhEeSWGuW2PP1WdQ _kJ1vEIXhEeSWGuW2PP1WdQ _EeJHcYXjEeSWGuW2PP1WdQ _OJH_AoXjEeSWGuW2PP1WdQ _S4obEYXjEeSWGuW2PP1WdQ _vghBgYXjEeSWGuW2PP1WdQ _1floAYXjEeSWGuW2PP1WdQ _1floAIXjEeSWGuW2PP1WdQ _4-HkYoXjEeSWGuW2PP1WdQ _933hkYXjEeSWGuW2PP1WdQ _piiaoYX4EeSl9qM6SJ69Og _JWD2ooX5EeSl9qM6SJ69Og _UtiFMIX5EeSl9qM6SJ69Og _ajvDkYX5EeSl9qM6SJ69Og _ykIhgYX5EeSl9qM6SJ69Og _1YSrMoX5EeSl9qM6SJ69Og _418d0IX5EeSl9qM6SJ69Og _BVgrIYX6EeSl9qM6SJ69Og _JpAyYIX6EeSl9qM6SJ69Og _U9CO4YX7EeSl9qM6SJ69Og _fDAZUoX7EeSl9qM6SJ69Og _psL-gIX7EeSl9qM6SJ69Og _C7oCcIX8EeSl9qM6SJ69Og _IifkUIX8EeSl9qM6SJ69Og _cK-KUIX9EeSl9qM6SJ69Og _JvlFYIdjEeSEk_H83AsZuQ _Jvu2YIdjEeSEk_H83AsZuQ _Jvu2YYdjEeSEk_H83AsZuQ _Jvu2YodjEeSEk_H83AsZuQ _Jvu2Y4djEeSEk_H83AsZuQ"/>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_1n1JkIXZEeSWGuW2PP1WdQ" name=":Geolocalizzazione" coveredBy="_MMLgQIXaEeSWGuW2PP1WdQ _MMUqMYXaEeSWGuW2PP1WdQ _MMUqMIXaEeSWGuW2PP1WdQ _N72uIoXaEeSWGuW2PP1WdQ _XeOcQYXaEeSWGuW2PP1WdQ _ePSgYYXaEeSWGuW2PP1WdQ"/>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_kJlQYIXhEeSWGuW2PP1WdQ" name="Biglietto" coveredBy="_kJ29MIXhEeSWGuW2PP1WdQ _AvaoYIXiEeSWGuW2PP1WdQ _S6b6cIX6EeSl9qM6SJ69Og _RxwlsYX7EeSl9qM6SJ69Og _U9CO4oX7EeSl9qM6SJ69Og _fDAZUYX7EeSl9qM6SJ69Og"/>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_93twkIXjEeSWGuW2PP1WdQ" name="Abbonamento" coveredBy="_933hkoXjEeSWGuW2PP1WdQ _CBgQcIXkEeSWGuW2PP1WdQ _VdSRsIX6EeSl9qM6SJ69Og _m_xbkYX7EeSl9qM6SJ69Og _psL-gYX7EeSl9qM6SJ69Og _C7h70YX8EeSl9qM6SJ69Og"/>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_Y8gDMIX9EeSl9qM6SJ69Og" name=":Utente" coveredBy="_rhOwYIYCEeSFa_xp01C-sQ _rhOwYoYCEeSFa_xp01C-sQ _rhOwYYYCEeSFa_xp01C-sQ"/>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_-V2F8IYCEeSFa_xp01C-sQ" name="GestoreTratte"/>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_A-3XYIkIEeSuO9MkpaY3xQ" name="" represents="_A-5MkIkIEeSuO9MkpaY3xQ" coveredBy="_WUIdEIkOEeSuO9MkpaY3xQ _qyMVUIkREeSuO9MkpaY3xQ _3-CrkIkREeSuO9MkpaY3xQ _Oc13EIkWEeSuO9MkpaY3xQ _JY-RYIkSEeSuO9MkpaY3xQ _JZHbUIkSEeSuO9MkpaY3xQ _fQpV8InbEeSxwtAEF1jGIw _QxfIQIncEeSxwtAEF1jGIw _TFrYcIncEeSxwtAEF1jGIw _j1ztwYncEeSxwtAEF1jGIw"/>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_qyFkcIkNEeSuO9MkpaY3xQ" name="" represents="_qyHZoIkNEeSuO9MkpaY3xQ" coveredBy="__ag5oIkQEeSuO9MkpaY3xQ _JY-RYIkSEeSuO9MkpaY3xQ _JZHbUIkSEeSuO9MkpaY3xQ _fQpV8InbEeSxwtAEF1jGIw _dWaocYncEeSxwtAEF1jGIw _j1ztwIncEeSxwtAEF1jGIw"/>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_Ea-0wIkPEeSuO9MkpaY3xQ" name="" represents="_EbAp8IkPEeSuO9MkpaY3xQ" coveredBy="_JY-RYIkSEeSuO9MkpaY3xQ _JZHbUIkSEeSuO9MkpaY3xQ _fQpV8InbEeSxwtAEF1jGIw"/>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_Htqz4IkXEeSuO9MkpaY3xQ" name="" represents="_HtueQIkXEeSuO9MkpaY3xQ" coveredBy="_otsCwIkYEeSuO9MkpaY3xQ _Y4hEYIkZEeSuO9MkpaY3xQ _gfpN0IkZEeSuO9MkpaY3xQ _MlglMIkaEeSuO9MkpaY3xQ _zOZhEIkbEeSuO9MkpaY3xQ"/>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_JXXVkIkXEeSuO9MkpaY3xQ" name="" represents="_JXXVkYkXEeSuO9MkpaY3xQ" coveredBy="_IQEEYYkZEeSuO9MkpaY3xQ _IQEEYIkZEeSuO9MkpaY3xQ _Y4nLAIkZEeSuO9MkpaY3xQ _gfjuQIkZEeSuO9MkpaY3xQ _7EbUEYkZEeSuO9MkpaY3xQ _MlldsIkaEeSuO9MkpaY3xQ _XWh3wIkaEeSuO9MkpaY3xQ _XWpMgIkaEeSuO9MkpaY3xQ _XWmwQIkaEeSuO9MkpaY3xQ _d-K6IIkaEeSuO9MkpaY3xQ _m1r38IkbEeSuO9MkpaY3xQ _zOUBgIkbEeSuO9MkpaY3xQ"/>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_j8hZ0IkYEeSuO9MkpaY3xQ" name="" represents="_j8lEMIkYEeSuO9MkpaY3xQ" coveredBy="_ibchQIkbEeSuO9MkpaY3xQ _ibaFAIkbEeSuO9MkpaY3xQ _m1viUIkbEeSuO9MkpaY3xQ"/>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_d9MpwIkaEeSuO9MkpaY3xQ" name="Notifica" coveredBy="_d-OkgIkaEeSuO9MkpaY3xQ"/>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_H2-5MIkdEeSuO9MkpaY3xQ" name="" represents="_H2-5MYkdEeSuO9MkpaY3xQ" coveredBy="_zczekIkdEeSuO9MkpaY3xQ _zcxpYIkdEeSuO9MkpaY3xQ _LPHAsIkfEeSuO9MkpaY3xQ"/>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_rPPAMIkdEeSuO9MkpaY3xQ" name="" represents="_rPTRoIkdEeSuO9MkpaY3xQ" coveredBy="_0_wfEIkdEeSuO9MkpaY3xQ _0_uC0IkdEeSuO9MkpaY3xQ _LPMgQIkfEeSuO9MkpaY3xQ _Vt5TwIkfEeSuO9MkpaY3xQ _VuDr0IkfEeSuO9MkpaY3xQ _VuABcIkfEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_XWmwQIkaEeSuO9MkpaY3xQ" name="ActionExecSpec32" covered="_JXXVkIkXEeSuO9MkpaY3xQ" finish="_XWpMgIkaEeSuO9MkpaY3xQ" start="_XWh3wIkaEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_TkNZkYXhEeSWGuW2PP1WdQ" name="ActionExecSpec17Finish" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" execution="_TkNZkIXhEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_fj4p4YXcEeSWGuW2PP1WdQ" name="MessageSend11" covered="_zOJ8cIXZEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_9ndAoYXbEeSWGuW2PP1WdQ" name="MessageSend9" covered="_xsG64IXZEeSWGuW2PP1WdQ" message="_9ndAoIXbEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_3-Fu4IkREeSuO9MkpaY3xQ" name="VisualizzaNotifiche_MessageRecv" message="_397W0IkREeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_ibchQIkbEeSuO9MkpaY3xQ" name="BehaviorExecSpec2Finish" covered="_j8hZ0IkYEeSuO9MkpaY3xQ" execution="_ibaFAIkbEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_otsCwIkYEeSuO9MkpaY3xQ" name="ActionExecSpec30" covered="_Htqz4IkXEeSuO9MkpaY3xQ" finish="_zOZhEIkbEeSuO9MkpaY3xQ" start="_Y4hEYIkZEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_rhOwYYYCEeSFa_xp01C-sQ" name="ActionExecSpec27" covered="_Y8gDMIX9EeSl9qM6SJ69Og" finish="_rhOwYoYCEeSFa_xp01C-sQ" start="_rhOwYIYCEeSFa_xp01C-sQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_M22lIYkgEeS-vfRaF3zPqg" name="Message6Recv0" covered="_0wZdMIXXEeSWGuW2PP1WdQ" message="_M2tbMIkgEeS-vfRaF3zPqg"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_m1r38IkbEeSuO9MkpaY3xQ" name="pubblicaNotifica_MessageSend" covered="_JXXVkIkXEeSuO9MkpaY3xQ" message="_m1lxUIkbEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_7EbUEYkZEeSuO9MkpaY3xQ" name="BehaviorExecSpec1" covered="_JXXVkIkXEeSuO9MkpaY3xQ" finish="_zOUBgIkbEeSuO9MkpaY3xQ" start="_MlldsIkaEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_933hkoXjEeSWGuW2PP1WdQ" name="MessageRecv19" covered="_93twkIXjEeSWGuW2PP1WdQ" message="_933hkIXjEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_OJH_AoXjEeSWGuW2PP1WdQ" name="MessageRecv" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" message="_OJH_AIXjEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_TfFGIIXaEeSWGuW2PP1WdQ" name="ActionExecSpec7Start" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" execution="_TfFGIYXaEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_4-HkYYXjEeSWGuW2PP1WdQ" name="MessageSend24" covered="_xsG64IXZEeSWGuW2PP1WdQ" message="_4-HkYIXjEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_XeOcQIXaEeSWGuW2PP1WdQ" name="MessageSend7" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" message="_XeErQIXaEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_0_uC0IkdEeSuO9MkpaY3xQ" name="BehaviorExecSpec3" covered="_rPPAMIkdEeSuO9MkpaY3xQ" finish="_0_wfEIkdEeSuO9MkpaY3xQ" start="_LPMgQIkfEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Dj-EgIkgEeS-vfRaF3zPqg" name="Message4Send" covered="_0wZdMIXXEeSWGuW2PP1WdQ" message="_Dj0TgIkgEeS-vfRaF3zPqg"/>
      <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_IQEEYYkZEeSuO9MkpaY3xQ" name="ActionExecSpec31Finish" covered="_JXXVkIkXEeSuO9MkpaY3xQ" execution="_IQEEYIkZEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_EeJHcYXjEeSWGuW2PP1WdQ" name="ActionExecSpec18" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" finish="_vghBgYXjEeSWGuW2PP1WdQ" start="_OJH_AoXjEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_ePSgYYXaEeSWGuW2PP1WdQ" name="MessageSend8" covered="_1n1JkIXZEeSWGuW2PP1WdQ" message="_ePSgYIXaEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_h5DKcYXcEeSWGuW2PP1WdQ" name="MessageSend12" covered="_zOJ8cIXZEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_EWMLoYkgEeS-vfRaF3zPqg" name="Message5Send" covered="_0wZdMIXXEeSWGuW2PP1WdQ" message="_EWMLoIkgEeS-vfRaF3zPqg"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_3-CrkIkREeSuO9MkpaY3xQ" name="VisualizzaNotifiche_MessageSend" covered="_A-3XYIkIEeSuO9MkpaY3xQ" message="_397W0IkREeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Irv74YXZEeSWGuW2PP1WdQ" name="MessageSend3" covered="_0wZdMIXXEeSWGuW2PP1WdQ" message="_Irv74IXZEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_N72uIoXaEeSWGuW2PP1WdQ" name="MessageRecv6" covered="_1n1JkIXZEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Irv74oXZEeSWGuW2PP1WdQ" name="MessageRecv3" covered="_3_E_sIXXEeSWGuW2PP1WdQ" message="_Irv74IXZEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_RxwlsYX7EeSl9qM6SJ69Og" name="ActionExecSpec25" covered="_kJlQYIXhEeSWGuW2PP1WdQ" finish="_fDAZUYX7EeSl9qM6SJ69Og" start="_U9CO4oX7EeSl9qM6SJ69Og"/>
      <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_JvlFYIdjEeSEk_H83AsZuQ" name="ActionExecSpec9Finish" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" execution="_dVMkwYXcEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_MMUqMYXaEeSWGuW2PP1WdQ" name="ActionExecSpec6Finish" covered="_1n1JkIXZEeSWGuW2PP1WdQ" execution="_MMUqMIXaEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_jz-UIIXeEeSWGuW2PP1WdQ" name="ActionExecSpec11Start" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" execution="_jz-7MIXeEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_qjY9AIXfEeSWGuW2PP1WdQ" name="Message0Send0" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" message="_qjXu4IXfEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_j1ztwIncEeSxwtAEF1jGIw" name="Message7Send" covered="_qyFkcIkNEeSuO9MkpaY3xQ" message="_j1xRgIncEeSxwtAEF1jGIw"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_TfFGIYXaEeSWGuW2PP1WdQ" name="ActionExecSpec7" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" finish="_ePSgYoXaEeSWGuW2PP1WdQ" start="_TfFGIIXaEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_fDAZUYX7EeSl9qM6SJ69Og" name="Message1Send0" covered="_kJlQYIXhEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:StateInvariant" xmi:id="_S6b6cIX6EeSl9qM6SJ69Og" name="pagato" covered="_kJlQYIXhEeSWGuW2PP1WdQ">
        <invariant xmi:type="uml:Constraint" xmi:id="_K0pCkIX7EeSl9qM6SJ69Og"/>
      </fragment>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_qjZkEIXfEeSWGuW2PP1WdQ" name="Message0Recv0" covered="_xsG64IXZEeSWGuW2PP1WdQ" message="_qjXu4IXfEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_LPHAsIkfEeSuO9MkpaY3xQ" name="InvioDati_MessageSend" covered="_H2-5MIkdEeSuO9MkpaY3xQ" message="_LO_E4IkfEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_C7oCcIX8EeSl9qM6SJ69Og" name="Message0Recv" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" message="_C7h70IX8EeSl9qM6SJ69Og"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Fd6RcIXaEeSWGuW2PP1WdQ" name="MessageRecv5" covered="_zOJ8cIXZEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_zczekIkdEeSuO9MkpaY3xQ" name="ActionExecSpec33Finish" covered="_H2-5MIkdEeSuO9MkpaY3xQ" execution="_zcxpYIkdEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_zOZhEIkbEeSuO9MkpaY3xQ" name="NotificaPubblicata_MessageRecv" covered="_Htqz4IkXEeSuO9MkpaY3xQ" message="_zOMFsIkbEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_ykIhgYX5EeSl9qM6SJ69Og" name="ActionExecSpec23" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" finish="_418d0IX5EeSl9qM6SJ69Og" start="_1YSrMoX5EeSl9qM6SJ69Og"/>
      <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_Jvu2YIdjEeSEk_H83AsZuQ" name="ActionExecSpec19Finish" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" execution="_S4obEYXjEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_U9CO4oX7EeSl9qM6SJ69Og" name="Message1Recv" covered="_kJlQYIXhEeSWGuW2PP1WdQ" message="_U9CO4IX7EeSl9qM6SJ69Og"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_FSPkMIkgEeS-vfRaF3zPqg" name="Message6Recv" covered="_3_E_sIXXEeSWGuW2PP1WdQ" message="_FSGaQIkgEeS-vfRaF3zPqg"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_XeOcQYXaEeSWGuW2PP1WdQ" name="MessageRecv7" covered="_1n1JkIXZEeSWGuW2PP1WdQ" message="_XeErQIXaEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_JpAyYIX6EeSl9qM6SJ69Og" name="Message0Recv" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" message="_Jo6rwIX6EeSl9qM6SJ69Og"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_qCMKEYYDEeSFa_xp01C-sQ" name="Message0Send8" covered="_0wZdMIXXEeSWGuW2PP1WdQ" message="_qCMKEIYDEeSFa_xp01C-sQ"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_jz-7MIXeEeSWGuW2PP1WdQ" name="ActionExecSpec11" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" finish="_jz_iQIXeEeSWGuW2PP1WdQ" start="_jz-UIIXeEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_FdxHgYXaEeSWGuW2PP1WdQ" name="MessageSend5" covered="_xsG64IXZEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_U9CO4YX7EeSl9qM6SJ69Og" name="Message1Send" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" message="_U9CO4IX7EeSl9qM6SJ69Og"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_op9y4YYDEeSFa_xp01C-sQ" name="ActionExecSpec28" covered="_3_E_sIXXEeSWGuW2PP1WdQ" finish="_op9y4oYDEeSFa_xp01C-sQ" start="_qCMKEoYDEeSFa_xp01C-sQ"/>
      <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_jz_iQIXeEeSWGuW2PP1WdQ" name="ActionExecSpec11Finish" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" execution="_jz-7MIXeEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_cZ9HsIXgEeSWGuW2PP1WdQ" name="ActionExecSpec15" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" finish="_Jvu2YodjEeSEk_H83AsZuQ" start="_Jvu2Y4djEeSEk_H83AsZuQ"/>
      <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_Vt5TwIkfEeSuO9MkpaY3xQ" name="ActionExecSpec34Start" covered="_rPPAMIkdEeSuO9MkpaY3xQ" execution="_VuABcIkfEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:StateInvariant" xmi:id="_VdSRsIX6EeSl9qM6SJ69Og" name="pagato" covered="_93twkIXjEeSWGuW2PP1WdQ">
        <invariant xmi:type="uml:Constraint" xmi:id="_VdSRsYX6EeSl9qM6SJ69Og" name=""/>
      </fragment>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_G9m0gYXYEeSWGuW2PP1WdQ" name="ActionExecSpec0" covered="_3_E_sIXXEeSWGuW2PP1WdQ" finish="_86tWwIXYEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_fDAZUoX7EeSl9qM6SJ69Og" name="Message1Recv0" covered="_zOJ8cIXZEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_AD4RsoXaEeSWGuW2PP1WdQ" name="ActionExecSpec5Finish" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" execution="_AD4RsYXaEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_m1viUIkbEeSuO9MkpaY3xQ" name="pubblicaNotifica_MessageRecv" covered="_j8hZ0IkYEeSuO9MkpaY3xQ" message="_m1lxUIkbEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_0_wfEIkdEeSuO9MkpaY3xQ" name="BehaviorExecSpec3Finish" covered="_rPPAMIkdEeSuO9MkpaY3xQ" execution="_0_uC0IkdEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_vghBgYXjEeSWGuW2PP1WdQ" name="MessageSend23" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" message="_vghBgIXjEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_op9y4oYDEeSFa_xp01C-sQ" name="ActionExecSpec28Finish" covered="_3_E_sIXXEeSWGuW2PP1WdQ" execution="_op9y4YYDEeSFa_xp01C-sQ"/>
      <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_rhOwYIYCEeSFa_xp01C-sQ" name="ActionExecSpec27Start" covered="_Y8gDMIX9EeSl9qM6SJ69Og" execution="_rhOwYYYCEeSFa_xp01C-sQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_kJ1vEIXhEeSWGuW2PP1WdQ" name="MessageSend20" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" message="_kJz54IXhEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_psL-gIX7EeSl9qM6SJ69Og" name="Message1Send1" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" message="_psF34IX7EeSl9qM6SJ69Og"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_GF6iEYXZEeSWGuW2PP1WdQ" name="ActionExecSpec3" covered="_3_E_sIXXEeSWGuW2PP1WdQ" finish="_M22lIIkgEeS-vfRaF3zPqg" start="_Irv74oXZEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_933hkYXjEeSWGuW2PP1WdQ" name="MessageSend25" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" message="_933hkIXjEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_v2-ocIXdEeSWGuW2PP1WdQ" name="MessageSend14" covered="_xsG64IXZEeSWGuW2PP1WdQ" message="_v29aUIXdEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_ibaFAIkbEeSuO9MkpaY3xQ" name="BehaviorExecSpec2" covered="_j8hZ0IkYEeSuO9MkpaY3xQ" finish="_ibchQIkbEeSuO9MkpaY3xQ" start="_m1viUIkbEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_CuWB8YXcEeSWGuW2PP1WdQ" name="MessageSend10" covered="_xsG64IXZEeSWGuW2PP1WdQ" message="_CuWB8IXcEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_MlldsIkaEeSuO9MkpaY3xQ" name="InserisciNotifica_MessageRecv" covered="_JXXVkIkXEeSuO9MkpaY3xQ" message="_MlZQcIkaEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_7Wsw4YXZEeSWGuW2PP1WdQ" name="ActionExecSpec4" covered="_xsG64IXZEeSWGuW2PP1WdQ" finish="_aj1KMIX5EeSl9qM6SJ69Og" start="_FdxHgYXaEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_BVgrIYX6EeSl9qM6SJ69Og" name="ActionExecSpec24" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" finish="_C7oCcIX8EeSl9qM6SJ69Og" start="_JpAyYIX6EeSl9qM6SJ69Og"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_zomGkIkXEeSuO9MkpaY3xQ" name="Message2Send" covered="_0wZdMIXXEeSWGuW2PP1WdQ" message="_zoh1IIkXEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_MlglMIkaEeSuO9MkpaY3xQ" name="InserisciNotifica_MessageSend" covered="_Htqz4IkXEeSuO9MkpaY3xQ" message="_MlZQcIkaEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_qyNjcIkREeSuO9MkpaY3xQ" name="VisualizzaNotifiche()_MessageRecv"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_JWD2ooX5EeSl9qM6SJ69Og" name="Message0Recv" covered="_zOJ8cIXZEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f1thEYXZEeSWGuW2PP1WdQ" name="MessageRecv4" covered="_0wZdMIXXEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="__ag5oIkQEeSuO9MkpaY3xQ" name="BehaviorExecSpec" covered="_qyFkcIkNEeSuO9MkpaY3xQ" finish="_6W0O4IkTEeSuO9MkpaY3xQ" start="_qyNjcIkREeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_vghBgoXjEeSWGuW2PP1WdQ" name="MessageRecv18" covered="_xsG64IXZEeSWGuW2PP1WdQ" message="_vghBgIXjEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_WUIdEIkOEeSuO9MkpaY3xQ" name="ActionExecSpec29" covered="_A-3XYIkIEeSuO9MkpaY3xQ" finish="_HNV_8IkVEeSuO9MkpaY3xQ" start="_qyMVUIkREeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_d-K6IIkaEeSuO9MkpaY3xQ" name="Message3Send" covered="_JXXVkIkXEeSuO9MkpaY3xQ" message="_d-BwMIkaEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_ePSgYoXaEeSWGuW2PP1WdQ" name="MessageRecv8" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" message="_ePSgYIXaEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_FvUNsIXeEeSWGuW2PP1WdQ" name="MessageSend15" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" message="_FvRKYIXeEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_MMUqMIXaEeSWGuW2PP1WdQ" name="ActionExecSpec6" covered="_1n1JkIXZEeSWGuW2PP1WdQ" finish="_MMUqMYXaEeSWGuW2PP1WdQ" start="_MMLgQIXaEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_KuhIEYXdEeSWGuW2PP1WdQ" name="MessageSend13" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" message="_KuhIEIXdEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_FvWC4IXeEeSWGuW2PP1WdQ" name="MessageRecv14" covered="_xsG64IXZEeSWGuW2PP1WdQ" message="_FvRKYIXeEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_XWpMgIkaEeSuO9MkpaY3xQ" name="ActionExecSpec32Finish" covered="_JXXVkIkXEeSuO9MkpaY3xQ" execution="_XWmwQIkaEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_6fMSYIXfEeSWGuW2PP1WdQ" name="Message0Send1" covered="_xsG64IXZEeSWGuW2PP1WdQ" message="_6fLrUIXfEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_Jvu2Y4djEeSEk_H83AsZuQ" name="ActionExecSpec15Start" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" execution="_cZ9HsIXgEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_VuDr0IkfEeSuO9MkpaY3xQ" name="ActionExecSpec34Finish" covered="_rPPAMIkdEeSuO9MkpaY3xQ" execution="_VuABcIkfEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:StateInvariant" xmi:id="_CBgQcIXkEeSWGuW2PP1WdQ" name="nonpagato" covered="_93twkIXjEeSWGuW2PP1WdQ">
        <invariant xmi:type="uml:Constraint" xmi:id="_CBgQcYXkEeSWGuW2PP1WdQ" name=""/>
      </fragment>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_zOUBgIkbEeSuO9MkpaY3xQ" name="NotificaPubblicata_MessageSend" covered="_JXXVkIkXEeSuO9MkpaY3xQ" message="_zOMFsIkbEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_3-0nYIXfEeSWGuW2PP1WdQ" name="ActionExecSpec14" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" finish="_Kc4BoIXhEeSWGuW2PP1WdQ" start="_6fNggIXfEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Jo6rwYX6EeSl9qM6SJ69Og" name="Message0Send6" covered="_xsG64IXZEeSWGuW2PP1WdQ" message="_Jo6rwIX6EeSl9qM6SJ69Og"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_zcxpYIkdEeSuO9MkpaY3xQ" name="ActionExecSpec33" covered="_H2-5MIkdEeSuO9MkpaY3xQ" finish="_zczekIkdEeSuO9MkpaY3xQ" start="_LPHAsIkfEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Utb-kYX5EeSl9qM6SJ69Og" name="Message0Send4" covered="_xsG64IXZEeSWGuW2PP1WdQ" message="_Utb-kIX5EeSl9qM6SJ69Og"/>
      <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_Jvu2YodjEeSEk_H83AsZuQ" name="ActionExecSpec15Finish" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" execution="_cZ9HsIXgEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:CombinedFragment" xmi:id="_JY-RYIkSEeSuO9MkpaY3xQ" name="CombinedFragment" covered="_qyFkcIkNEeSuO9MkpaY3xQ _Ea-0wIkPEeSuO9MkpaY3xQ _A-3XYIkIEeSuO9MkpaY3xQ" interactionOperator="alt">
        <operand xmi:type="uml:InteractionOperand" xmi:id="_JZHbUIkSEeSuO9MkpaY3xQ" name="InteractionOperand" covered="_qyFkcIkNEeSuO9MkpaY3xQ _Ea-0wIkPEeSuO9MkpaY3xQ _A-3XYIkIEeSuO9MkpaY3xQ">
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_83S5gYkREeSuO9MkpaY3xQ" name="geolocalizzaUtente_MessageSend" message="_83S5gIkREeSuO9MkpaY3xQ"/>
          <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_J5TzwIkREeSuO9MkpaY3xQ" name="ActionExecSpec30" finish="_Fa7HcIkSEeSuO9MkpaY3xQ" start="_83S5gYkREeSuO9MkpaY3xQ"/>
          <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_IYfhQIkREeSuO9MkpaY3xQ" name="BehaviorExecSpec0" finish="_Fa2O8IkSEeSuO9MkpaY3xQ" start="_83cqgIkREeSuO9MkpaY3xQ"/>
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_83cqgIkREeSuO9MkpaY3xQ" name="geolocalizzaUtente_MessageRecv" message="_83S5gIkREeSuO9MkpaY3xQ"/>
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Fa2O8IkSEeSuO9MkpaY3xQ" name="Posizione_MessageSend" message="_FavhQIkSEeSuO9MkpaY3xQ"/>
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Fa7HcIkSEeSuO9MkpaY3xQ" name="Posizione_MessageRecv" message="_FavhQIkSEeSuO9MkpaY3xQ"/>
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_HNV_8IkVEeSuO9MkpaY3xQ" name="Message0Recv4" message="_HNQgYIkVEeSuO9MkpaY3xQ"/>
          <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_6W0O4IkTEeSuO9MkpaY3xQ" name="BehaviorExecSpecFinish" execution="__ag5oIkQEeSuO9MkpaY3xQ"/>
          <guard xmi:type="uml:InteractionConstraint" xmi:id="_-TNocIkSEeSuO9MkpaY3xQ">
            <specification xmi:type="uml:LiteralString" xmi:id="_W4PgkInbEeSxwtAEF1jGIw" value="L'Utente viene geolocalizzato&#xD;&#xA;"/>
          </guard>
        </operand>
        <operand xmi:type="uml:InteractionOperand" xmi:id="_fQpV8InbEeSxwtAEF1jGIw" name="InteractionOperand0" covered="_qyFkcIkNEeSuO9MkpaY3xQ _Ea-0wIkPEeSuO9MkpaY3xQ _A-3XYIkIEeSuO9MkpaY3xQ">
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_QxfIQIncEeSxwtAEF1jGIw" name="Message6Send" covered="_A-3XYIkIEeSuO9MkpaY3xQ" message="_QxcsAIncEeSxwtAEF1jGIw"/>
          <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_TFrYcIncEeSxwtAEF1jGIw" name="ActionExecSpec" covered="_A-3XYIkIEeSuO9MkpaY3xQ" finish="_j1ztwYncEeSxwtAEF1jGIw" start="_gJGLcIncEeSxwtAEF1jGIw"/>
          <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_dWaocYncEeSxwtAEF1jGIw" name="BehaviorExecSpec" covered="_qyFkcIkNEeSuO9MkpaY3xQ" finish="_j1ztwIncEeSxwtAEF1jGIw" start="_gJInsIncEeSxwtAEF1jGIw"/>
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_gJInsIncEeSxwtAEF1jGIw" name="Message7Recv" message="_gJDvMIncEeSxwtAEF1jGIw"/>
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_gJGLcIncEeSxwtAEF1jGIw" name="Message7Send" message="_gJDvMIncEeSxwtAEF1jGIw"/>
          <guard xmi:type="uml:InteractionConstraint" xmi:id="_fQryMInbEeSxwtAEF1jGIw">
            <specification xmi:type="uml:LiteralString" xmi:id="_oMJRUInbEeSxwtAEF1jGIw" value="L'Utente sceglie manualmente la citta&#xD;&#xA;"/>
            <maxint xmi:type="uml:LiteralInteger" xmi:id="_fQryM4nbEeSxwtAEF1jGIw" value="1"/>
            <minint xmi:type="uml:LiteralInteger" xmi:id="_fQryMonbEeSxwtAEF1jGIw"/>
          </guard>
        </operand>
      </fragment>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_KuhIEoXdEeSWGuW2PP1WdQ" name="MessageRecv12" covered="_xsG64IXZEeSWGuW2PP1WdQ" message="_KuhIEIXdEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_bNopEIXhEeSWGuW2PP1WdQ" name="MessageSend19" covered="_xsG64IXZEeSWGuW2PP1WdQ" message="_bNna8IXhEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_TkNZkIXhEeSWGuW2PP1WdQ" name="ActionExecSpec17" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" finish="_TkNZkYXhEeSWGuW2PP1WdQ" start="_bNp3MIXhEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Oc13EIkWEeSuO9MkpaY3xQ" name="SelezionaCittà_MessageSend" covered="_A-3XYIkIEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_bNp3MIXhEeSWGuW2PP1WdQ" name="MessageRecv" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" message="_bNna8IXhEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_6fNggIXfEeSWGuW2PP1WdQ" name="Message0Recv" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" message="_6fLrUIXfEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_C7h70YX8EeSl9qM6SJ69Og" name="Message0Send" covered="_93twkIXjEeSWGuW2PP1WdQ" message="_C7h70IX8EeSl9qM6SJ69Og"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_gfpN0IkZEeSuO9MkpaY3xQ" name="ScriviNotifica_MessageRecv" covered="_Htqz4IkXEeSuO9MkpaY3xQ" message="_gfdAkIkZEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_ajvDkYX5EeSl9qM6SJ69Og" name="Message0Send" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" message="_ajvDkIX5EeSl9qM6SJ69Og"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_qCMKEoYDEeSFa_xp01C-sQ" name="Message0Recv2" covered="_3_E_sIXXEeSWGuW2PP1WdQ" message="_qCMKEIYDEeSFa_xp01C-sQ"/>
      <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_4QS2EIXYEeSWGuW2PP1WdQ" name="ActionExecSpecFinish" covered="_0wZdMIXXEeSWGuW2PP1WdQ" execution="_DYvmoYXYEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_DYvmoYXYEeSWGuW2PP1WdQ" name="ActionExecSpec" covered="_0wZdMIXXEeSWGuW2PP1WdQ" finish="_4QS2EIXYEeSWGuW2PP1WdQ" start="_LZnFwYXYEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_d-OkgIkaEeSuO9MkpaY3xQ" name="Message3Recv" covered="_d9MpwIkaEeSuO9MkpaY3xQ" message="_d-BwMIkaEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_1floAIXjEeSWGuW2PP1WdQ" name="ActionExecSpec21" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" finish="_1floAYXjEeSWGuW2PP1WdQ" start="_4-HkYoXjEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_cK-KUIX9EeSl9qM6SJ69Og" name="Message0Recv" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" message="_PQoQQIX8EeSl9qM6SJ69Og"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_LZnFwYXYEeSWGuW2PP1WdQ" name="MessageSend" covered="_0wZdMIXXEeSWGuW2PP1WdQ" message="_FSGaQIkgEeS-vfRaF3zPqg"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_9ndAooXbEeSWGuW2PP1WdQ" name="MessageRecv9" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" message="_9ndAoIXbEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_S4obEYXjEeSWGuW2PP1WdQ" name="ActionExecSpec19" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" finish="_Jvu2YIdjEeSEk_H83AsZuQ" start="_Jvu2YYdjEeSEk_H83AsZuQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_LPMgQIkfEeSuO9MkpaY3xQ" name="InvioDati_MessageRecv" covered="_rPPAMIkdEeSuO9MkpaY3xQ" message="_LO_E4IkfEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_dVMkwYXcEeSWGuW2PP1WdQ" name="ActionExecSpec9" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" finish="_JvlFYIdjEeSEk_H83AsZuQ" start="_fj4p4YXcEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_418d0IX5EeSl9qM6SJ69Og" name="Message0Send" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" message="_412XMIX5EeSl9qM6SJ69Og"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Y4hEYIkZEeSuO9MkpaY3xQ" name="NuovaNotifica_MessageSend" covered="_Htqz4IkXEeSuO9MkpaY3xQ" message="_Y4aWsIkZEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_XWh3wIkaEeSuO9MkpaY3xQ" name="ActionExecSpec32Start" covered="_JXXVkIkXEeSuO9MkpaY3xQ" execution="_XWmwQIkaEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_rhOwYoYCEeSFa_xp01C-sQ" name="ActionExecSpec27Finish" covered="_Y8gDMIX9EeSl9qM6SJ69Og" execution="_rhOwYYYCEeSFa_xp01C-sQ"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_VuABcIkfEeSuO9MkpaY3xQ" name="ActionExecSpec34" covered="_rPPAMIkdEeSuO9MkpaY3xQ" finish="_VuDr0IkfEeSuO9MkpaY3xQ" start="_Vt5TwIkfEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_IQEEYIkZEeSuO9MkpaY3xQ" name="ActionExecSpec31" covered="_JXXVkIkXEeSuO9MkpaY3xQ" finish="_IQEEYYkZEeSuO9MkpaY3xQ" start="_Y4nLAIkZEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_XejFAIXdEeSWGuW2PP1WdQ" name="ActionExecSpec10" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" finish="_FvUNsIXeEeSWGuW2PP1WdQ" start="_v2_PgIXdEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_v1e-YYYDEeSFa_xp01C-sQ" name="Message0Send9" covered="_3_E_sIXXEeSWGuW2PP1WdQ" message="_v1e-YIYDEeSFa_xp01C-sQ"/>
      <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_1floAYXjEeSWGuW2PP1WdQ" name="ActionExecSpec21Finish" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" execution="_1floAIXjEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_yLblAIkXEeSuO9MkpaY3xQ" name="Message1Send2" covered="_0wZdMIXXEeSWGuW2PP1WdQ" message="_yLX6oIkXEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_v1e-YoYDEeSFa_xp01C-sQ" name="Message0Recv3" covered="_0wZdMIXXEeSWGuW2PP1WdQ" message="_v1e-YIYDEeSFa_xp01C-sQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_M22lIIkgEeS-vfRaF3zPqg" name="Message6Send" covered="_3_E_sIXXEeSWGuW2PP1WdQ" message="_M2tbMIkgEeS-vfRaF3zPqg"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_m_xbkYX7EeSl9qM6SJ69Og" name="ActionExecSpec26" covered="_93twkIXjEeSWGuW2PP1WdQ" finish="_C7h70YX8EeSl9qM6SJ69Og" start="_psL-gYX7EeSl9qM6SJ69Og"/>
      <fragment xmi:type="uml:StateInvariant" xmi:id="_AvaoYIXiEeSWGuW2PP1WdQ" name="nonpagato" covered="_kJlQYIXhEeSWGuW2PP1WdQ">
        <invariant xmi:type="uml:Constraint" xmi:id="_Avb2gIXiEeSWGuW2PP1WdQ" name=""/>
      </fragment>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_j1ztwYncEeSxwtAEF1jGIw" name="Message7Recv" covered="_A-3XYIkIEeSuO9MkpaY3xQ" message="_j1xRgIncEeSxwtAEF1jGIw"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_psL-gYX7EeSl9qM6SJ69Og" name="Message1Recv" covered="_93twkIXjEeSWGuW2PP1WdQ" message="_psF34IX7EeSl9qM6SJ69Og"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_1YSrMoX5EeSl9qM6SJ69Og" name="Message0Recv" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" message="_1YSrMIX5EeSl9qM6SJ69Og"/>
      <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_MMLgQIXaEeSWGuW2PP1WdQ" name="ActionExecSpec6Start" covered="_1n1JkIXZEeSWGuW2PP1WdQ" execution="_MMUqMIXaEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Y4nLAIkZEeSuO9MkpaY3xQ" name="NuovaNotifica_MessageRecv" covered="_JXXVkIkXEeSuO9MkpaY3xQ" message="_Y4aWsIkZEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_OJH_AYXjEeSWGuW2PP1WdQ" name="MessageSend21" covered="_xsG64IXZEeSWGuW2PP1WdQ" message="_OJH_AIXjEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_7-ZxoIX7EeSl9qM6SJ69Og" name="Message0Recv" covered="_xsG64IXZEeSWGuW2PP1WdQ" message="_412XMIX5EeSl9qM6SJ69Og"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_CuWB8oXcEeSWGuW2PP1WdQ" name="MessageRecv10" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" message="_CuWB8IXcEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_nSLD4IXfEeSWGuW2PP1WdQ" name="Message0Send" covered="_xsG64IXZEeSWGuW2PP1WdQ" message="_nSKc0IXfEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Kc4BoIXhEeSWGuW2PP1WdQ" name="MessageSend18" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" message="_Kc3akIXhEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Kc4osIXhEeSWGuW2PP1WdQ" name="MessageRecv16" covered="_xsG64IXZEeSWGuW2PP1WdQ" message="_Kc3akIXhEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_86tWwIXYEeSWGuW2PP1WdQ" name="MessageSend2" covered="_3_E_sIXXEeSWGuW2PP1WdQ" message="_86jlwIXYEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_aj1KMIX5EeSl9qM6SJ69Og" name="Message0Recv" covered="_xsG64IXZEeSWGuW2PP1WdQ" message="_ajvDkIX5EeSl9qM6SJ69Og"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_kJ29MIXhEeSWGuW2PP1WdQ" name="MessageRecv17" covered="_kJlQYIXhEeSWGuW2PP1WdQ" message="_kJz54IXhEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_IifkUIX8EeSl9qM6SJ69Og" name="Message0Send7" covered="_zOJ8cIXZEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_piiaoYX4EeSl9qM6SJ69Og" name="ActionExecSpec22" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" finish="_ajvDkYX5EeSl9qM6SJ69Og" start="_UtiFMIX5EeSl9qM6SJ69Og"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_qyMVUIkREeSuO9MkpaY3xQ" name="VisualizzaNotifiche()_MessageSend" covered="_A-3XYIkIEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_nSLq8IXfEeSWGuW2PP1WdQ" name="Message0Recv" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" message="_nSKc0IXfEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_v2_PgIXdEeSWGuW2PP1WdQ" name="MessageRecv13" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" message="_v29aUIXdEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_1YSrMYX5EeSl9qM6SJ69Og" name="Message0Send5" covered="_xsG64IXZEeSWGuW2PP1WdQ" message="_1YSrMIX5EeSl9qM6SJ69Og"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_JWD2oYX5EeSl9qM6SJ69Og" name="Message0Send3" covered="_xsG64IXZEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_gfjuQIkZEeSuO9MkpaY3xQ" name="ScriviNotifica_MessageSend" covered="_JXXVkIkXEeSuO9MkpaY3xQ" message="_gfdAkIkZEeSuO9MkpaY3xQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_4-HkYoXjEeSWGuW2PP1WdQ" name="MessageRecv" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" message="_4-HkYIXjEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_DOnWEIXfEeSWGuW2PP1WdQ" name="ActionExecSpec13" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" finish="_qjY9AIXfEeSWGuW2PP1WdQ" start="_nSLq8IXfEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_UtiFMIX5EeSl9qM6SJ69Og" name="Message0Recv1" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" message="_Utb-kIX5EeSl9qM6SJ69Og"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_86tWwYXYEeSWGuW2PP1WdQ" name="MessageRecv2" covered="_0wZdMIXXEeSWGuW2PP1WdQ" message="_86jlwIXYEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_N72uIYXaEeSWGuW2PP1WdQ" name="MessageSend6" covered="_zOJ8cIXZEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_B-6LMIkgEeS-vfRaF3zPqg" name="Message3Send0" covered="_0wZdMIXXEeSWGuW2PP1WdQ" message="_B-dfQIkgEeS-vfRaF3zPqg"/>
      <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_Jvu2YYdjEeSEk_H83AsZuQ" name="ActionExecSpec19Start" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" execution="_S4obEYXjEeSWGuW2PP1WdQ"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_AD4RsYXaEeSWGuW2PP1WdQ" name="ActionExecSpec5" covered="_zOJ8cIXZEeSWGuW2PP1WdQ" finish="_AD4RsoXaEeSWGuW2PP1WdQ" start="_Fd6RcIXaEeSWGuW2PP1WdQ"/>
      <message xmi:type="uml:Message" xmi:id="_86jlwIXYEeSWGuW2PP1WdQ" name="mostraTratte()" messageSort="reply" receiveEvent="_86tWwYXYEeSWGuW2PP1WdQ" sendEvent="_86tWwIXYEeSWGuW2PP1WdQ"/>
      <message xmi:type="uml:Message" xmi:id="_Irv74IXZEeSWGuW2PP1WdQ" name="scegliTratta()" receiveEvent="_Irv74oXZEeSWGuW2PP1WdQ" sendEvent="_Irv74YXZEeSWGuW2PP1WdQ"/>
      <message xmi:type="uml:Message" xmi:id="_XeErQIXaEeSWGuW2PP1WdQ" name="invioSegnale()" messageSort="asynchCall" receiveEvent="_XeOcQYXaEeSWGuW2PP1WdQ" sendEvent="_XeOcQIXaEeSWGuW2PP1WdQ"/>
      <message xmi:type="uml:Message" xmi:id="_ePSgYIXaEeSWGuW2PP1WdQ" name="invioPosizione()" messageSort="reply" receiveEvent="_ePSgYoXaEeSWGuW2PP1WdQ" sendEvent="_ePSgYYXaEeSWGuW2PP1WdQ"/>
      <message xmi:type="uml:Message" xmi:id="_9ndAoIXbEeSWGuW2PP1WdQ" name="acquista()" messageSort="asynchCall" receiveEvent="_9ndAooXbEeSWGuW2PP1WdQ" sendEvent="_9ndAoYXbEeSWGuW2PP1WdQ"/>
      <message xmi:type="uml:Message" xmi:id="_CuWB8IXcEeSWGuW2PP1WdQ" name="visualizzaCitta()" messageSort="asynchCall" receiveEvent="_CuWB8oXcEeSWGuW2PP1WdQ" sendEvent="_CuWB8YXcEeSWGuW2PP1WdQ"/>
      <message xmi:type="uml:Message" xmi:id="_KuhIEIXdEeSWGuW2PP1WdQ" name="mostraCitta()" messageSort="reply" receiveEvent="_KuhIEoXdEeSWGuW2PP1WdQ" sendEvent="_KuhIEYXdEeSWGuW2PP1WdQ"/>
      <message xmi:type="uml:Message" xmi:id="_v29aUIXdEeSWGuW2PP1WdQ" name="selezionaCitta()" messageSort="asynchCall" receiveEvent="_v2_PgIXdEeSWGuW2PP1WdQ" sendEvent="_v2-ocIXdEeSWGuW2PP1WdQ"/>
      <message xmi:type="uml:Message" xmi:id="_FvRKYIXeEeSWGuW2PP1WdQ" name="mostraCompagnie()" messageSort="reply" receiveEvent="_FvWC4IXeEeSWGuW2PP1WdQ" sendEvent="_FvUNsIXeEeSWGuW2PP1WdQ"/>
      <message xmi:type="uml:Message" xmi:id="_4Fa0EIXeEeSWGuW2PP1WdQ" name="invioElencoCompagnie()" messageSort="reply"/>
      <message xmi:type="uml:Message" xmi:id="_nSKc0IXfEeSWGuW2PP1WdQ" name="selezionaCompagnia()" messageSort="asynchCall" receiveEvent="_nSLq8IXfEeSWGuW2PP1WdQ" sendEvent="_nSLD4IXfEeSWGuW2PP1WdQ"/>
      <message xmi:type="uml:Message" xmi:id="_qjXu4IXfEeSWGuW2PP1WdQ" name="compagniaSelezionata()" messageSort="reply" receiveEvent="_qjZkEIXfEeSWGuW2PP1WdQ" sendEvent="_qjY9AIXfEeSWGuW2PP1WdQ"/>
      <message xmi:type="uml:Message" xmi:id="_6fLrUIXfEeSWGuW2PP1WdQ" name="acquistaBiglietto()" messageSort="asynchCall" receiveEvent="_6fNggIXfEeSWGuW2PP1WdQ" sendEvent="_6fMSYIXfEeSWGuW2PP1WdQ"/>
      <message xmi:type="uml:Message" xmi:id="_Kc3akIXhEeSWGuW2PP1WdQ" name="mostraTratta()" messageSort="reply" receiveEvent="_Kc4osIXhEeSWGuW2PP1WdQ" sendEvent="_Kc4BoIXhEeSWGuW2PP1WdQ"/>
      <message xmi:type="uml:Message" xmi:id="_bNna8IXhEeSWGuW2PP1WdQ" name="scegliTratta()" receiveEvent="_bNp3MIXhEeSWGuW2PP1WdQ" sendEvent="_bNopEIXhEeSWGuW2PP1WdQ"/>
      <message xmi:type="uml:Message" xmi:id="_kJz54IXhEeSWGuW2PP1WdQ" name="crea()" messageSort="createMessage" receiveEvent="_kJ29MIXhEeSWGuW2PP1WdQ" sendEvent="_kJ1vEIXhEeSWGuW2PP1WdQ"/>
      <message xmi:type="uml:Message" xmi:id="_u2F2YIXhEeSWGuW2PP1WdQ" messageSort="reply"/>
      <message xmi:type="uml:Message" xmi:id="_OJH_AIXjEeSWGuW2PP1WdQ" name="acquistaAbbonamento()" receiveEvent="_OJH_AoXjEeSWGuW2PP1WdQ" sendEvent="_OJH_AYXjEeSWGuW2PP1WdQ"/>
      <message xmi:type="uml:Message" xmi:id="_vghBgIXjEeSWGuW2PP1WdQ" name="mostraTipologieAbbonamento()" messageSort="reply" receiveEvent="_vghBgoXjEeSWGuW2PP1WdQ" sendEvent="_vghBgYXjEeSWGuW2PP1WdQ"/>
      <message xmi:type="uml:Message" xmi:id="_4-HkYIXjEeSWGuW2PP1WdQ" name="scegliTipologiaAbbonamento()" receiveEvent="_4-HkYoXjEeSWGuW2PP1WdQ" sendEvent="_4-HkYYXjEeSWGuW2PP1WdQ"/>
      <message xmi:type="uml:Message" xmi:id="_933hkIXjEeSWGuW2PP1WdQ" name="Message" messageSort="createMessage" receiveEvent="_933hkoXjEeSWGuW2PP1WdQ" sendEvent="_933hkYXjEeSWGuW2PP1WdQ"/>
      <message xmi:type="uml:Message" xmi:id="_Utb-kIX5EeSl9qM6SJ69Og" name="avviaPagamento()" receiveEvent="_UtiFMIX5EeSl9qM6SJ69Og" sendEvent="_Utb-kYX5EeSl9qM6SJ69Og"/>
      <message xmi:type="uml:Message" xmi:id="_ajvDkIX5EeSl9qM6SJ69Og" name="effettuaLogin()" messageSort="reply" receiveEvent="_aj1KMIX5EeSl9qM6SJ69Og" sendEvent="_ajvDkYX5EeSl9qM6SJ69Og"/>
      <message xmi:type="uml:Message" xmi:id="_1YSrMIX5EeSl9qM6SJ69Og" name="Login()" receiveEvent="_1YSrMoX5EeSl9qM6SJ69Og" sendEvent="_1YSrMYX5EeSl9qM6SJ69Og"/>
      <message xmi:type="uml:Message" xmi:id="_412XMIX5EeSl9qM6SJ69Og" name="accountLoggato()" messageSort="reply" receiveEvent="_7-ZxoIX7EeSl9qM6SJ69Og" sendEvent="_418d0IX5EeSl9qM6SJ69Og"/>
      <message xmi:type="uml:Message" xmi:id="_Jo6rwIX6EeSl9qM6SJ69Og" name="scegliMetodoPagamento" receiveEvent="_JpAyYIX6EeSl9qM6SJ69Og" sendEvent="_Jo6rwYX6EeSl9qM6SJ69Og"/>
      <message xmi:type="uml:Message" xmi:id="_U9CO4IX7EeSl9qM6SJ69Og" name="riceviPagamento()" receiveEvent="_U9CO4oX7EeSl9qM6SJ69Og" sendEvent="_U9CO4YX7EeSl9qM6SJ69Og"/>
      <message xmi:type="uml:Message" xmi:id="_psF34IX7EeSl9qM6SJ69Og" name="riceviPagamento()" receiveEvent="_psL-gYX7EeSl9qM6SJ69Og" sendEvent="_psL-gIX7EeSl9qM6SJ69Og"/>
      <message xmi:type="uml:Message" xmi:id="_C7h70IX8EeSl9qM6SJ69Og" name="pagamentoRiuscito()" messageSort="reply" receiveEvent="_C7oCcIX8EeSl9qM6SJ69Og" sendEvent="_C7h70YX8EeSl9qM6SJ69Og"/>
      <message xmi:type="uml:Message" xmi:id="_PQoQQIX8EeSl9qM6SJ69Og" name="pagamentoRiuscito()" messageSort="reply" receiveEvent="_cK-KUIX9EeSl9qM6SJ69Og"/>
      <message xmi:type="uml:Message" xmi:id="_qCMKEIYDEeSFa_xp01C-sQ" name="visualizzaConfort()" receiveEvent="_qCMKEoYDEeSFa_xp01C-sQ" sendEvent="_qCMKEYYDEeSFa_xp01C-sQ"/>
      <message xmi:type="uml:Message" xmi:id="_v1e-YIYDEeSFa_xp01C-sQ" name="mostraConfort()" messageSort="reply" receiveEvent="_v1e-YoYDEeSFa_xp01C-sQ" sendEvent="_v1e-YYYDEeSFa_xp01C-sQ"/>
      <message xmi:type="uml:Message" xmi:id="_397W0IkREeSuO9MkpaY3xQ" name="VisualizzaNotifiche_Message" messageSort="asynchCall" receiveEvent="_3-Fu4IkREeSuO9MkpaY3xQ" sendEvent="_3-CrkIkREeSuO9MkpaY3xQ" signature="_37fG0IkREeSuO9MkpaY3xQ"/>
      <message xmi:type="uml:Message" xmi:id="_83S5gIkREeSuO9MkpaY3xQ" name="geolocalizzaUtente_Message" receiveEvent="_83cqgIkREeSuO9MkpaY3xQ" sendEvent="_83S5gYkREeSuO9MkpaY3xQ" signature="_jpSiYIg0EeST08QPbeZpTg"/>
      <message xmi:type="uml:Message" xmi:id="_FavhQIkSEeSuO9MkpaY3xQ" name="Posizione_Message" messageSort="reply" receiveEvent="_Fa7HcIkSEeSuO9MkpaY3xQ" sendEvent="_Fa2O8IkSEeSuO9MkpaY3xQ" signature="_FYYJwIkSEeSuO9MkpaY3xQ"/>
      <message xmi:type="uml:Message" xmi:id="_HNQgYIkVEeSuO9MkpaY3xQ" name="Message0" messageSort="reply" receiveEvent="_HNV_8IkVEeSuO9MkpaY3xQ"/>
      <message xmi:type="uml:Message" xmi:id="_T1aeQIkWEeSuO9MkpaY3xQ" name="MostraNotifiche_Message" messageSort="reply" signature="_Ty9AIIkWEeSuO9MkpaY3xQ"/>
      <message xmi:type="uml:Message" xmi:id="_yLX6oIkXEeSuO9MkpaY3xQ" name="Message1" sendEvent="_yLblAIkXEeSuO9MkpaY3xQ"/>
      <message xmi:type="uml:Message" xmi:id="_zoh1IIkXEeSuO9MkpaY3xQ" name="Message2" sendEvent="_zomGkIkXEeSuO9MkpaY3xQ"/>
      <message xmi:type="uml:Message" xmi:id="_Y4aWsIkZEeSuO9MkpaY3xQ" name="NuovaNotifica_Message" receiveEvent="_Y4nLAIkZEeSuO9MkpaY3xQ" sendEvent="_Y4hEYIkZEeSuO9MkpaY3xQ" signature="_Y1m6UIkZEeSuO9MkpaY3xQ"/>
      <message xmi:type="uml:Message" xmi:id="_gfdAkIkZEeSuO9MkpaY3xQ" name="ScriviNotifica_Message" messageSort="reply" receiveEvent="_gfpN0IkZEeSuO9MkpaY3xQ" sendEvent="_gfjuQIkZEeSuO9MkpaY3xQ" signature="_gc1KYIkZEeSuO9MkpaY3xQ"/>
      <message xmi:type="uml:Message" xmi:id="_MlZQcIkaEeSuO9MkpaY3xQ" name="InserisciNotifica_Message" receiveEvent="_MlldsIkaEeSuO9MkpaY3xQ" sendEvent="_MlglMIkaEeSuO9MkpaY3xQ" signature="_MjAq0IkaEeSuO9MkpaY3xQ"/>
      <message xmi:type="uml:Message" xmi:id="_d-BwMIkaEeSuO9MkpaY3xQ" name="crea()" messageSort="createMessage" receiveEvent="_d-OkgIkaEeSuO9MkpaY3xQ" sendEvent="_d-K6IIkaEeSuO9MkpaY3xQ"/>
      <message xmi:type="uml:Message" xmi:id="_m1lxUIkbEeSuO9MkpaY3xQ" name="pubblicaNotifica_Message" messageSort="asynchCall" receiveEvent="_m1viUIkbEeSuO9MkpaY3xQ" sendEvent="_m1r38IkbEeSuO9MkpaY3xQ" signature="_mze4gIkbEeSuO9MkpaY3xQ"/>
      <message xmi:type="uml:Message" xmi:id="_zOMFsIkbEeSuO9MkpaY3xQ" name="NotificaPubblicata_Message" messageSort="reply" receiveEvent="_zOZhEIkbEeSuO9MkpaY3xQ" sendEvent="_zOUBgIkbEeSuO9MkpaY3xQ" signature="_zMAUYIkbEeSuO9MkpaY3xQ"/>
      <message xmi:type="uml:Message" xmi:id="_LO_E4IkfEeSuO9MkpaY3xQ" name="InvioDati_Message" messageSort="asynchCall" receiveEvent="_LPMgQIkfEeSuO9MkpaY3xQ" sendEvent="_LPHAsIkfEeSuO9MkpaY3xQ" signature="_LMg_sIkfEeSuO9MkpaY3xQ"/>
      <message xmi:type="uml:Message" xmi:id="_B-dfQIkgEeS-vfRaF3zPqg" name="Message3" sendEvent="_B-6LMIkgEeS-vfRaF3zPqg"/>
      <message xmi:type="uml:Message" xmi:id="_Dj0TgIkgEeS-vfRaF3zPqg" name="Message4" sendEvent="_Dj-EgIkgEeS-vfRaF3zPqg"/>
      <message xmi:type="uml:Message" xmi:id="_EWMLoIkgEeS-vfRaF3zPqg" name="Message5" messageSort="asynchCall" sendEvent="_EWMLoYkgEeS-vfRaF3zPqg"/>
      <message xmi:type="uml:Message" xmi:id="_FSGaQIkgEeS-vfRaF3zPqg" name="VisualizzaTratte()" messageSort="asynchCall" receiveEvent="_FSPkMIkgEeS-vfRaF3zPqg" sendEvent="_LZnFwYXYEeSWGuW2PP1WdQ"/>
      <message xmi:type="uml:Message" xmi:id="_M2tbMIkgEeS-vfRaF3zPqg" name="MostraOrari()" messageSort="reply" receiveEvent="_M22lIYkgEeS-vfRaF3zPqg" sendEvent="_M22lIIkgEeS-vfRaF3zPqg"/>
      <message xmi:type="uml:Message" xmi:id="_QxcsAIncEeSxwtAEF1jGIw" name="Message6" sendEvent="_QxfIQIncEeSxwtAEF1jGIw"/>
      <message xmi:type="uml:Message" xmi:id="_gJDvMIncEeSxwtAEF1jGIw" name="scegliCitta" receiveEvent="_gJInsIncEeSxwtAEF1jGIw" sendEvent="_gJGLcIncEeSxwtAEF1jGIw"/>
      <message xmi:type="uml:Message" xmi:id="_j1xRgIncEeSxwtAEF1jGIw" name="Message7" messageSort="reply" receiveEvent="_j1ztwYncEeSxwtAEF1jGIw" sendEvent="_j1ztwIncEeSxwtAEF1jGIw"/>
    </ownedBehavior>
    <edge xmi:type="uml:ControlFlow" xmi:id="_PrPWAHcREeSY-OBEwpsn5g" target="_PrIoUHcREeSY-OBEwpsn5g" source="_OLurEHcREeSY-OBEwpsn5g"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_SAsxgHcREeSY-OBEwpsn5g" target="_SAiZcHcREeSY-OBEwpsn5g" source="_PrIoUHcREeSY-OBEwpsn5g"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_Ugqz4HcREeSY-OBEwpsn5g" target="_UgcxcHcREeSY-OBEwpsn5g" source="_SAiZcHcREeSY-OBEwpsn5g"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_YgLWYHcREeSY-OBEwpsn5g" name="Biglietto" target="_WoNvMHcREeSY-OBEwpsn5g" source="_UgcxcHcREeSY-OBEwpsn5g"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_h0k58HcREeSY-OBEwpsn5g" target="_h0SmEHcREeSY-OBEwpsn5g" source="_WoNvMHcREeSY-OBEwpsn5g"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_mi1Y0HcREeSY-OBEwpsn5g" target="_mirAwHcREeSY-OBEwpsn5g" source="_h0SmEHcREeSY-OBEwpsn5g"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_yLOYQHcREeSY-OBEwpsn5g" target="_yLIRoHcREeSY-OBEwpsn5g" source="_mirAwHcREeSY-OBEwpsn5g"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_9BIK0HcREeSY-OBEwpsn5g" name="Vedere" target="_5I4G4HcREeSY-OBEwpsn5g" source="_yLIRoHcREeSY-OBEwpsn5g"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_L75hAHcSEeSY-OBEwpsn5g" name="Non vedere" target="_FqP8wHcSEeSY-OBEwpsn5g" source="_yLIRoHcREeSY-OBEwpsn5g"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_Td-yYHcSEeSY-OBEwpsn5g" target="_FqP8wHcSEeSY-OBEwpsn5g" source="_5I4G4HcREeSY-OBEwpsn5g"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_bxx0kHcSEeSY-OBEwpsn5g" name="Deciso" target="_ZUeEoHcSEeSY-OBEwpsn5g" source="_FqP8wHcSEeSY-OBEwpsn5g"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_jsyjUHcSEeSY-OBEwpsn5g" target="_mirAwHcREeSY-OBEwpsn5g" source="_hjgioHcSEeSY-OBEwpsn5g"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_kZobMHcSEeSY-OBEwpsn5g" target="_h0SmEHcREeSY-OBEwpsn5g" source="_hjgioHcSEeSY-OBEwpsn5g"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_nM4l8HcSEeSY-OBEwpsn5g" name="Non Deciso" target="_hjgioHcSEeSY-OBEwpsn5g" source="_FqP8wHcSEeSY-OBEwpsn5g"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_qbhsMHcSEeSY-OBEwpsn5g" target="_qbYiQHcSEeSY-OBEwpsn5g" source="_ZUeEoHcSEeSY-OBEwpsn5g"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_xvC9IHcSEeSY-OBEwpsn5g" target="_xu2v4HcSEeSY-OBEwpsn5g" source="_qbYiQHcSEeSY-OBEwpsn5g"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_8QwoYHcSEeSY-OBEwpsn5g" name="Abbonamento" target="_4s1OoHcSEeSY-OBEwpsn5g" source="_UgcxcHcREeSY-OBEwpsn5g"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_BBfMcHcTEeSY-OBEwpsn5g" target="_BBVbcHcTEeSY-OBEwpsn5g" source="_4s1OoHcSEeSY-OBEwpsn5g"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_EzmMIHcTEeSY-OBEwpsn5g" target="_EzWUgHcTEeSY-OBEwpsn5g" source="_BBVbcHcTEeSY-OBEwpsn5g"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_H4TTQHcTEeSY-OBEwpsn5g" target="_H4JiQHcTEeSY-OBEwpsn5g" source="_EzWUgHcTEeSY-OBEwpsn5g"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_NDGkMHcTEeSY-OBEwpsn5g" target="_NC2skHcTEeSY-OBEwpsn5g" source="_H4JiQHcTEeSY-OBEwpsn5g"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_YbIzcHcTEeSY-OBEwpsn5g" target="_VySh4HcTEeSY-OBEwpsn5g" source="_NC2skHcTEeSY-OBEwpsn5g"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_ZCGFwHcTEeSY-OBEwpsn5g" target="_VySh4HcTEeSY-OBEwpsn5g" source="_H4JiQHcTEeSY-OBEwpsn5g"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_bDG7QHcTEeSY-OBEwpsn5g" target="_VySh4HcTEeSY-OBEwpsn5g" source="_qbYiQHcSEeSY-OBEwpsn5g"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_cZxMMHcTEeSY-OBEwpsn5g" target="_VySh4HcTEeSY-OBEwpsn5g" source="_xu2v4HcSEeSY-OBEwpsn5g"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_o7oU0HcUEeSY-OBEwpsn5g" name="Notifiche" target="_lgwwcHcUEeSY-OBEwpsn5g" source="_UgcxcHcREeSY-OBEwpsn5g"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_9MipQHcUEeSY-OBEwpsn5g" target="_9MV08HcUEeSY-OBEwpsn5g" source="_vD_aMHcUEeSY-OBEwpsn5g"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="__-LDYHcUEeSY-OBEwpsn5g" target="_lgwwcHcUEeSY-OBEwpsn5g" source="_9MV08HcUEeSY-OBEwpsn5g"/>
    <edge xmi:type="uml:ControlFlow" xmi:id="_OBoXEHcVEeSY-OBEwpsn5g" target="_UgcxcHcREeSY-OBEwpsn5g" source="_lgwwcHcUEeSY-OBEwpsn5g"/>
    <node xmi:type="uml:InitialNode" xmi:id="_OLurEHcREeSY-OBEwpsn5g" name="InitialNode1" outgoing="_PrPWAHcREeSY-OBEwpsn5g"/>
    <node xmi:type="uml:OpaqueAction" xmi:id="_PrIoUHcREeSY-OBEwpsn5g" name="Registrazione" incoming="_PrPWAHcREeSY-OBEwpsn5g" outgoing="_SAsxgHcREeSY-OBEwpsn5g"/>
    <node xmi:type="uml:OpaqueAction" xmi:id="_SAiZcHcREeSY-OBEwpsn5g" name="Login" incoming="_SAsxgHcREeSY-OBEwpsn5g" outgoing="_Ugqz4HcREeSY-OBEwpsn5g"/>
    <node xmi:type="uml:DecisionNode" xmi:id="_UgcxcHcREeSY-OBEwpsn5g" name="DecisionNode1" incoming="_Ugqz4HcREeSY-OBEwpsn5g _OBoXEHcVEeSY-OBEwpsn5g" outgoing="_YgLWYHcREeSY-OBEwpsn5g _8QwoYHcSEeSY-OBEwpsn5g _o7oU0HcUEeSY-OBEwpsn5g"/>
    <node xmi:type="uml:OpaqueAction" xmi:id="_WoNvMHcREeSY-OBEwpsn5g" name="Scelta Destinazione" incoming="_YgLWYHcREeSY-OBEwpsn5g" outgoing="_h0k58HcREeSY-OBEwpsn5g"/>
    <node xmi:type="uml:OpaqueAction" xmi:id="_h0SmEHcREeSY-OBEwpsn5g" name="Scelta Compagnia" incoming="_h0k58HcREeSY-OBEwpsn5g _kZobMHcSEeSY-OBEwpsn5g" outgoing="_mi1Y0HcREeSY-OBEwpsn5g"/>
    <node xmi:type="uml:OpaqueAction" xmi:id="_mirAwHcREeSY-OBEwpsn5g" name="Scelta Corsa" incoming="_mi1Y0HcREeSY-OBEwpsn5g _jsyjUHcSEeSY-OBEwpsn5g" outgoing="_yLOYQHcREeSY-OBEwpsn5g"/>
    <node xmi:type="uml:DecisionNode" xmi:id="_yLIRoHcREeSY-OBEwpsn5g" name="DecisionNode2" incoming="_yLOYQHcREeSY-OBEwpsn5g" outgoing="_9BIK0HcREeSY-OBEwpsn5g _L75hAHcSEeSY-OBEwpsn5g"/>
    <node xmi:type="uml:OpaqueAction" xmi:id="_5I4G4HcREeSY-OBEwpsn5g" name="Visualizza Comfort" incoming="_9BIK0HcREeSY-OBEwpsn5g" outgoing="_Td-yYHcSEeSY-OBEwpsn5g"/>
    <node xmi:type="uml:DecisionNode" xmi:id="_FqP8wHcSEeSY-OBEwpsn5g" name="DecisionNode3" incoming="_L75hAHcSEeSY-OBEwpsn5g _Td-yYHcSEeSY-OBEwpsn5g" outgoing="_bxx0kHcSEeSY-OBEwpsn5g _nM4l8HcSEeSY-OBEwpsn5g"/>
    <node xmi:type="uml:OpaqueAction" xmi:id="_ZUeEoHcSEeSY-OBEwpsn5g" name="Login" incoming="_bxx0kHcSEeSY-OBEwpsn5g" outgoing="_qbhsMHcSEeSY-OBEwpsn5g"/>
    <node xmi:type="uml:DecisionNode" xmi:id="_hjgioHcSEeSY-OBEwpsn5g" name="DecisionNode4" incoming="_nM4l8HcSEeSY-OBEwpsn5g" outgoing="_jsyjUHcSEeSY-OBEwpsn5g _kZobMHcSEeSY-OBEwpsn5g"/>
    <node xmi:type="uml:OpaqueAction" xmi:id="_qbYiQHcSEeSY-OBEwpsn5g" name="Acquisto Biglietto" incoming="_qbhsMHcSEeSY-OBEwpsn5g" outgoing="_xvC9IHcSEeSY-OBEwpsn5g _bDG7QHcTEeSY-OBEwpsn5g"/>
    <node xmi:type="uml:CreateObjectAction" xmi:id="_xu2v4HcSEeSY-OBEwpsn5g" name="Biglietto" incoming="_xvC9IHcSEeSY-OBEwpsn5g" outgoing="_cZxMMHcTEeSY-OBEwpsn5g"/>
    <node xmi:type="uml:OpaqueAction" xmi:id="_4s1OoHcSEeSY-OBEwpsn5g" name="Scelta tipo Abbonamento" incoming="_8QwoYHcSEeSY-OBEwpsn5g" outgoing="_BBfMcHcTEeSY-OBEwpsn5g"/>
    <node xmi:type="uml:OpaqueAction" xmi:id="_BBVbcHcTEeSY-OBEwpsn5g" name="Scelta Compagnia" incoming="_BBfMcHcTEeSY-OBEwpsn5g" outgoing="_EzmMIHcTEeSY-OBEwpsn5g"/>
    <node xmi:type="uml:OpaqueAction" xmi:id="_EzWUgHcTEeSY-OBEwpsn5g" name="Login" incoming="_EzmMIHcTEeSY-OBEwpsn5g" outgoing="_H4TTQHcTEeSY-OBEwpsn5g"/>
    <node xmi:type="uml:OpaqueAction" xmi:id="_H4JiQHcTEeSY-OBEwpsn5g" name="Acquisto" incoming="_H4TTQHcTEeSY-OBEwpsn5g" outgoing="_NDGkMHcTEeSY-OBEwpsn5g _ZCGFwHcTEeSY-OBEwpsn5g"/>
    <node xmi:type="uml:CreateObjectAction" xmi:id="_NC2skHcTEeSY-OBEwpsn5g" name="Abbonamento digitale" incoming="_NDGkMHcTEeSY-OBEwpsn5g" outgoing="_YbIzcHcTEeSY-OBEwpsn5g"/>
    <node xmi:type="uml:ActivityFinalNode" xmi:id="_DsVzsHcUEeSY-OBEwpsn5g" name="ActivityFinalNode1" incoming="_DsfksHcUEeSY-OBEwpsn5g"/>
    <node xmi:type="uml:ActivityFinalNode" xmi:id="_bjAt4HcUEeSY-OBEwpsn5g" name="ActivityFinalNode2" incoming="_d6050HcUEeSY-OBEwpsn5g"/>
    <node xmi:type="uml:OpaqueAction" xmi:id="_lgwwcHcUEeSY-OBEwpsn5g" name="Leggi Notifiche" incoming="_o7oU0HcUEeSY-OBEwpsn5g __-LDYHcUEeSY-OBEwpsn5g" outgoing="_OBoXEHcVEeSY-OBEwpsn5g"/>
    <node xmi:type="uml:AcceptEventAction" xmi:id="_vD_aMHcUEeSY-OBEwpsn5g" name="Ricezione Notifiche" outgoing="_9MipQHcUEeSY-OBEwpsn5g"/>
    <node xmi:type="uml:CentralBufferNode" xmi:id="_9MV08HcUEeSY-OBEwpsn5g" name="Notifica" incoming="_9MipQHcUEeSY-OBEwpsn5g" outgoing="__-LDYHcUEeSY-OBEwpsn5g">
      <upperBound xmi:type="uml:LiteralInteger" xmi:id="_9MXDEHcUEeSY-OBEwpsn5g" value="1"/>
    </node>
  </packagedElement>
  <packagedElement xmi:type="uml:Signal" xmi:id="_r8cIgHcWEeSY-OBEwpsn5g" name="Emissione Notifiche"/>
  <packagedElement xmi:type="uml:Interaction" xmi:id="_kUnMAIBMEeSaQOYU6-8vJQ" name="SeqRegistrazione">
    <ownedComment xmi:type="uml:Comment" xmi:id="_JjG-wIBUEeSaQOYU6-8vJQ">
      <body>L'utente seleziona &#xD;
&quot;crea nuovo account&quot;</body>
    </ownedComment>
    <ownedComment xmi:type="uml:Comment" xmi:id="_Qg7sgIBUEeSaQOYU6-8vJQ">
      <body>il sistema crea&#xD;
il nuovo account</body>
    </ownedComment>
    <ownedComment xmi:type="uml:Comment" xmi:id="_nd0ZgIQ6EeSUut4Qhjsh2w" annotatedElement="_4oumUIQ6EeSUut4Qhjsh2w">
      <body> Il sistema invia un &#xD;
segnale radio al satellite</body>
    </ownedComment>
    <ownedComment xmi:type="uml:Comment" xmi:id="_wuFD8IQ6EeSUut4Qhjsh2w" annotatedElement="_5IzfcIQ4EeSUut4Qhjsh2w">
      <body>L'utente seleziona&#xD;
acquista biglietto o&#xD;
abbonamento</body>
    </ownedComment>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_M632sIBSEeSaQOYU6-8vJQ" name="Utente" coveredBy="_jqVbwIBTEeSaQOYU6-8vJQ _zF05YYBTEeSaQOYU6-8vJQ _D43YwYBUEeSaQOYU6-8vJQ"/>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_X7baEIBSEeSaQOYU6-8vJQ" name=":GestoreRegistrazioni" coveredBy="_q5CeIYBTEeSaQOYU6-8vJQ _q5CeIIBTEeSaQOYU6-8vJQ _zF-DUIBTEeSaQOYU6-8vJQ _8OIhsYBTEeSaQOYU6-8vJQ _D43YwIBUEeSaQOYU6-8vJQ"/>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_8NiEwIBTEeSaQOYU6-8vJQ" name=":Utente" coveredBy="_8OSSsIBTEeSaQOYU6-8vJQ"/>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_9QjzsIOjEeSlluCVYdSjNg" name=":Utente" coveredBy="_DBPY4IOkEeSlluCVYdSjNg _DBOKwIOkEeSlluCVYdSjNg _GLuicIOlEeSlluCVYdSjNg _p2p4YIOmEeSlluCVYdSjNg _iVp6MIOoEeSlluCVYdSjNg _1kQdEIOoEeSlluCVYdSjNg"/>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_IAYMYIOkEeSlluCVYdSjNg" name="Gestore Tratte" coveredBy="_DH8BUIOlEeSlluCVYdSjNg _DH6MIIOlEeSlluCVYdSjNg _GLyM0IOlEeSlluCVYdSjNg _MSmaEIOlEeSlluCVYdSjNg _Y4I-QIOlEeSlluCVYdSjNg _lgrMEIOlEeSlluCVYdSjNg _a9P0IIOmEeSlluCVYdSjNg _a9N-8IOmEeSlluCVYdSjNg _p2v_AIOmEeSlluCVYdSjNg _NNC-MIOnEeSlluCVYdSjNg _TchYMIOnEeSlluCVYdSjNg _X2xV8IOnEeSlluCVYdSjNg _iVlowIOoEeSlluCVYdSjNg _mUqtcIOoEeSlluCVYdSjNg _1kMysIOoEeSlluCVYdSjNg"/>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_LmJZMIOkEeSlluCVYdSjNg" name="Database Tratte Orari" coveredBy="_TT-yIIOlEeSlluCVYdSjNg _Y4MooIOlEeSlluCVYdSjNg _lgmTkIOlEeSlluCVYdSjNg _OL-EkIOnEeSlluCVYdSjNg _Tcp7EIOnEeSlluCVYdSjNg _X2u5sIOnEeSlluCVYdSjNg"/>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_myX6sIQ4EeSUut4Qhjsh2w" name=":Utente" coveredBy="_xqWJ0IQ4EeSUut4Qhjsh2w _xqViwIQ4EeSUut4Qhjsh2w _5IzfcIQ4EeSUut4Qhjsh2w _S82AEIRLEeSsK8SWhCICTQ _S9I7AIRLEeSsK8SWhCICTQ _S8_xEIRLEeSsK8SWhCICTQ"/>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_BbfHUIQ5EeSUut4Qhjsh2w" name="Satellite" coveredBy="_TZbTkIQ5EeSUut4Qhjsh2w _XjijkIQ5EeSUut4Qhjsh2w _4oumUIQ6EeSUut4Qhjsh2w"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_zF-DUIBTEeSaQOYU6-8vJQ" name="MessageRecv" covered="_X7baEIBSEeSaQOYU6-8vJQ" message="_zF05YIBTEeSaQOYU6-8vJQ"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Y4MooIOlEeSlluCVYdSjNg" name="MessageRecv3" covered="_LmJZMIOkEeSlluCVYdSjNg" message="_Y4EFwIOlEeSlluCVYdSjNg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_p2p4YIOmEeSlluCVYdSjNg" name="MessageSend6" covered="_9QjzsIOjEeSlluCVYdSjNg" message="_p2eSMIOmEeSlluCVYdSjNg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_iVp6MIOoEeSlluCVYdSjNg" name="MessageRecv9" covered="_9QjzsIOjEeSlluCVYdSjNg" message="_iVeUAIOoEeSlluCVYdSjNg"/>
    <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_xqWJ0IQ4EeSUut4Qhjsh2w" name="ActionExecSpec8Finish" covered="_myX6sIQ4EeSUut4Qhjsh2w" execution="_xqViwIQ4EeSUut4Qhjsh2w"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_5IzfcIQ4EeSUut4Qhjsh2w" name="MessageSend11" covered="_myX6sIQ4EeSUut4Qhjsh2w"/>
    <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_a9N-8IOmEeSlluCVYdSjNg" name="ActionExecSpec5" covered="_IAYMYIOkEeSlluCVYdSjNg" finish="_a9P0IIOmEeSlluCVYdSjNg" start="_iVlowIOoEeSlluCVYdSjNg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_p2v_AIOmEeSlluCVYdSjNg" name="MessageRecv6" covered="_IAYMYIOkEeSlluCVYdSjNg" message="_p2eSMIOmEeSlluCVYdSjNg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_1kMysIOoEeSlluCVYdSjNg" name="MessageSend10" covered="_IAYMYIOkEeSlluCVYdSjNg" message="_1kJIUIOoEeSlluCVYdSjNg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_GLuicIOlEeSlluCVYdSjNg" name="MessageSend2" covered="_9QjzsIOjEeSlluCVYdSjNg" message="_GLhuIIOlEeSlluCVYdSjNg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_D43YwIBUEeSaQOYU6-8vJQ" name="MessageSend1" covered="_X7baEIBSEeSaQOYU6-8vJQ" message="_D4tnwIBUEeSaQOYU6-8vJQ"/>
    <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_q5CeIYBTEeSaQOYU6-8vJQ" name="ActionExecSpec0Finish" covered="_X7baEIBSEeSaQOYU6-8vJQ" execution="_q5CeIIBTEeSaQOYU6-8vJQ"/>
    <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_TT-yIIOlEeSlluCVYdSjNg" name="ActionExecSpec4" covered="_LmJZMIOkEeSlluCVYdSjNg" finish="_lgmTkIOlEeSlluCVYdSjNg" start="_Y4MooIOlEeSlluCVYdSjNg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_zF05YYBTEeSaQOYU6-8vJQ" name="MessageSend" covered="_M632sIBSEeSaQOYU6-8vJQ" message="_zF05YIBTEeSaQOYU6-8vJQ"/>
    <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_S9I7AIRLEeSsK8SWhCICTQ" name="ActionExecSpec12Finish" covered="_myX6sIQ4EeSUut4Qhjsh2w" execution="_S8_xEIRLEeSsK8SWhCICTQ"/>
    <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_q5CeIIBTEeSaQOYU6-8vJQ" name="ActionExecSpec0" covered="_X7baEIBSEeSaQOYU6-8vJQ" finish="_q5CeIYBTEeSaQOYU6-8vJQ" start="_zF-DUIBTEeSaQOYU6-8vJQ"/>
    <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_S82AEIRLEeSsK8SWhCICTQ" name="ActionExecSpec12Start" covered="_myX6sIQ4EeSUut4Qhjsh2w" execution="_S8_xEIRLEeSsK8SWhCICTQ"/>
    <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_MSmaEIOlEeSlluCVYdSjNg" name="ActionExecSpec3" covered="_IAYMYIOkEeSlluCVYdSjNg" finish="_lgrMEIOlEeSlluCVYdSjNg" start="_Y4I-QIOlEeSlluCVYdSjNg"/>
    <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_xqViwIQ4EeSUut4Qhjsh2w" name="ActionExecSpec8" covered="_myX6sIQ4EeSUut4Qhjsh2w" finish="_xqWJ0IQ4EeSUut4Qhjsh2w" start="_5IzfcIQ4EeSUut4Qhjsh2w"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_1kQdEIOoEeSlluCVYdSjNg" name="MessageRecv10" covered="_9QjzsIOjEeSlluCVYdSjNg" message="_1kJIUIOoEeSlluCVYdSjNg"/>
    <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_jqVbwIBTEeSaQOYU6-8vJQ" name="ActionExecSpec" covered="_M632sIBSEeSaQOYU6-8vJQ" finish="_D43YwYBUEeSaQOYU6-8vJQ" start="_zF05YYBTEeSaQOYU6-8vJQ"/>
    <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_S8_xEIRLEeSsK8SWhCICTQ" name="ActionExecSpec12" covered="_myX6sIQ4EeSUut4Qhjsh2w" finish="_S9I7AIRLEeSsK8SWhCICTQ" start="_S82AEIRLEeSsK8SWhCICTQ"/>
    <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_mUqtcIOoEeSlluCVYdSjNg" name="ActionExecSpec2Start" covered="_IAYMYIOkEeSlluCVYdSjNg" execution="_DH6MIIOlEeSlluCVYdSjNg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Y4I-QIOlEeSlluCVYdSjNg" name="MessageSend3" covered="_IAYMYIOkEeSlluCVYdSjNg" message="_Y4EFwIOlEeSlluCVYdSjNg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_X2xV8IOnEeSlluCVYdSjNg" name="MessageRecv8" covered="_IAYMYIOkEeSlluCVYdSjNg" message="_X2r2YIOnEeSlluCVYdSjNg"/>
    <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_DH6MIIOlEeSlluCVYdSjNg" name="ActionExecSpec2" covered="_IAYMYIOkEeSlluCVYdSjNg" finish="_DH8BUIOlEeSlluCVYdSjNg" start="_mUqtcIOoEeSlluCVYdSjNg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_XjijkIQ5EeSUut4Qhjsh2w" name="MessageRecv12" covered="_BbfHUIQ5EeSUut4Qhjsh2w"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_iVlowIOoEeSlluCVYdSjNg" name="MessageSend9" covered="_IAYMYIOkEeSlluCVYdSjNg" message="_iVeUAIOoEeSlluCVYdSjNg"/>
    <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_NNC-MIOnEeSlluCVYdSjNg" name="ActionExecSpec6" covered="_IAYMYIOkEeSlluCVYdSjNg" finish="_X2xV8IOnEeSlluCVYdSjNg" start="_TchYMIOnEeSlluCVYdSjNg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_TchYMIOnEeSlluCVYdSjNg" name="MessageSend7" covered="_IAYMYIOkEeSlluCVYdSjNg" message="_TccfsIOnEeSlluCVYdSjNg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_GLyM0IOlEeSlluCVYdSjNg" name="MessageRecv2" covered="_IAYMYIOkEeSlluCVYdSjNg" message="_GLhuIIOlEeSlluCVYdSjNg"/>
    <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_a9P0IIOmEeSlluCVYdSjNg" name="ActionExecSpec5Finish" covered="_IAYMYIOkEeSlluCVYdSjNg" execution="_a9N-8IOmEeSlluCVYdSjNg"/>
    <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_TZbTkIQ5EeSUut4Qhjsh2w" name="ActionExecSpec10" covered="_BbfHUIQ5EeSUut4Qhjsh2w" finish="_4oumUIQ6EeSUut4Qhjsh2w" start="_XjijkIQ5EeSUut4Qhjsh2w"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_lgrMEIOlEeSlluCVYdSjNg" name="MessageRecv4" covered="_IAYMYIOkEeSlluCVYdSjNg" message="_lgiCIIOlEeSlluCVYdSjNg"/>
    <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_DBOKwIOkEeSlluCVYdSjNg" name="ActionExecSpec1" covered="_9QjzsIOjEeSlluCVYdSjNg" finish="_DBPY4IOkEeSlluCVYdSjNg" start="_GLuicIOlEeSlluCVYdSjNg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_D43YwYBUEeSaQOYU6-8vJQ" name="MessageRecv1" covered="_M632sIBSEeSaQOYU6-8vJQ" message="_D4tnwIBUEeSaQOYU6-8vJQ"/>
    <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_DBPY4IOkEeSlluCVYdSjNg" name="ActionExecSpec1Finish" covered="_9QjzsIOjEeSlluCVYdSjNg" execution="_DBOKwIOkEeSlluCVYdSjNg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_8OSSsIBTEeSaQOYU6-8vJQ" name="MessageRecv0" covered="_8NiEwIBTEeSaQOYU6-8vJQ" message="_8OIhsIBTEeSaQOYU6-8vJQ"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_lgmTkIOlEeSlluCVYdSjNg" name="MessageSend4" covered="_LmJZMIOkEeSlluCVYdSjNg" message="_lgiCIIOlEeSlluCVYdSjNg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Tcp7EIOnEeSlluCVYdSjNg" name="MessageRecv7" covered="_LmJZMIOkEeSlluCVYdSjNg" message="_TccfsIOnEeSlluCVYdSjNg"/>
    <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_DH8BUIOlEeSlluCVYdSjNg" name="ActionExecSpec2Finish" covered="_IAYMYIOkEeSlluCVYdSjNg" execution="_DH6MIIOlEeSlluCVYdSjNg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_4oumUIQ6EeSUut4Qhjsh2w" name="MessageSend13" covered="_BbfHUIQ5EeSUut4Qhjsh2w"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_X2u5sIOnEeSlluCVYdSjNg" name="MessageSend8" covered="_LmJZMIOkEeSlluCVYdSjNg" message="_X2r2YIOnEeSlluCVYdSjNg"/>
    <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_OL-EkIOnEeSlluCVYdSjNg" name="ActionExecSpec7" covered="_LmJZMIOkEeSlluCVYdSjNg" finish="_X2u5sIOnEeSlluCVYdSjNg" start="_Tcp7EIOnEeSlluCVYdSjNg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_8OIhsYBTEeSaQOYU6-8vJQ" name="MessageSend0" covered="_X7baEIBSEeSaQOYU6-8vJQ" message="_8OIhsIBTEeSaQOYU6-8vJQ"/>
    <message xmi:type="uml:Message" xmi:id="_zF05YIBTEeSaQOYU6-8vJQ" name="creaNuovoAccountUtente()" receiveEvent="_zF-DUIBTEeSaQOYU6-8vJQ" sendEvent="_zF05YYBTEeSaQOYU6-8vJQ"/>
    <message xmi:type="uml:Message" xmi:id="_8OIhsIBTEeSaQOYU6-8vJQ" name="crea()" messageSort="createMessage" receiveEvent="_8OSSsIBTEeSaQOYU6-8vJQ" sendEvent="_8OIhsYBTEeSaQOYU6-8vJQ"/>
    <message xmi:type="uml:Message" xmi:id="_D4tnwIBUEeSaQOYU6-8vJQ" name="Account Creato" messageSort="reply" receiveEvent="_D43YwYBUEeSaQOYU6-8vJQ" sendEvent="_D43YwIBUEeSaQOYU6-8vJQ"/>
    <message xmi:type="uml:Message" xmi:id="_GLhuIIOlEeSlluCVYdSjNg" name="VisualizzaTratte()" receiveEvent="_GLyM0IOlEeSlluCVYdSjNg" sendEvent="_GLuicIOlEeSlluCVYdSjNg"/>
    <message xmi:type="uml:Message" xmi:id="_Y4EFwIOlEeSlluCVYdSjNg" name="RichiestaElencoTratte" messageSort="asynchCall" receiveEvent="_Y4MooIOlEeSlluCVYdSjNg" sendEvent="_Y4I-QIOlEeSlluCVYdSjNg"/>
    <message xmi:type="uml:Message" xmi:id="_lgiCIIOlEeSlluCVYdSjNg" name="InvioElenco" messageSort="asynchCall" receiveEvent="_lgrMEIOlEeSlluCVYdSjNg" sendEvent="_lgmTkIOlEeSlluCVYdSjNg"/>
    <message xmi:type="uml:Message" xmi:id="_p2eSMIOmEeSlluCVYdSjNg" name="SceltaTratta" receiveEvent="_p2v_AIOmEeSlluCVYdSjNg" sendEvent="_p2p4YIOmEeSlluCVYdSjNg"/>
    <message xmi:type="uml:Message" xmi:id="_TccfsIOnEeSlluCVYdSjNg" name="RichiestaOrari" receiveEvent="_Tcp7EIOnEeSlluCVYdSjNg" sendEvent="_TchYMIOnEeSlluCVYdSjNg"/>
    <message xmi:type="uml:Message" xmi:id="_X2r2YIOnEeSlluCVYdSjNg" name="InvioElencoOrari" messageSort="asynchCall" receiveEvent="_X2xV8IOnEeSlluCVYdSjNg" sendEvent="_X2u5sIOnEeSlluCVYdSjNg"/>
    <message xmi:type="uml:Message" xmi:id="_iVeUAIOoEeSlluCVYdSjNg" name="Orari" messageSort="asynchCall" receiveEvent="_iVp6MIOoEeSlluCVYdSjNg" sendEvent="_iVlowIOoEeSlluCVYdSjNg"/>
    <message xmi:type="uml:Message" xmi:id="_1kJIUIOoEeSlluCVYdSjNg" name="elenco" messageSort="reply" receiveEvent="_1kQdEIOoEeSlluCVYdSjNg" sendEvent="_1kMysIOoEeSlluCVYdSjNg"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Interaction" xmi:id="_9EYwEIBaEeSaQOYU6-8vJQ" name="SeqLogin">
    <ownedComment xmi:type="uml:Comment" xmi:id="_GPcUAIIUEeSFXdgFXYphVw" annotatedElement="_j89poIIQEeSFXdgFXYphVw">
      <body>Il sistema risponde &#xD;
all'utente inviandoli&#xD;
la lista delle tratte</body>
    </ownedComment>
    <ownedComment xmi:type="uml:Comment" xmi:id="_UnzHYIIZEeSFXdgFXYphVw">
      <body>auto-delegazione</body>
    </ownedComment>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_A06wgIBdEeSaQOYU6-8vJQ" name=":Persona" coveredBy="_Kg738IBfEeSaQOYU6-8vJQ _M19OkYBfEeSaQOYU6-8vJQ _Ulqk4IBiEeSaQOYU6-8vJQ _Lxf2EIIOEeSFXdgFXYphVw"/>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_uu3fMIBeEeSaQOYU6-8vJQ" name=":GestoreAccount" coveredBy="_M2G_kIBfEeSaQOYU6-8vJQ _Gj4sMIBiEeSaQOYU6-8vJQ _Lxa9kIIOEeSFXdgFXYphVw"/>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_wnHdgIIPEeSFXdgFXYphVw" name=":Utente" coveredBy="_YjyK4YIQEeSFXdgFXYphVw _YjyK4IIQEeSFXdgFXYphVw _1vvSQIIREeSFXdgFXYphVw _849-wIIREeSFXdgFXYphVw"/>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_zbgQsIIPEeSFXdgFXYphVw" name="Sistema" coveredBy="_j89poIIQEeSFXdgFXYphVw _1dTT4IIQEeSFXdgFXYphVw _1dSFwIIQEeSFXdgFXYphVw _ySqHYIIREeSFXdgFXYphVw _1vy8oIIREeSFXdgFXYphVw _846UYIIREeSFXdgFXYphVw _JoZ3EIIYEeSFXdgFXYphVw _OKjMkIIYEeSFXdgFXYphVw _tEKlEIIYEeSFXdgFXYphVw _x8XDEIIYEeSFXdgFXYphVw _BJjmAIIZEeSFXdgFXYphVw _BJpsoIIZEeSFXdgFXYphVw"/>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_gLf4QIISEeSFXdgFXYphVw" name="Database Tratte" coveredBy="_qmDj4IIYEeSFXdgFXYphVw _tEPdkIIYEeSFXdgFXYphVw _x8Q8cIIYEeSFXdgFXYphVw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_x8Q8cIIYEeSFXdgFXYphVw" name="MessageSend4" covered="_gLf4QIISEeSFXdgFXYphVw" message="_x7_PoIIYEeSFXdgFXYphVw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_tEKlEIIYEeSFXdgFXYphVw" name="MessageSend3" covered="_zbgQsIIPEeSFXdgFXYphVw" message="_tEGToIIYEeSFXdgFXYphVw"/>
    <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_JoZ3EIIYEeSFXdgFXYphVw" name="BehaviorExecSpec" covered="_zbgQsIIPEeSFXdgFXYphVw" finish="_x8XDEIIYEeSFXdgFXYphVw" start="_tEKlEIIYEeSFXdgFXYphVw"/>
    <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_Kg738IBfEeSaQOYU6-8vJQ" name="ActionExecSpec" covered="_A06wgIBdEeSaQOYU6-8vJQ" finish="_Lxf2EIIOEeSFXdgFXYphVw" start="_Ulqk4IBiEeSaQOYU6-8vJQ"/>
    <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_qmDj4IIYEeSFXdgFXYphVw" name="ActionExecSpec4" covered="_gLf4QIISEeSFXdgFXYphVw" finish="_x8Q8cIIYEeSFXdgFXYphVw" start="_tEPdkIIYEeSFXdgFXYphVw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_x8XDEIIYEeSFXdgFXYphVw" name="MessageRecv4" covered="_zbgQsIIPEeSFXdgFXYphVw" message="_x7_PoIIYEeSFXdgFXYphVw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_M19OkYBfEeSaQOYU6-8vJQ" name="MessageSend" covered="_A06wgIBdEeSaQOYU6-8vJQ" message="_M19OkIBfEeSaQOYU6-8vJQ"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Lxa9kIIOEeSFXdgFXYphVw" name="MessageSend0" covered="_uu3fMIBeEeSaQOYU6-8vJQ" message="_LxB8AIIOEeSFXdgFXYphVw"/>
    <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_YjyK4IIQEeSFXdgFXYphVw" name="ActionExecSpec1" covered="_wnHdgIIPEeSFXdgFXYphVw" finish="_YjyK4YIQEeSFXdgFXYphVw" start="_1vvSQIIREeSFXdgFXYphVw"/>
    <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_YjyK4YIQEeSFXdgFXYphVw" name="ActionExecSpec1Finish" covered="_wnHdgIIPEeSFXdgFXYphVw" execution="_YjyK4IIQEeSFXdgFXYphVw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_M2G_kIBfEeSaQOYU6-8vJQ" name="MessageRecv" covered="_uu3fMIBeEeSaQOYU6-8vJQ" message="_M19OkIBfEeSaQOYU6-8vJQ"/>
    <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_ySqHYIIREeSFXdgFXYphVw" name="ActionExecSpec3Start" covered="_zbgQsIIPEeSFXdgFXYphVw" execution="_1dSFwIIQEeSFXdgFXYphVw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_BJpsoIIZEeSFXdgFXYphVw" name="MessageRecv5" covered="_zbgQsIIPEeSFXdgFXYphVw" message="_BJeGcIIZEeSFXdgFXYphVw"/>
    <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_1dTT4IIQEeSFXdgFXYphVw" name="ActionExecSpec3Finish" covered="_zbgQsIIPEeSFXdgFXYphVw" execution="_1dSFwIIQEeSFXdgFXYphVw"/>
    <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_OKjMkIIYEeSFXdgFXYphVw" name="ActionExecSpec2Finish" covered="_zbgQsIIPEeSFXdgFXYphVw" execution="_j89poIIQEeSFXdgFXYphVw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_tEPdkIIYEeSFXdgFXYphVw" name="MessageRecv3" covered="_gLf4QIISEeSFXdgFXYphVw" message="_tEGToIIYEeSFXdgFXYphVw"/>
    <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_Ulqk4IBiEeSaQOYU6-8vJQ" name="ActionExecSpecStart" covered="_A06wgIBdEeSaQOYU6-8vJQ" execution="_Kg738IBfEeSaQOYU6-8vJQ"/>
    <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_1dSFwIIQEeSFXdgFXYphVw" name="ActionExecSpec3" covered="_zbgQsIIPEeSFXdgFXYphVw" finish="_1dTT4IIQEeSFXdgFXYphVw" start="_ySqHYIIREeSFXdgFXYphVw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_1vvSQIIREeSFXdgFXYphVw" name="MessageSend1" covered="_wnHdgIIPEeSFXdgFXYphVw" message="_1vqZwIIREeSFXdgFXYphVw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_846UYIIREeSFXdgFXYphVw" name="MessageSend2" covered="_zbgQsIIPEeSFXdgFXYphVw" message="_842C8IIREeSFXdgFXYphVw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_849-wIIREeSFXdgFXYphVw" name="MessageRecv2" covered="_wnHdgIIPEeSFXdgFXYphVw" message="_842C8IIREeSFXdgFXYphVw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_BJjmAIIZEeSFXdgFXYphVw" name="MessageSend5" covered="_zbgQsIIPEeSFXdgFXYphVw" message="_BJeGcIIZEeSFXdgFXYphVw"/>
    <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_Gj4sMIBiEeSaQOYU6-8vJQ" name="ActionExecSpec0" covered="_uu3fMIBeEeSaQOYU6-8vJQ" finish="_Lxa9kIIOEeSFXdgFXYphVw" start="_M2G_kIBfEeSaQOYU6-8vJQ"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_1vy8oIIREeSFXdgFXYphVw" name="MessageRecv1" covered="_zbgQsIIPEeSFXdgFXYphVw" message="_1vqZwIIREeSFXdgFXYphVw"/>
    <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_j89poIIQEeSFXdgFXYphVw" name="ActionExecSpec2" covered="_zbgQsIIPEeSFXdgFXYphVw" finish="_OKjMkIIYEeSFXdgFXYphVw" start="_846UYIIREeSFXdgFXYphVw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Lxf2EIIOEeSFXdgFXYphVw" name="MessageRecv0" covered="_A06wgIBdEeSaQOYU6-8vJQ" message="_LxB8AIIOEeSFXdgFXYphVw"/>
    <message xmi:type="uml:Message" xmi:id="_M19OkIBfEeSaQOYU6-8vJQ" name="Login" receiveEvent="_M2G_kIBfEeSaQOYU6-8vJQ" sendEvent="_M19OkYBfEeSaQOYU6-8vJQ">
      <argument xmi:type="uml:StringExpression" xmi:id="_Nvge8IYAEeSFa_xp01C-sQ" name="nome"/>
      <argument xmi:type="uml:StringExpression" xmi:id="_Pl7OAIYAEeSFa_xp01C-sQ" name="password"/>
    </message>
    <message xmi:type="uml:Message" xmi:id="_LxB8AIIOEeSFXdgFXYphVw" name="Login completo" messageSort="reply" receiveEvent="_Lxf2EIIOEeSFXdgFXYphVw" sendEvent="_Lxa9kIIOEeSFXdgFXYphVw"/>
    <message xmi:type="uml:Message" xmi:id="_1vqZwIIREeSFXdgFXYphVw" name="VisualizzaTratte()" receiveEvent="_1vy8oIIREeSFXdgFXYphVw" sendEvent="_1vvSQIIREeSFXdgFXYphVw"/>
    <message xmi:type="uml:Message" xmi:id="_842C8IIREeSFXdgFXYphVw" name="Tratte" messageSort="asynchCall" receiveEvent="_849-wIIREeSFXdgFXYphVw" sendEvent="_846UYIIREeSFXdgFXYphVw"/>
    <message xmi:type="uml:Message" xmi:id="_tEGToIIYEeSFXdgFXYphVw" name="Richiesta" messageSort="asynchCall" receiveEvent="_tEPdkIIYEeSFXdgFXYphVw" sendEvent="_tEKlEIIYEeSFXdgFXYphVw"/>
    <message xmi:type="uml:Message" xmi:id="_x7_PoIIYEeSFXdgFXYphVw" name="Invio" messageSort="asynchCall" receiveEvent="_x8XDEIIYEeSFXdgFXYphVw" sendEvent="_x8Q8cIIYEeSFXdgFXYphVw"/>
    <message xmi:type="uml:Message" xmi:id="_BJeGcIIZEeSFXdgFXYphVw" receiveEvent="_BJpsoIIZEeSFXdgFXYphVw" sendEvent="_BJjmAIIZEeSFXdgFXYphVw"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Actor" xmi:id="_rYrcwIeAEeSIP9QUrJ6RSQ" name="Amministratore">
    <generalization xmi:type="uml:Generalization" xmi:id="_O5JEkIeBEeSIP9QUrJ6RSQ" general="_HjzOsIeBEeSIP9QUrJ6RSQ"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Actor" xmi:id="_rYrcwYeAEeSIP9QUrJ6RSQ" name="SensoreSuono">
    <generalization xmi:type="uml:Generalization" xmi:id="_88stIIeAEeSIP9QUrJ6RSQ" general="_rY1N1YeAEeSIP9QUrJ6RSQ"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Actor" xmi:id="_rYrcw4eAEeSIP9QUrJ6RSQ" name="Utente">
    <generalization xmi:type="uml:Generalization" xmi:id="_YI1uUIeBEeSIP9QUrJ6RSQ" general="_HjzOsIeBEeSIP9QUrJ6RSQ"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Association" xmi:id="_rYrcxIeAEeSIP9QUrJ6RSQ" memberEnd="_rYrcxYeAEeSIP9QUrJ6RSQ _rYrcyIeAEeSIP9QUrJ6RSQ">
    <name xsi:nil="true"/>
    <ownedEnd xmi:type="uml:Property" xmi:id="_rYrcxYeAEeSIP9QUrJ6RSQ" name="rilevazionesuono" type="_rYrdC4eAEeSIP9QUrJ6RSQ" association="_rYrcxIeAEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_rYrcxoeAEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_rYrcx4eAEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_rYrcyIeAEeSIP9QUrJ6RSQ" name="sensoresuono" type="_rYrcwYeAEeSIP9QUrJ6RSQ" association="_rYrcxIeAEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_rYrcyYeAEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_rYrcyoeAEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Actor" xmi:id="_rYrcy4eAEeSIP9QUrJ6RSQ" name="SensoreTemperatura">
    <generalization xmi:type="uml:Generalization" xmi:id="_9eFi8IeAEeSIP9QUrJ6RSQ" general="_rY1N1YeAEeSIP9QUrJ6RSQ"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Association" xmi:id="_rYrczYeAEeSIP9QUrJ6RSQ" memberEnd="_rYrczoeAEeSIP9QUrJ6RSQ _rYrc0YeAEeSIP9QUrJ6RSQ">
    <name xsi:nil="true"/>
    <ownedEnd xmi:type="uml:Property" xmi:id="_rYrczoeAEeSIP9QUrJ6RSQ" name="utente" type="_rYrcw4eAEeSIP9QUrJ6RSQ" association="_rYrczYeAEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_rYrcz4eAEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_rYrc0IeAEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_rYrc0YeAEeSIP9QUrJ6RSQ" name="visualizzaoraritratte" type="_rYrc8IeAEeSIP9QUrJ6RSQ" association="_rYrczYeAEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_rYrc0oeAEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_rYrc04eAEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Actor" xmi:id="_rYrc1IeAEeSIP9QUrJ6RSQ" name="SensoreUmidita">
    <generalization xmi:type="uml:Generalization" xmi:id="_75gx0IeAEeSIP9QUrJ6RSQ" general="_rY1N1YeAEeSIP9QUrJ6RSQ"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Actor" xmi:id="_rYrc1oeAEeSIP9QUrJ6RSQ" name="SensoreQualitaAria">
    <generalization xmi:type="uml:Generalization" xmi:id="_8g2eoIeAEeSIP9QUrJ6RSQ" general="_rY1N1YeAEeSIP9QUrJ6RSQ"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Association" xmi:id="_rYrc2IeAEeSIP9QUrJ6RSQ" memberEnd="_rYrc2YeAEeSIP9QUrJ6RSQ _rYrc3IeAEeSIP9QUrJ6RSQ">
    <name xsi:nil="true"/>
    <ownedEnd xmi:type="uml:Property" xmi:id="_rYrc2YeAEeSIP9QUrJ6RSQ" name="amministratore" type="_rYrcwIeAEeSIP9QUrJ6RSQ" association="_rYrc2IeAEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_rYrc2oeAEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_rYrc24eAEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_rYrc3IeAEeSIP9QUrJ6RSQ" name="registrazionecontrollore" type="_rYrc94eAEeSIP9QUrJ6RSQ" association="_rYrc2IeAEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_rYrc3YeAEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_rYrc3oeAEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Association" xmi:id="_rYrc5oeAEeSIP9QUrJ6RSQ" memberEnd="_rYrc54eAEeSIP9QUrJ6RSQ _rYrc6oeAEeSIP9QUrJ6RSQ">
    <name xsi:nil="true"/>
    <ownedEnd xmi:type="uml:Property" xmi:id="_rYrc54eAEeSIP9QUrJ6RSQ" name="registrazione" type="_rYrc74eAEeSIP9QUrJ6RSQ" association="_rYrc5oeAEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_rYrc6IeAEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_rYrc6YeAEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_rYrc6oeAEeSIP9QUrJ6RSQ" name="utente" type="_rYrcw4eAEeSIP9QUrJ6RSQ" association="_rYrc5oeAEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_rYrc64eAEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_rYrc7IeAEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Component" xmi:id="_rYrc7YeAEeSIP9QUrJ6RSQ" name="SmartBus" useCase="_rYrc74eAEeSIP9QUrJ6RSQ _rYrc8IeAEeSIP9QUrJ6RSQ _rYrc8YeAEeSIP9QUrJ6RSQ _rYrc84eAEeSIP9QUrJ6RSQ _rYrc9IeAEeSIP9QUrJ6RSQ _rYrc9YeAEeSIP9QUrJ6RSQ _rYrc9oeAEeSIP9QUrJ6RSQ _rYrc94eAEeSIP9QUrJ6RSQ _rYrc-IeAEeSIP9QUrJ6RSQ _rYrc-YeAEeSIP9QUrJ6RSQ _WFoNUInaEeSxwtAEF1jGIw">
    <ownedComment xmi:type="uml:Comment" xmi:id="_rYrc7oeAEeSIP9QUrJ6RSQ">
      <body>&quot;AcquistaBigliettiAbbonamenti&quot; &#xD;
incluede &quot;Login&quot; per garantire la &#xD;
sicurezza dei metodi di pagamento</body>
    </ownedComment>
    <ownedUseCase xmi:type="uml:UseCase" xmi:id="_rYrc74eAEeSIP9QUrJ6RSQ" name="Registrazione" subject="_rYrc7YeAEeSIP9QUrJ6RSQ"/>
    <ownedUseCase xmi:type="uml:UseCase" xmi:id="_rYrc8IeAEeSIP9QUrJ6RSQ" name="VisualizzaOrariTratte" subject="_rYrc7YeAEeSIP9QUrJ6RSQ">
      <extensionPoint xmi:type="uml:ExtensionPoint" xmi:id="_P181oIeCEeSIP9QUrJ6RSQ" name="ControllaConfort"/>
    </ownedUseCase>
    <ownedUseCase xmi:type="uml:UseCase" xmi:id="_rYrc8YeAEeSIP9QUrJ6RSQ" name="AcquistaBigliettiAbbonamenti" subject="_rYrc7YeAEeSIP9QUrJ6RSQ _uXk58IXXEeSWGuW2PP1WdQ">
      <include xmi:type="uml:Include" xmi:id="_K-sy0IeCEeSIP9QUrJ6RSQ" addition="_rYrc9YeAEeSIP9QUrJ6RSQ"/>
      <include xmi:type="uml:Include" xmi:id="_irOb4InaEeSxwtAEF1jGIw" addition="_WFoNUInaEeSxwtAEF1jGIw"/>
    </ownedUseCase>
    <ownedUseCase xmi:type="uml:UseCase" xmi:id="_rYrc84eAEeSIP9QUrJ6RSQ" name="ControllaConfort" subject="_rYrc7YeAEeSIP9QUrJ6RSQ">
      <extend xmi:type="uml:Extend" xmi:id="_P1pToIeCEeSIP9QUrJ6RSQ" extendedCase="_rYrc8IeAEeSIP9QUrJ6RSQ" extensionLocation="_P181oIeCEeSIP9QUrJ6RSQ"/>
    </ownedUseCase>
    <ownedUseCase xmi:type="uml:UseCase" xmi:id="_rYrc9IeAEeSIP9QUrJ6RSQ" name=" VisualizzaNotifiche" subject="_rYrc7YeAEeSIP9QUrJ6RSQ"/>
    <ownedUseCase xmi:type="uml:UseCase" xmi:id="_rYrc9YeAEeSIP9QUrJ6RSQ" name="Login" subject="_rYrc7YeAEeSIP9QUrJ6RSQ"/>
    <ownedUseCase xmi:type="uml:UseCase" xmi:id="_rYrc9oeAEeSIP9QUrJ6RSQ" name="ControlloValiditaBiglietti" subject="_rYrc7YeAEeSIP9QUrJ6RSQ"/>
    <ownedUseCase xmi:type="uml:UseCase" xmi:id="_rYrc94eAEeSIP9QUrJ6RSQ" name="RegistrazioneControllore" subject="_rYrc7YeAEeSIP9QUrJ6RSQ"/>
    <ownedUseCase xmi:type="uml:UseCase" xmi:id="_rYrc-IeAEeSIP9QUrJ6RSQ" name="InvioNotifiche" subject="_rYrc7YeAEeSIP9QUrJ6RSQ"/>
    <ownedUseCase xmi:type="uml:UseCase" xmi:id="_rYrc-YeAEeSIP9QUrJ6RSQ" name="InvioDati" subject="_rYrc7YeAEeSIP9QUrJ6RSQ"/>
    <ownedUseCase xmi:type="uml:UseCase" xmi:id="_WFoNUInaEeSxwtAEF1jGIw" name="Pagamento" subject="_rYrc7YeAEeSIP9QUrJ6RSQ"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Association" xmi:id="_rYrc-oeAEeSIP9QUrJ6RSQ" memberEnd="_rYrc-4eAEeSIP9QUrJ6RSQ _rYrc_oeAEeSIP9QUrJ6RSQ">
    <name xsi:nil="true"/>
    <ownedEnd xmi:type="uml:Property" xmi:id="_rYrc-4eAEeSIP9QUrJ6RSQ" name="acquistabigliettiabbonamenti" type="_rYrc8YeAEeSIP9QUrJ6RSQ" association="_rYrc-oeAEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_rYrc_IeAEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_rYrc_YeAEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_rYrc_oeAEeSIP9QUrJ6RSQ" name="utente" type="_rYrcw4eAEeSIP9QUrJ6RSQ" association="_rYrc-oeAEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_rYrc_4eAEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_rYrdAIeAEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Component" xmi:id="_rYrdCIeAEeSIP9QUrJ6RSQ" name="Component1" useCase="_rYrdCYeAEeSIP9QUrJ6RSQ _rYrdCoeAEeSIP9QUrJ6RSQ _rYrdC4eAEeSIP9QUrJ6RSQ _rYrdDIeAEeSIP9QUrJ6RSQ">
    <ownedUseCase xmi:type="uml:UseCase" xmi:id="_rYrdCYeAEeSIP9QUrJ6RSQ" name="CalcoloUmidita" subject="_rYrdCIeAEeSIP9QUrJ6RSQ"/>
    <ownedUseCase xmi:type="uml:UseCase" xmi:id="_rYrdCoeAEeSIP9QUrJ6RSQ" name="VerificaQualitaAria" subject="_rYrdCIeAEeSIP9QUrJ6RSQ"/>
    <ownedUseCase xmi:type="uml:UseCase" xmi:id="_rYrdC4eAEeSIP9QUrJ6RSQ" name="RilevazioneSuono" subject="_rYrdCIeAEeSIP9QUrJ6RSQ"/>
    <ownedUseCase xmi:type="uml:UseCase" xmi:id="_rYrdDIeAEeSIP9QUrJ6RSQ" name="CalcoloTemperatura" subject="_rYrdCIeAEeSIP9QUrJ6RSQ"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Association" xmi:id="_rY1NwIeAEeSIP9QUrJ6RSQ" memberEnd="_rY1NwYeAEeSIP9QUrJ6RSQ _rY1NxIeAEeSIP9QUrJ6RSQ">
    <name xsi:nil="true"/>
    <ownedEnd xmi:type="uml:Property" xmi:id="_rY1NwYeAEeSIP9QUrJ6RSQ" name="calcolotemperatura" type="_rYrdDIeAEeSIP9QUrJ6RSQ" association="_rY1NwIeAEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_rY1NwoeAEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_rY1Nw4eAEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_rY1NxIeAEeSIP9QUrJ6RSQ" name="sensoretemperatura" type="_rYrcy4eAEeSIP9QUrJ6RSQ" association="_rY1NwIeAEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_rY1NxYeAEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_rY1NxoeAEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Association" xmi:id="_rY1NzoeAEeSIP9QUrJ6RSQ" memberEnd="_rY1Nz4eAEeSIP9QUrJ6RSQ _rY1N0oeAEeSIP9QUrJ6RSQ">
    <name xsi:nil="true"/>
    <ownedEnd xmi:type="uml:Property" xmi:id="_rY1Nz4eAEeSIP9QUrJ6RSQ" name="verificaqualitaaria" type="_rYrdCoeAEeSIP9QUrJ6RSQ" association="_rY1NzoeAEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_rY1N0IeAEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_rY1N0YeAEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_rY1N0oeAEeSIP9QUrJ6RSQ" name="sensorequalitaaria" type="_rYrc1oeAEeSIP9QUrJ6RSQ" association="_rY1NzoeAEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_rY1N04eAEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_rY1N1IeAEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Actor" xmi:id="_rY1N1YeAEeSIP9QUrJ6RSQ" name="Sensore"/>
  <packagedElement xmi:type="uml:Actor" xmi:id="_rY1N1oeAEeSIP9QUrJ6RSQ" name="Controllore">
    <generalization xmi:type="uml:Generalization" xmi:id="_JnbTUIeBEeSIP9QUrJ6RSQ" general="_HjzOsIeBEeSIP9QUrJ6RSQ"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Association" xmi:id="_rY1N7IeAEeSIP9QUrJ6RSQ" memberEnd="_rY1N7YeAEeSIP9QUrJ6RSQ _rY1N8IeAEeSIP9QUrJ6RSQ">
    <name xsi:nil="true"/>
    <ownedEnd xmi:type="uml:Property" xmi:id="_rY1N7YeAEeSIP9QUrJ6RSQ" name="sensoreumidita" type="_rYrc1IeAEeSIP9QUrJ6RSQ" association="_rY1N7IeAEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_rY1N7oeAEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_rY1N74eAEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_rY1N8IeAEeSIP9QUrJ6RSQ" name="calcoloumidita" type="_rYrdCYeAEeSIP9QUrJ6RSQ" association="_rY1N7IeAEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_rY1N8YeAEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_rY1N8oeAEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Actor" xmi:id="_HjzOsIeBEeSIP9QUrJ6RSQ" name="Persona"/>
  <packagedElement xmi:type="uml:Association" xmi:id="_Bzu4EIeCEeSIP9QUrJ6RSQ" name="" memberEnd="_Bzu4EYeCEeSIP9QUrJ6RSQ _Bzu4FIeCEeSIP9QUrJ6RSQ">
    <ownedEnd xmi:type="uml:Property" xmi:id="_Bzu4EYeCEeSIP9QUrJ6RSQ" name="inviodati" type="_rYrc-YeAEeSIP9QUrJ6RSQ" association="_Bzu4EIeCEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Bzu4EoeCEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Bzu4E4eCEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_Bzu4FIeCEeSIP9QUrJ6RSQ" name="sensore" type="_rY1N1YeAEeSIP9QUrJ6RSQ" association="_Bzu4EIeCEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Bzu4FYeCEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Bzu4FoeCEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Association" xmi:id="_Fowo4IeCEeSIP9QUrJ6RSQ" name="" memberEnd="_Fowo4YeCEeSIP9QUrJ6RSQ _Fowo5IeCEeSIP9QUrJ6RSQ">
    <ownedEnd xmi:type="uml:Property" xmi:id="_Fowo4YeCEeSIP9QUrJ6RSQ" name="controllore" type="_rY1N1oeAEeSIP9QUrJ6RSQ" association="_Fowo4IeCEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Fowo4oeCEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Fowo44eCEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_Fowo5IeCEeSIP9QUrJ6RSQ" name="controllovaliditabiglietti" type="_rYrc9oeAEeSIP9QUrJ6RSQ" association="_Fowo4IeCEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Fowo5YeCEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Fowo5oeCEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Association" xmi:id="_G5J5wIeCEeSIP9QUrJ6RSQ" name="" memberEnd="_G5J5wYeCEeSIP9QUrJ6RSQ _G5J5xIeCEeSIP9QUrJ6RSQ">
    <ownedEnd xmi:type="uml:Property" xmi:id="_G5J5wYeCEeSIP9QUrJ6RSQ" name="amministratore" type="_rYrcwIeAEeSIP9QUrJ6RSQ" association="_G5J5wIeCEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_G5J5woeCEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_G5J5w4eCEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_G5J5xIeCEeSIP9QUrJ6RSQ" name="invionotifiche" type="_rYrc-IeAEeSIP9QUrJ6RSQ" association="_G5J5wIeCEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_G5J5xYeCEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_G5J5xoeCEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Association" xmi:id="_UYaUMIeCEeSIP9QUrJ6RSQ" name="" memberEnd="_UYaUMYeCEeSIP9QUrJ6RSQ _UYaUNIeCEeSIP9QUrJ6RSQ">
    <ownedEnd xmi:type="uml:Property" xmi:id="_UYaUMYeCEeSIP9QUrJ6RSQ" name="utente" type="_rYrcw4eAEeSIP9QUrJ6RSQ" association="_UYaUMIeCEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_UYaUMoeCEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_UYaUM4eCEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_UYaUNIeCEeSIP9QUrJ6RSQ" name=" visualizzanotifiche" type="_rYrc9IeAEeSIP9QUrJ6RSQ" association="_UYaUMIeCEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_UYaUNYeCEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_UYaUNoeCEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Association" xmi:id="_XpdOMIeCEeSIP9QUrJ6RSQ" memberEnd="_XpdOMYeCEeSIP9QUrJ6RSQ _XpdONIeCEeSIP9QUrJ6RSQ">
    <ownedEnd xmi:type="uml:Property" xmi:id="_XpdOMYeCEeSIP9QUrJ6RSQ" name="login" type="_rYrc9YeAEeSIP9QUrJ6RSQ" association="_XpdOMIeCEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_XpdOMoeCEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_XpdOM4eCEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_XpdONIeCEeSIP9QUrJ6RSQ" name="persona" type="_HjzOsIeBEeSIP9QUrJ6RSQ" association="_XpdOMIeCEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_XpdONYeCEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_XpdONoeCEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Class" xmi:id="_EieEUIeEEeSIP9QUrJ6RSQ" name="GradoConfort">
    <ownedOperation xmi:type="uml:Operation" xmi:id="_EieEUYeEEeSIP9QUrJ6RSQ" name="calcoloConfort"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Class" xmi:id="_EieEVIeEEeSIP9QUrJ6RSQ" name="Notifica">
    <ownedAttribute xmi:type="uml:Property" xmi:id="_EieEVYeEEeSIP9QUrJ6RSQ" name="data">
      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EDate"/>
    </ownedAttribute>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_EieEVoeEEeSIP9QUrJ6RSQ" name="testo">
      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
    </ownedAttribute>
    <ownedOperation xmi:type="uml:Operation" xmi:id="_5HjiQIkaEeSuO9MkpaY3xQ" name="crea"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Association" xmi:id="_EieEV4eEEeSIP9QUrJ6RSQ" name="acquisisce" memberEnd="_EieEWIeEEeSIP9QUrJ6RSQ _EieEW4eEEeSIP9QUrJ6RSQ" navigableOwnedEnd="_EieEW4eEEeSIP9QUrJ6RSQ">
    <ownedEnd xmi:type="uml:Property" xmi:id="_EieEWIeEEeSIP9QUrJ6RSQ" name="corsa" type="_EieEhYeEEeSIP9QUrJ6RSQ" association="_EieEV4eEEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_EieEWYeEEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_EieEWoeEEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_EieEW4eEEeSIP9QUrJ6RSQ" name="confort" type="_EieEUIeEEeSIP9QUrJ6RSQ" association="_EieEV4eEEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_EieEXIeEEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_EieEXYeEEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Class" xmi:id="_EieEX4eEEeSIP9QUrJ6RSQ" name="Utente">
    <generalization xmi:type="uml:Generalization" xmi:id="_0mfd4IeFEeSIP9QUrJ6RSQ" general="_lHv38IeFEeSIP9QUrJ6RSQ"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Class" xmi:id="_EieEbIeEEeSIP9QUrJ6RSQ" name="Amministratore">
    <generalization xmi:type="uml:Generalization" xmi:id="_tod70IeFEeSIP9QUrJ6RSQ" general="_lHv38IeFEeSIP9QUrJ6RSQ"/>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_EieEbYeEEeSIP9QUrJ6RSQ" name="notifica" type="_EieEVIeEEeSIP9QUrJ6RSQ" association="_Ein1cYeEEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_EieEboeEEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_EieEb4eEEeSIP9QUrJ6RSQ" value="*"/>
    </ownedAttribute>
  </packagedElement>
  <packagedElement xmi:type="uml:Dependency" xmi:id="_EieEeoeEEeSIP9QUrJ6RSQ" name="crea" client="_EieEbIeEEeSIP9QUrJ6RSQ" supplier="_EieEh4eEEeSIP9QUrJ6RSQ"/>
  <packagedElement xmi:type="uml:Class" xmi:id="_EieEe4eEEeSIP9QUrJ6RSQ" name="Tratta">
    <ownedAttribute xmi:type="uml:Property" xmi:id="_EieEfIeEEeSIP9QUrJ6RSQ" name="idTratta">
      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
    </ownedAttribute>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_EieEfYeEEeSIP9QUrJ6RSQ" name="fermata">
      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_EieEfoeEEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_EieEf4eEEeSIP9QUrJ6RSQ" value="*"/>
    </ownedAttribute>
    <ownedOperation xmi:type="uml:Operation" xmi:id="_EieEgIeEEeSIP9QUrJ6RSQ" name="create">
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_EieEgYeEEeSIP9QUrJ6RSQ" name="idTratta">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
      </ownedParameter>
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_EieEgoeEEeSIP9QUrJ6RSQ" name="fermata">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_EieEg4eEEeSIP9QUrJ6RSQ" value="1"/>
        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_EieEhIeEEeSIP9QUrJ6RSQ" value="*"/>
      </ownedParameter>
    </ownedOperation>
    <ownedOperation xmi:type="uml:Operation" xmi:id="__WN1EIg3EeST08QPbeZpTg" name="ottieniBigliettoTratta">
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_XJWrYIg-EeST08QPbeZpTg" name="Tratta" type="_EieEe4eEEeSIP9QUrJ6RSQ"/>
    </ownedOperation>
  </packagedElement>
  <packagedElement xmi:type="uml:Class" xmi:id="_EieEhYeEEeSIP9QUrJ6RSQ" name="Corsa">
    <ownedAttribute xmi:type="uml:Property" xmi:id="_EieEhoeEEeSIP9QUrJ6RSQ" name="livelloConfort">
      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
    </ownedAttribute>
  </packagedElement>
  <packagedElement xmi:type="uml:Class" xmi:id="_EieEh4eEEeSIP9QUrJ6RSQ" name="Controllore">
    <generalization xmi:type="uml:Generalization" xmi:id="_8Dc-sIeFEeSIP9QUrJ6RSQ" general="_lHv38IeFEeSIP9QUrJ6RSQ"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Class" xmi:id="_EieEk4eEEeSIP9QUrJ6RSQ" name="TrattaUrbana">
    <generalization xmi:type="uml:Generalization" xmi:id="_EieElIeEEeSIP9QUrJ6RSQ" general="_EieEe4eEEeSIP9QUrJ6RSQ"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Class" xmi:id="_Ein1UIeEEeSIP9QUrJ6RSQ" name="Abbonamento">
    <generalization xmi:type="uml:Generalization" xmi:id="_Ein1UYeEEeSIP9QUrJ6RSQ" general="_Ein1dYeEEeSIP9QUrJ6RSQ"/>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_Ein1UoeEEeSIP9QUrJ6RSQ" name="nome">
      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
    </ownedAttribute>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_Ein1U4eEEeSIP9QUrJ6RSQ" name="cognome">
      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
    </ownedAttribute>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_GT70IIhDEeST08QPbeZpTg" name="tipoAbbonamento">
      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
    </ownedAttribute>
    <ownedOperation xmi:type="uml:Operation" xmi:id="_Ein1VIeEEeSIP9QUrJ6RSQ" name="create">
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_Ein1VYeEEeSIP9QUrJ6RSQ" name="nome">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
      </ownedParameter>
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_Ein1VoeEEeSIP9QUrJ6RSQ" name="cognome">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
      </ownedParameter>
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_Brm-IIhDEeST08QPbeZpTg" name="tipoAbbonamento">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
      </ownedParameter>
    </ownedOperation>
  </packagedElement>
  <packagedElement xmi:type="uml:Usage" xmi:id="_Ein1V4eEEeSIP9QUrJ6RSQ" client="_EieEh4eEEeSIP9QUrJ6RSQ" supplier="_Ein1dYeEEeSIP9QUrJ6RSQ"/>
  <packagedElement xmi:type="uml:Association" xmi:id="_Ein1WIeEEeSIP9QUrJ6RSQ" name="copre" memberEnd="_Ein1WYeEEeSIP9QUrJ6RSQ _Ein1XIeEEeSIP9QUrJ6RSQ" navigableOwnedEnd="_Ein1XIeEEeSIP9QUrJ6RSQ">
    <ownedEnd xmi:type="uml:Property" xmi:id="_Ein1WYeEEeSIP9QUrJ6RSQ" name="titoloDiViaggio" type="_Ein1dYeEEeSIP9QUrJ6RSQ" association="_Ein1WIeEEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Ein1WoeEEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Ein1W4eEEeSIP9QUrJ6RSQ" value="*"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_Ein1XIeEEeSIP9QUrJ6RSQ" name="tratta" type="_EieEe4eEEeSIP9QUrJ6RSQ" association="_Ein1WIeEEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Ein1XYeEEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Ein1XoeEEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Association" xmi:id="_Ein1X4eEEeSIP9QUrJ6RSQ" name="acquista" memberEnd="_Ein1Y4eEEeSIP9QUrJ6RSQ _Ein1YIeEEeSIP9QUrJ6RSQ" navigableOwnedEnd="_Ein1YIeEEeSIP9QUrJ6RSQ">
    <ownedEnd xmi:type="uml:Property" xmi:id="_Ein1YIeEEeSIP9QUrJ6RSQ" name="titoloDiViaggio" type="_Ein1dYeEEeSIP9QUrJ6RSQ" association="_Ein1X4eEEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Ein1YYeEEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Ein1YoeEEeSIP9QUrJ6RSQ" value="*"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_Ein1Y4eEEeSIP9QUrJ6RSQ" name="utente" type="_EieEX4eEEeSIP9QUrJ6RSQ" association="_Ein1X4eEEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Ein1ZIeEEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Ein1ZYeEEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Class" xmi:id="_Ein1ZoeEEeSIP9QUrJ6RSQ" name="TrattaExtraUrbana">
    <generalization xmi:type="uml:Generalization" xmi:id="_Ein1Z4eEEeSIP9QUrJ6RSQ" general="_EieEe4eEEeSIP9QUrJ6RSQ"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Class" xmi:id="_Ein1aIeEEeSIP9QUrJ6RSQ" name="Biglietto">
    <generalization xmi:type="uml:Generalization" xmi:id="_Ein1aYeEEeSIP9QUrJ6RSQ" general="_Ein1dYeEEeSIP9QUrJ6RSQ"/>
    <ownedOperation xmi:type="uml:Operation" xmi:id="_4OGscIhDEeST08QPbeZpTg" name="crea">
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_BIKdYIhEEeST08QPbeZpTg" name="tipoBiglietto">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
      </ownedParameter>
    </ownedOperation>
  </packagedElement>
  <packagedElement xmi:type="uml:Association" xmi:id="_Ein1aoeEEeSIP9QUrJ6RSQ" name="composta" memberEnd="_Ein1a4eEEeSIP9QUrJ6RSQ _Ein1boeEEeSIP9QUrJ6RSQ" navigableOwnedEnd="_Ein1boeEEeSIP9QUrJ6RSQ">
    <ownedEnd xmi:type="uml:Property" xmi:id="_Ein1a4eEEeSIP9QUrJ6RSQ" name="tratta" type="_EieEe4eEEeSIP9QUrJ6RSQ" association="_Ein1aoeEEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Ein1bIeEEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Ein1bYeEEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_Ein1boeEEeSIP9QUrJ6RSQ" name="corsa" type="_EieEhYeEEeSIP9QUrJ6RSQ" association="_Ein1aoeEEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Ein1b4eEEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Ein1cIeEEeSIP9QUrJ6RSQ" value="*"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Association" xmi:id="_Ein1cYeEEeSIP9QUrJ6RSQ" name="pubblica" memberEnd="_Ein1coeEEeSIP9QUrJ6RSQ _EieEbYeEEeSIP9QUrJ6RSQ">
    <ownedEnd xmi:type="uml:Property" xmi:id="_Ein1coeEEeSIP9QUrJ6RSQ" name="amministratore" type="_EieEbIeEEeSIP9QUrJ6RSQ" association="_Ein1cYeEEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Ein1c4eEEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Ein1dIeEEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Class" xmi:id="_Ein1dYeEEeSIP9QUrJ6RSQ" name="TitoloDiViaggio">
    <ownedAttribute xmi:type="uml:Property" xmi:id="_Ein1doeEEeSIP9QUrJ6RSQ" name="trattaExtraUrbana" type="_Ein1ZoeEEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Ein1d4eEEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Ein1eIeEEeSIP9QUrJ6RSQ" value="1"/>
    </ownedAttribute>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_Ein1eYeEEeSIP9QUrJ6RSQ" name="idTitolo">
      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
    </ownedAttribute>
  </packagedElement>
  <packagedElement xmi:type="uml:Class" xmi:id="_cTXtsIeEEeSIP9QUrJ6RSQ" name="Compagnia"/>
  <packagedElement xmi:type="uml:Association" xmi:id="_u8p9AIeEEeSIP9QUrJ6RSQ" name="gestisce" memberEnd="_u8p9AYeEEeSIP9QUrJ6RSQ _u8gzEIeEEeSIP9QUrJ6RSQ" navigableOwnedEnd="_u8gzEIeEEeSIP9QUrJ6RSQ">
    <ownedEnd xmi:type="uml:Property" xmi:id="_u8p9AYeEEeSIP9QUrJ6RSQ" name="compagnia" type="_cTXtsIeEEeSIP9QUrJ6RSQ" association="_u8p9AIeEEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_u8p9AoeEEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_u8p9A4eEEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_u8gzEIeEEeSIP9QUrJ6RSQ" name="tratta" type="_EieEe4eEEeSIP9QUrJ6RSQ" association="_u8p9AIeEEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_u8gzEYeEEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_u8gzEoeEEeSIP9QUrJ6RSQ" value="*"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Association" xmi:id="_-eMYQ4eEEeSIP9QUrJ6RSQ" name="impiega" memberEnd="_-eMYRIeEEeSIP9QUrJ6RSQ _-eMYQIeEEeSIP9QUrJ6RSQ" navigableOwnedEnd="_-eMYQIeEEeSIP9QUrJ6RSQ">
    <ownedEnd xmi:type="uml:Property" xmi:id="_-eMYRIeEEeSIP9QUrJ6RSQ" name="compagnia" type="_cTXtsIeEEeSIP9QUrJ6RSQ" association="_-eMYQ4eEEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_-eMYRYeEEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_-eMYRoeEEeSIP9QUrJ6RSQ" value="1"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_-eMYQIeEEeSIP9QUrJ6RSQ" name="controllore" type="_EieEh4eEEeSIP9QUrJ6RSQ" association="_-eMYQ4eEEeSIP9QUrJ6RSQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_-eMYQYeEEeSIP9QUrJ6RSQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_-eMYQoeEEeSIP9QUrJ6RSQ" value="*"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Class" xmi:id="_lHv38IeFEeSIP9QUrJ6RSQ" name="Persona">
    <ownedAttribute xmi:type="uml:Property" xmi:id="_EieEiIeEEeSIP9QUrJ6RSQ" name="nome">
      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
    </ownedAttribute>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_EieEiYeEEeSIP9QUrJ6RSQ" name="cognome">
      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
    </ownedAttribute>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_EieEioeEEeSIP9QUrJ6RSQ" name="nomeUtente">
      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
    </ownedAttribute>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_EieEi4eEEeSIP9QUrJ6RSQ" name="password">
      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
    </ownedAttribute>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_EieEjIeEEeSIP9QUrJ6RSQ" name="indirizzoEMail">
      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
    </ownedAttribute>
    <ownedOperation xmi:type="uml:Operation" xmi:id="_EieEjYeEEeSIP9QUrJ6RSQ" name="create" isStatic="true">
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_EieEjoeEEeSIP9QUrJ6RSQ" name="nome">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
      </ownedParameter>
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_EieEj4eEEeSIP9QUrJ6RSQ" name="cognome">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
      </ownedParameter>
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_EieEkIeEEeSIP9QUrJ6RSQ" name="nomeUtente">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
      </ownedParameter>
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_EieEkYeEEeSIP9QUrJ6RSQ" name="password">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
      </ownedParameter>
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_EieEkoeEEeSIP9QUrJ6RSQ" name="indirizzoEMail">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
      </ownedParameter>
    </ownedOperation>
  </packagedElement>
  <packagedElement xmi:type="uml:Interaction" xmi:id="_W-N6wIgwEeST08QPbeZpTg" name="Interaction1">
    <ownedComment xmi:type="uml:Comment" xmi:id="_Dtpk0Ig3EeST08QPbeZpTg">
      <body>possibilita di scegliere fra geolocalizzazione automatica o  scelta manuale della citta</body>
    </ownedComment>
    <ownedComment xmi:type="uml:Comment" xmi:id="_D1smMIg6EeST08QPbeZpTg">
      <body>possibilita di scegliere fra l'acquisto di un biglietto o di un abbonamento&#xD;
</body>
    </ownedComment>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_eKOOcIgwEeST08QPbeZpTg" name="" type="_rYrcw4eAEeSIP9QUrJ6RSQ"/>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_9NNeAYgzEeST08QPbeZpTg" name="" type="_2f4qYIgzEeST08QPbeZpTg"/>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_-QdqwYgzEeST08QPbeZpTg" name="" type="_4SoaYIgzEeST08QPbeZpTg"/>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_qQTLQIg3EeST08QPbeZpTg" name="" type="_EieEe4eEEeSIP9QUrJ6RSQ"/>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_EZT3UIg_EeST08QPbeZpTg" name="" type="_Ein1aIeEEeSIP9QUrJ6RSQ"/>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_stdlsIhBEeST08QPbeZpTg" name="" type="_Ein1UIeEEeSIP9QUrJ6RSQ"/>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_vZv64IhDEeST08QPbeZpTg" name="" type="_Ein1aIeEEeSIP9QUrJ6RSQ"/>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_JT_H8IhHEeST08QPbeZpTg" name="" type="_rYrcw4eAEeSIP9QUrJ6RSQ"/>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_eKNnYIgwEeST08QPbeZpTg" name="" represents="_eKOOcIgwEeST08QPbeZpTg" coveredBy="_qfjMYYgwEeST08QPbeZpTg _PteUMYg0EeST08QPbeZpTg _Ir75MIg2EeST08QPbeZpTg _z-N3gIg2EeST08QPbeZpTg _41vAEIg2EeST08QPbeZpTg _Bks7UIg3EeST08QPbeZpTg _1AkeoIgxEeST08QPbeZpTg _0Dt_YIgyEeST08QPbeZpTg _HbXXQIg4EeST08QPbeZpTg _HbX-UIg4EeST08QPbeZpTg _bp0NkIg4EeST08QPbeZpTg _89exMIg5EeST08QPbeZpTg _OB3-8Ig9EeST08QPbeZpTg _OB3X4Ig9EeST08QPbeZpTg _RstfsIhCEeST08QPbeZpTg _1AkeoYgxEeST08QPbeZpTg"/>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_9NNeAIgzEeST08QPbeZpTg" name="" represents="_9NNeAYgzEeST08QPbeZpTg" coveredBy="_1AkeoIgxEeST08QPbeZpTg _0Dt_YIgyEeST08QPbeZpTg _DErnsYg0EeST08QPbeZpTg _PteUMog0EeST08QPbeZpTg _A0h4EIg2EeST08QPbeZpTg _A0jGMIg2EeST08QPbeZpTg _EFGQ8Ig2EeST08QPbeZpTg _FpnXsIg2EeST08QPbeZpTg _JhGmoIg2EeST08QPbeZpTg _1FV3oIg2EeST08QPbeZpTg _41vnIIg2EeST08QPbeZpTg _BksUQIg3EeST08QPbeZpTg _HbXXQIg4EeST08QPbeZpTg _HbX-UIg4EeST08QPbeZpTg _bp0NkIg4EeST08QPbeZpTg _89f_UIg5EeST08QPbeZpTg _WkdrEYg9EeST08QPbeZpTg _WkdrEIg9EeST08QPbeZpTg _hNqeYIg9EeST08QPbeZpTg _OImckIg-EeST08QPbeZpTg _ceKz8Ig-EeST08QPbeZpTg _kxAM0Ig-EeST08QPbeZpTg _j38WgIhBEeST08QPbeZpTg _kacmoIhBEeST08QPbeZpTg _BgFgEIhCEeST08QPbeZpTg _dlwKQIhCEeST08QPbeZpTg _DSm7sIhEEeST08QPbeZpTg _F-t8oIhEEeST08QPbeZpTg _1AkeoYgxEeST08QPbeZpTg"/>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_-QdqwIgzEeST08QPbeZpTg" name="" represents="_-QdqwYgzEeST08QPbeZpTg" coveredBy="_1AkeoIgxEeST08QPbeZpTg _0Dt_YIgyEeST08QPbeZpTg _HbXXQIg4EeST08QPbeZpTg _HbX-UIg4EeST08QPbeZpTg _bp0NkIg4EeST08QPbeZpTg _1AkeoYgxEeST08QPbeZpTg"/>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_qQSkMIg3EeST08QPbeZpTg" name="" represents="_qQTLQIg3EeST08QPbeZpTg" coveredBy="_1AkeoIgxEeST08QPbeZpTg _0Dt_YIgyEeST08QPbeZpTg _HbXXQIg4EeST08QPbeZpTg _HbX-UIg4EeST08QPbeZpTg _bp0NkIg4EeST08QPbeZpTg _OthkAIg9EeST08QPbeZpTg _Otg88Ig9EeST08QPbeZpTg _OIsjMIg-EeST08QPbeZpTg _ceJl0Ig-EeST08QPbeZpTg _1AkeoYgxEeST08QPbeZpTg"/>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_stcXkIhBEeST08QPbeZpTg" name="" represents="_stdlsIhBEeST08QPbeZpTg" coveredBy="_wfpd4YhBEeST08QPbeZpTg _wfpd4IhBEeST08QPbeZpTg _BgGHIIhCEeST08QPbeZpTg _dlu8IIhCEeST08QPbeZpTg"/>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_vZuswIhDEeST08QPbeZpTg" name="" represents="_vZv64IhDEeST08QPbeZpTg" coveredBy="_zNTsEIhDEeST08QPbeZpTg _DSrNIIhEEeST08QPbeZpTg _F-sugIhEEeST08QPbeZpTg"/>
    <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_DErnsYg0EeST08QPbeZpTg" name="BehaviorExecSpec" covered="_9NNeAIgzEeST08QPbeZpTg" finish="_9115YIg1EeST08QPbeZpTg" start="_PteUMog0EeST08QPbeZpTg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PteUMog0EeST08QPbeZpTg" name="acquista_MessageRecv" covered="_9NNeAIgzEeST08QPbeZpTg" message="_PteUMIg0EeST08QPbeZpTg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_PteUMYg0EeST08QPbeZpTg" name="acquista_MessageSend" covered="_eKNnYIgwEeST08QPbeZpTg" message="_PteUMIg0EeST08QPbeZpTg"/>
    <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_qfjMYYgwEeST08QPbeZpTg" name="ActionExecSpec" covered="_eKNnYIgwEeST08QPbeZpTg" finish="_912gcIg1EeST08QPbeZpTg" start="_PteUMYg0EeST08QPbeZpTg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_9115YIg1EeST08QPbeZpTg" name="Message1Send" message="_910rQIg1EeST08QPbeZpTg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_912gcIg1EeST08QPbeZpTg" name="Message1Recv" message="_910rQIg1EeST08QPbeZpTg"/>
    <fragment xmi:type="uml:CombinedFragment" xmi:id="_1AkeoIgxEeST08QPbeZpTg" name="CombinedFragment" covered="_9NNeAIgzEeST08QPbeZpTg _-QdqwIgzEeST08QPbeZpTg _eKNnYIgwEeST08QPbeZpTg _qQSkMIg3EeST08QPbeZpTg" interactionOperator="alt">
      <operand xmi:type="uml:InteractionOperand" xmi:id="_1AkeoYgxEeST08QPbeZpTg" name="InteractionOperand" covered="_9NNeAIgzEeST08QPbeZpTg _-QdqwIgzEeST08QPbeZpTg _eKNnYIgwEeST08QPbeZpTg _qQSkMIg3EeST08QPbeZpTg">
        <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_A0h4EIg2EeST08QPbeZpTg" name="ActionExecSpec1Start" covered="_9NNeAIgzEeST08QPbeZpTg" execution="_A0jGMIg2EeST08QPbeZpTg"/>
        <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_A0jGMIg2EeST08QPbeZpTg" name="ActionExecSpec1" covered="_9NNeAIgzEeST08QPbeZpTg" finish="_FpnXsIg2EeST08QPbeZpTg" start="_A0h4EIg2EeST08QPbeZpTg"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_EFGQ8Ig2EeST08QPbeZpTg" name="geolocalizzaUtente_MessageSend" covered="_9NNeAIgzEeST08QPbeZpTg" message="_EFFC0Ig2EeST08QPbeZpTg"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_BobaMIg2EeST08QPbeZpTg" name="BehaviorExecSpec1" finish="_FpmwoIg2EeST08QPbeZpTg" start="_EFG4AIg2EeST08QPbeZpTg"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_EFG4AIg2EeST08QPbeZpTg" name="geolocalizzaUtente_MessageRecv" message="_EFFC0Ig2EeST08QPbeZpTg"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_FpnXsIg2EeST08QPbeZpTg" name="Message2Recv" covered="_9NNeAIgzEeST08QPbeZpTg" message="_FpmJkIg2EeST08QPbeZpTg"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_FpmwoIg2EeST08QPbeZpTg" name="Message2Send" message="_FpmJkIg2EeST08QPbeZpTg"/>
      </operand>
      <operand xmi:type="uml:InteractionOperand" xmi:id="_0Dt_YIgyEeST08QPbeZpTg" name="InteractionOperand0" covered="_9NNeAIgzEeST08QPbeZpTg _-QdqwIgzEeST08QPbeZpTg _eKNnYIgwEeST08QPbeZpTg _qQSkMIg3EeST08QPbeZpTg">
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_QBoUYIg2EeST08QPbeZpTg" name="selezionaCitta_MessageRecv" message="_QBmfMIg2EeST08QPbeZpTg"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_QBnGQIg2EeST08QPbeZpTg" name="selezionaCitta_MessageSend" message="_QBmfMIg2EeST08QPbeZpTg"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_RUEMoIg2EeST08QPbeZpTg" name="Message2Send"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_JhGmoIg2EeST08QPbeZpTg" name="BehaviorExecSpec" covered="_9NNeAIgzEeST08QPbeZpTg" finish="_RUEMoIg2EeST08QPbeZpTg" start="_QBoUYIg2EeST08QPbeZpTg"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_VQ2LQIg2EeST08QPbeZpTg" name="Message2Recv0" message="_VQzvAIg2EeST08QPbeZpTg"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_RUEzsIg2EeST08QPbeZpTg" name="Message2Recv"/>
        <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_Ir75MIg2EeST08QPbeZpTg" name="ActionExecSpec" covered="_eKNnYIgwEeST08QPbeZpTg" finish="_RUEzsIg2EeST08QPbeZpTg" start="_QBnGQIg2EeST08QPbeZpTg"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_VQ09IIg2EeST08QPbeZpTg" name="Message2Send0" message="_VQzvAIg2EeST08QPbeZpTg"/>
        <guard xmi:type="uml:InteractionConstraint" xmi:id="_0Dt_YYgyEeST08QPbeZpTg">
          <specification xmi:type="uml:LiteralString" xmi:id="_0D0GAIgyEeST08QPbeZpTg" value="undefined"/>
          <maxint xmi:type="uml:LiteralInteger" xmi:id="_0D0GAogyEeST08QPbeZpTg" value="1"/>
          <minint xmi:type="uml:LiteralInteger" xmi:id="_0D0GAYgyEeST08QPbeZpTg"/>
        </guard>
      </operand>
    </fragment>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_41vAEIg2EeST08QPbeZpTg" name="selezionaCompagnia_MessageSend" covered="_eKNnYIgwEeST08QPbeZpTg" message="_41tx8Ig2EeST08QPbeZpTg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_BksUQIg3EeST08QPbeZpTg" name="Message2Send1" covered="_9NNeAIgzEeST08QPbeZpTg" message="_BkrGIIg3EeST08QPbeZpTg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_F-sugIhEEeST08QPbeZpTg" name="Message11Send" covered="_vZuswIhDEeST08QPbeZpTg" message="_F-prMIhEEeST08QPbeZpTg"/>
    <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_xEagMIgzEeST08QPbeZpTg" name="BehaviorExecSpec0Start" execution="_kY4ToYgxEeST08QPbeZpTg"/>
    <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_z-N3gIg2EeST08QPbeZpTg" name="ActionExecSpec0" covered="_eKNnYIgwEeST08QPbeZpTg" finish="_Bks7UIg3EeST08QPbeZpTg" start="_41vAEIg2EeST08QPbeZpTg"/>
    <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_1FV3oIg2EeST08QPbeZpTg" name="BehaviorExecSpec0" covered="_9NNeAIgzEeST08QPbeZpTg" finish="_BksUQIg3EeST08QPbeZpTg" start="_41vnIIg2EeST08QPbeZpTg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_41vnIIg2EeST08QPbeZpTg" name="selezionaCompagnia_MessageRecv" covered="_9NNeAIgzEeST08QPbeZpTg" message="_41tx8Ig2EeST08QPbeZpTg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Bks7UIg3EeST08QPbeZpTg" name="Message2Recv" covered="_eKNnYIgwEeST08QPbeZpTg" message="_BkrGIIg3EeST08QPbeZpTg"/>
    <fragment xmi:type="uml:CombinedFragment" xmi:id="_HbXXQIg4EeST08QPbeZpTg" name="CombinedFragment0" covered="_eKNnYIgwEeST08QPbeZpTg _qQSkMIg3EeST08QPbeZpTg _9NNeAIgzEeST08QPbeZpTg _-QdqwIgzEeST08QPbeZpTg">
      <operand xmi:type="uml:InteractionOperand" xmi:id="_HbX-UIg4EeST08QPbeZpTg" name="InteractionOperand" covered="_eKNnYIgwEeST08QPbeZpTg _qQSkMIg3EeST08QPbeZpTg _9NNeAIgzEeST08QPbeZpTg _-QdqwIgzEeST08QPbeZpTg">
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_F-t8oIhEEeST08QPbeZpTg" name="Message11Recv" covered="_9NNeAIgzEeST08QPbeZpTg" message="_F-prMIhEEeST08QPbeZpTg"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_fzQ88Ig9EeST08QPbeZpTg" name="acquistaBiglietto_MessageSend" message="_fzPu0Ig9EeST08QPbeZpTg"/>
        <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_OB3X4Ig9EeST08QPbeZpTg" name="ActionExecSpec" covered="_eKNnYIgwEeST08QPbeZpTg" finish="_OB3-8Ig9EeST08QPbeZpTg" start="_fzQ88Ig9EeST08QPbeZpTg"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_WkdrEIg9EeST08QPbeZpTg" name="BehaviorExecSpec0" covered="_9NNeAIgzEeST08QPbeZpTg" finish="_WkdrEYg9EeST08QPbeZpTg" start="_fzSLEIg9EeST08QPbeZpTg"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_fzSLEIg9EeST08QPbeZpTg" name="acquistaBiglietto_MessageRecv" message="_fzPu0Ig9EeST08QPbeZpTg"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_OImckIg-EeST08QPbeZpTg" name="selezionaTratta_MessageSend" covered="_9NNeAIgzEeST08QPbeZpTg" message="_OIlOcIg-EeST08QPbeZpTg"/>
        <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_hNqeYIg9EeST08QPbeZpTg" name="ActionExecSpec0" covered="_9NNeAIgzEeST08QPbeZpTg" finish="_ceKz8Ig-EeST08QPbeZpTg" start="_OImckIg-EeST08QPbeZpTg"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_Otg88Ig9EeST08QPbeZpTg" name="BehaviorExecSpec" covered="_qQSkMIg3EeST08QPbeZpTg" finish="_OthkAIg9EeST08QPbeZpTg" start="_OIsjMIg-EeST08QPbeZpTg"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_OIsjMIg-EeST08QPbeZpTg" name="selezionaTratta_MessageRecv" covered="_qQSkMIg3EeST08QPbeZpTg" message="_OIlOcIg-EeST08QPbeZpTg"/>
        <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_OB3-8Ig9EeST08QPbeZpTg" name="ActionExecSpecFinish" covered="_eKNnYIgwEeST08QPbeZpTg" execution="_OB3X4Ig9EeST08QPbeZpTg"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_ceJl0Ig-EeST08QPbeZpTg" name="Message10Send" covered="_qQSkMIg3EeST08QPbeZpTg" message="_ceIXsIg-EeST08QPbeZpTg"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_ceKz8Ig-EeST08QPbeZpTg" name="Message10Recv" covered="_9NNeAIgzEeST08QPbeZpTg" message="_ceIXsIg-EeST08QPbeZpTg"/>
        <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_OthkAIg9EeST08QPbeZpTg" name="BehaviorExecSpecFinish" covered="_qQSkMIg3EeST08QPbeZpTg" execution="_Otg88Ig9EeST08QPbeZpTg"/>
        <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_kxAM0Ig-EeST08QPbeZpTg" name="ActionExecSpec1" covered="_9NNeAIgzEeST08QPbeZpTg" finish="_F-t8oIhEEeST08QPbeZpTg" start="_DSm7sIhEEeST08QPbeZpTg"/>
        <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_WkdrEYg9EeST08QPbeZpTg" name="BehaviorExecSpec0Finish" covered="_9NNeAIgzEeST08QPbeZpTg" execution="_WkdrEIg9EeST08QPbeZpTg"/>
        <guard xmi:type="uml:InteractionConstraint" xmi:id="_HbYlYIg4EeST08QPbeZpTg">
          <specification xmi:type="uml:LiteralString" xmi:id="_HbYlYYg4EeST08QPbeZpTg" value="undefined"/>
          <maxint xmi:type="uml:LiteralInteger" xmi:id="_HbYlY4g4EeST08QPbeZpTg" value="1"/>
          <minint xmi:type="uml:LiteralInteger" xmi:id="_HbYlYog4EeST08QPbeZpTg"/>
        </guard>
      </operand>
      <operand xmi:type="uml:InteractionOperand" xmi:id="_bp0NkIg4EeST08QPbeZpTg" name="InteractionOperand0" covered="_eKNnYIgwEeST08QPbeZpTg _qQSkMIg3EeST08QPbeZpTg _9NNeAIgzEeST08QPbeZpTg _-QdqwIgzEeST08QPbeZpTg">
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_48_MsYg4EeST08QPbeZpTg" name="BehaviorExecSpec" finish="___M1wIg5EeST08QPbeZpTg" start="_89f_UIg5EeST08QPbeZpTg"/>
        <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_kacmoIhBEeST08QPbeZpTg" name="ActionExecSpec0" covered="_9NNeAIgzEeST08QPbeZpTg" finish="_dlwKQIhCEeST08QPbeZpTg" start="_BgFgEIhCEeST08QPbeZpTg"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_89exMIg5EeST08QPbeZpTg" name="Message3Send" covered="_eKNnYIgwEeST08QPbeZpTg"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_BgFgEIhCEeST08QPbeZpTg" name="create_MessageSend" covered="_9NNeAIgzEeST08QPbeZpTg" message="_BgDq4IhCEeST08QPbeZpTg"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_89f_UIg5EeST08QPbeZpTg" name="Message3Recv" covered="_9NNeAIgzEeST08QPbeZpTg"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_j38WgIhBEeST08QPbeZpTg" name="acquistaAbbonamento_MessageRecv" covered="_9NNeAIgzEeST08QPbeZpTg" message="_tEuEkIhAEeST08QPbeZpTg"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="___OD4Ig5EeST08QPbeZpTg" name="Message3Recv"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_RstfsIhCEeST08QPbeZpTg" name="acquistaAbbonamento_MessageSend" covered="_eKNnYIgwEeST08QPbeZpTg" message="_tEuEkIhAEeST08QPbeZpTg"/>
        <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_4UYUkIg4EeST08QPbeZpTg" name="ActionExecSpec" finish="___OD4Ig5EeST08QPbeZpTg" start="_89exMIg5EeST08QPbeZpTg"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="___M1wIg5EeST08QPbeZpTg" name="Message3Send"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_dlwKQIhCEeST08QPbeZpTg" name="Message10Recv" covered="_9NNeAIgzEeST08QPbeZpTg" message="_dltuAIhCEeST08QPbeZpTg"/>
        <guard xmi:type="uml:InteractionConstraint" xmi:id="_bp1bsIg4EeST08QPbeZpTg">
          <specification xmi:type="uml:LiteralString" xmi:id="_bp1bsYg4EeST08QPbeZpTg" value="undefined"/>
          <maxint xmi:type="uml:LiteralInteger" xmi:id="_bp1bs4g4EeST08QPbeZpTg" value="1"/>
          <minint xmi:type="uml:LiteralInteger" xmi:id="_bp1bsog4EeST08QPbeZpTg"/>
        </guard>
      </operand>
    </fragment>
    <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_zNTsEIhDEeST08QPbeZpTg" name="BehaviorExecSpec2" covered="_vZuswIhDEeST08QPbeZpTg" finish="_F-sugIhEEeST08QPbeZpTg" start="_DSrNIIhEEeST08QPbeZpTg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_DSrNIIhEEeST08QPbeZpTg" name="crea_MessageRecv" covered="_vZuswIhDEeST08QPbeZpTg" message="_DSlGgIhEEeST08QPbeZpTg"/>
    <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_wfpd4IhBEeST08QPbeZpTg" name="BehaviorExecSpec1" covered="_stcXkIhBEeST08QPbeZpTg" finish="_wfpd4YhBEeST08QPbeZpTg" start="_BgGHIIhCEeST08QPbeZpTg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_BgGHIIhCEeST08QPbeZpTg" name="create_MessageRecv" covered="_stcXkIhBEeST08QPbeZpTg" message="_BgDq4IhCEeST08QPbeZpTg"/>
    <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_wfpd4YhBEeST08QPbeZpTg" name="BehaviorExecSpec1Finish" covered="_stcXkIhBEeST08QPbeZpTg" execution="_wfpd4IhBEeST08QPbeZpTg"/>
    <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_kY4ToYgxEeST08QPbeZpTg" name="BehaviorExecSpec0" finish="_xEagM4gzEeST08QPbeZpTg" start="_xEagMIgzEeST08QPbeZpTg"/>
    <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_jG9YwIgxEeST08QPbeZpTg" name="ActionExecSpec0" finish="_xEagMogzEeST08QPbeZpTg" start="_xEagMYgzEeST08QPbeZpTg"/>
    <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_xEagM4gzEeST08QPbeZpTg" name="BehaviorExecSpec0Finish" execution="_kY4ToYgxEeST08QPbeZpTg"/>
    <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_xEagMogzEeST08QPbeZpTg" name="ActionExecSpec0Finish" execution="_jG9YwIgxEeST08QPbeZpTg"/>
    <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_xEagMYgzEeST08QPbeZpTg" name="ActionExecSpec0Start" execution="_jG9YwIgxEeST08QPbeZpTg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_DSm7sIhEEeST08QPbeZpTg" name="crea_MessageSend" covered="_9NNeAIgzEeST08QPbeZpTg" message="_DSlGgIhEEeST08QPbeZpTg"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_dlu8IIhCEeST08QPbeZpTg" name="Message10Send" covered="_stcXkIhBEeST08QPbeZpTg" message="_dltuAIhCEeST08QPbeZpTg"/>
    <message xmi:type="uml:Message" xmi:id="_goIl4IgxEeST08QPbeZpTg" name="Message" messageSort="reply"/>
    <message xmi:type="uml:Message" xmi:id="_mcgYQIgxEeST08QPbeZpTg" name="geolocalizzaUtente()"/>
    <message xmi:type="uml:Message" xmi:id="_qNc6UIgxEeST08QPbeZpTg" name="Message0" messageSort="reply"/>
    <message xmi:type="uml:Message" xmi:id="_PteUMIg0EeST08QPbeZpTg" name="acquista_Message" receiveEvent="_PteUMog0EeST08QPbeZpTg" sendEvent="_PteUMYg0EeST08QPbeZpTg" signature="_Ps_zEIg0EeST08QPbeZpTg"/>
    <message xmi:type="uml:Message" xmi:id="_mHS14Ig0EeST08QPbeZpTg" name="posizione" messageSort="reply"/>
    <message xmi:type="uml:Message" xmi:id="_910rQIg1EeST08QPbeZpTg" name="Message1" messageSort="reply" receiveEvent="_912gcIg1EeST08QPbeZpTg" sendEvent="_9115YIg1EeST08QPbeZpTg"/>
    <message xmi:type="uml:Message" xmi:id="_EFFC0Ig2EeST08QPbeZpTg" name="geolocalizzaUtente_Message" receiveEvent="_EFG4AIg2EeST08QPbeZpTg" sendEvent="_EFGQ8Ig2EeST08QPbeZpTg" signature="_jpSiYIg0EeST08QPbeZpTg"/>
    <message xmi:type="uml:Message" xmi:id="_FpmJkIg2EeST08QPbeZpTg" name="posizione" messageSort="reply" receiveEvent="_FpnXsIg2EeST08QPbeZpTg" sendEvent="_FpmwoIg2EeST08QPbeZpTg"/>
    <message xmi:type="uml:Message" xmi:id="_QBmfMIg2EeST08QPbeZpTg" name="selezionaCitta" receiveEvent="_QBoUYIg2EeST08QPbeZpTg" sendEvent="_QBnGQIg2EeST08QPbeZpTg"/>
    <message xmi:type="uml:Message" xmi:id="_VQzvAIg2EeST08QPbeZpTg" name="compagnieCitta" messageSort="reply" receiveEvent="_VQ2LQIg2EeST08QPbeZpTg" sendEvent="_VQ09IIg2EeST08QPbeZpTg"/>
    <message xmi:type="uml:Message" xmi:id="_41tx8Ig2EeST08QPbeZpTg" name="selezionaCompagnia" receiveEvent="_41vnIIg2EeST08QPbeZpTg" sendEvent="_41vAEIg2EeST08QPbeZpTg"/>
    <message xmi:type="uml:Message" xmi:id="_BkrGIIg3EeST08QPbeZpTg" name="Message2" messageSort="reply" receiveEvent="_Bks7UIg3EeST08QPbeZpTg" sendEvent="_BksUQIg3EeST08QPbeZpTg"/>
    <message xmi:type="uml:Message" xmi:id="_By-ZIIg9EeST08QPbeZpTg" name="Message4" messageSort="reply"/>
    <message xmi:type="uml:Message" xmi:id="_Dvd7AIg9EeST08QPbeZpTg" name="Message5" messageSort="reply"/>
    <message xmi:type="uml:Message" xmi:id="_EmjUAIg9EeST08QPbeZpTg" name="Message6" messageSort="reply"/>
    <message xmi:type="uml:Message" xmi:id="_FkRggIg9EeST08QPbeZpTg" name="Message7" messageSort="reply"/>
    <message xmi:type="uml:Message" xmi:id="_InOUIIg9EeST08QPbeZpTg" name="Message8" messageSort="reply"/>
    <message xmi:type="uml:Message" xmi:id="_JpRnAIg9EeST08QPbeZpTg" name="Message9" messageSort="reply"/>
    <message xmi:type="uml:Message" xmi:id="_fzPu0Ig9EeST08QPbeZpTg" name="acquistaBiglietto_Message" receiveEvent="_fzSLEIg9EeST08QPbeZpTg" sendEvent="_fzQ88Ig9EeST08QPbeZpTg" signature="_fyxNsIg9EeST08QPbeZpTg"/>
    <message xmi:type="uml:Message" xmi:id="_OIlOcIg-EeST08QPbeZpTg" name="selezionaTratta_Message" receiveEvent="_OIsjMIg-EeST08QPbeZpTg" sendEvent="_OImckIg-EeST08QPbeZpTg" signature="__WN1EIg3EeST08QPbeZpTg"/>
    <message xmi:type="uml:Message" xmi:id="_ceIXsIg-EeST08QPbeZpTg" name="bigliettoTratta" messageSort="reply" receiveEvent="_ceKz8Ig-EeST08QPbeZpTg" sendEvent="_ceJl0Ig-EeST08QPbeZpTg"/>
    <message xmi:type="uml:Message" xmi:id="_tEuEkIhAEeST08QPbeZpTg" name="acquistaAbbonamento_Message" receiveEvent="_j38WgIhBEeST08QPbeZpTg" sendEvent="_RstfsIhCEeST08QPbeZpTg" signature="_tEQKgIhAEeST08QPbeZpTg"/>
    <message xmi:type="uml:Message" xmi:id="_BgDq4IhCEeST08QPbeZpTg" name="create_Message" receiveEvent="_BgGHIIhCEeST08QPbeZpTg" sendEvent="_BgFgEIhCEeST08QPbeZpTg" signature="_Ein1VIeEEeSIP9QUrJ6RSQ"/>
    <message xmi:type="uml:Message" xmi:id="_dltuAIhCEeST08QPbeZpTg" name="abbonamentoCreato" messageSort="reply" receiveEvent="_dlwKQIhCEeST08QPbeZpTg" sendEvent="_dlu8IIhCEeST08QPbeZpTg"/>
    <message xmi:type="uml:Message" xmi:id="_1HYokIhCEeST08QPbeZpTg" name="Message10" messageSort="reply"/>
    <message xmi:type="uml:Message" xmi:id="_DSlGgIhEEeST08QPbeZpTg" name="crea_Message" receiveEvent="_DSrNIIhEEeST08QPbeZpTg" sendEvent="_DSm7sIhEEeST08QPbeZpTg" signature="_4OGscIhDEeST08QPbeZpTg"/>
    <message xmi:type="uml:Message" xmi:id="_F-prMIhEEeST08QPbeZpTg" name="bigliettoCreato" messageSort="reply" receiveEvent="_F-t8oIhEEeST08QPbeZpTg" sendEvent="_F-sugIhEEeST08QPbeZpTg"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Class" xmi:id="_2f4qYIgzEeST08QPbeZpTg" name="GestoreAcquisti">
    <ownedOperation xmi:type="uml:Operation" xmi:id="_Ps_zEIg0EeST08QPbeZpTg" name="acquista"/>
    <ownedOperation xmi:type="uml:Operation" xmi:id="_fyxNsIg9EeST08QPbeZpTg" name="acquistaBiglietto">
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_HIhsEIg-EeST08QPbeZpTg" name="Tratta" type="_EieEe4eEEeSIP9QUrJ6RSQ"/>
    </ownedOperation>
    <ownedOperation xmi:type="uml:Operation" xmi:id="_tEQKgIhAEeST08QPbeZpTg" name="acquistaAbbonamento">
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_5-FjsIhAEeST08QPbeZpTg" name="tipoAbbonamento" type="_Ein1UIeEEeSIP9QUrJ6RSQ"/>
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_OEHBUIhCEeST08QPbeZpTg" name="nome">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
      </ownedParameter>
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_PQUVwIhCEeST08QPbeZpTg" name="cognome">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
      </ownedParameter>
    </ownedOperation>
  </packagedElement>
  <packagedElement xmi:type="uml:Class" xmi:id="_4SoaYIgzEeST08QPbeZpTg" name="Geolocalizzazione">
    <ownedOperation xmi:type="uml:Operation" xmi:id="_jpSiYIg0EeST08QPbeZpTg" name="geolocalizzaUtente"/>
    <ownedOperation xmi:type="uml:Operation" xmi:id="_FYYJwIkSEeSuO9MkpaY3xQ" name="Posizione"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Usage" xmi:id="_NYIS0IhHEeST08QPbeZpTg" client="_EieEX4eEEeSIP9QUrJ6RSQ" supplier="_2f4qYIgzEeST08QPbeZpTg"/>
  <packagedElement xmi:type="uml:Usage" xmi:id="_SWRAwIhHEeST08QPbeZpTg" client="_EieEX4eEEeSIP9QUrJ6RSQ" supplier="_EieEVIeEEeSIP9QUrJ6RSQ"/>
  <packagedElement xmi:type="uml:Usage" xmi:id="_YM9HUIhHEeST08QPbeZpTg" client="_2f4qYIgzEeST08QPbeZpTg" supplier="_4SoaYIgzEeST08QPbeZpTg"/>
  <packagedElement xmi:type="uml:Dependency" xmi:id="_goRGwIhHEeST08QPbeZpTg" client="_2f4qYIgzEeST08QPbeZpTg" supplier="_Ein1aIeEEeSIP9QUrJ6RSQ"/>
  <packagedElement xmi:type="uml:Usage" xmi:id="_nJPrAIhIEeST08QPbeZpTg" client="_2f4qYIgzEeST08QPbeZpTg" supplier="_EieEe4eEEeSIP9QUrJ6RSQ"/>
  <packagedElement xmi:type="uml:Dependency" xmi:id="_C6MCYIhJEeST08QPbeZpTg" client="_2f4qYIgzEeST08QPbeZpTg" supplier="_Ein1UIeEEeSIP9QUrJ6RSQ"/>
  <packagedElement xmi:type="uml:Class" xmi:id="_LqGyEIkIEeSuO9MkpaY3xQ" name="GestoreNotifiche">
    <ownedAttribute xmi:type="uml:Property" xmi:id="_MOKHEIkYEeSuO9MkpaY3xQ" name="bacheca" type="_9aJgMIkXEeSuO9MkpaY3xQ" association="_MOSC4IkYEeSuO9MkpaY3xQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_MOKHEYkYEeSuO9MkpaY3xQ"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_MOKHEokYEeSuO9MkpaY3xQ" value="*"/>
    </ownedAttribute>
    <ownedOperation xmi:type="uml:Operation" xmi:id="_OZ_XYIkWEeSuO9MkpaY3xQ" name="SelezionaCittà"/>
    <ownedOperation xmi:type="uml:Operation" xmi:id="_Ty9AIIkWEeSuO9MkpaY3xQ" name="MostraNotifiche"/>
    <ownedOperation xmi:type="uml:Operation" xmi:id="_Y1m6UIkZEeSuO9MkpaY3xQ" name="NuovaNotifica"/>
    <ownedOperation xmi:type="uml:Operation" xmi:id="_gc1KYIkZEeSuO9MkpaY3xQ" name="ScriviNotifica"/>
    <ownedOperation xmi:type="uml:Operation" xmi:id="_MjAq0IkaEeSuO9MkpaY3xQ" name="InserisciNotifica"/>
    <ownedOperation xmi:type="uml:Operation" xmi:id="_zMAUYIkbEeSuO9MkpaY3xQ" name="NotificaPubblicata"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Dependency" xmi:id="_Ulrl8IkIEeSuO9MkpaY3xQ" client="_LqGyEIkIEeSuO9MkpaY3xQ" supplier="_EieEVIeEEeSIP9QUrJ6RSQ"/>
  <packagedElement xmi:type="uml:Dependency" xmi:id="_eq6JgIkIEeSuO9MkpaY3xQ" client="_EieEX4eEEeSIP9QUrJ6RSQ" supplier="_LqGyEIkIEeSuO9MkpaY3xQ"/>
  <packagedElement xmi:type="uml:Dependency" xmi:id="_avQ94IkJEeSuO9MkpaY3xQ" client="_EieEbIeEEeSIP9QUrJ6RSQ" supplier="_LqGyEIkIEeSuO9MkpaY3xQ"/>
  <packagedElement xmi:type="uml:Dependency" xmi:id="_IhXbUIkPEeSuO9MkpaY3xQ" client="_LqGyEIkIEeSuO9MkpaY3xQ" supplier="_4SoaYIgzEeST08QPbeZpTg"/>
  <packagedElement xmi:type="uml:Signal" xmi:id="_qw_bcIkREeSuO9MkpaY3xQ" name="VisualizzaNotifiche()"/>
  <packagedElement xmi:type="uml:Signal" xmi:id="_37fG0IkREeSuO9MkpaY3xQ" name="VisualizzaNotifiche"/>
  <packagedElement xmi:type="uml:Class" xmi:id="_9aJgMIkXEeSuO9MkpaY3xQ" name="Bacheca"/>
  <packagedElement xmi:type="uml:Association" xmi:id="_MOSC4IkYEeSuO9MkpaY3xQ" name="pubblica" memberEnd="_MOSC4YkYEeSuO9MkpaY3xQ _MOKHEIkYEeSuO9MkpaY3xQ">
    <ownedEnd xmi:type="uml:Property" xmi:id="_MOSC4YkYEeSuO9MkpaY3xQ" name="GestoreNotifiche" type="_LqGyEIkIEeSuO9MkpaY3xQ" association="_MOSC4IkYEeSuO9MkpaY3xQ">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_MOSC4okYEeSuO9MkpaY3xQ" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_MOSC44kYEeSuO9MkpaY3xQ" value="1"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Signal" xmi:id="_mze4gIkbEeSuO9MkpaY3xQ" name="pubblicaNotifica"/>
  <packagedElement xmi:type="uml:Class" xmi:id="_YXjvkIkdEeSuO9MkpaY3xQ" name="Sensore"/>
  <packagedElement xmi:type="uml:Class" xmi:id="_f8cdUIkdEeSuO9MkpaY3xQ" name="GestoreSensori"/>
  <packagedElement xmi:type="uml:Dependency" xmi:id="_mzbjQIkdEeSuO9MkpaY3xQ" client="_EieEUIeEEeSIP9QUrJ6RSQ" supplier="_f8cdUIkdEeSuO9MkpaY3xQ"/>
  <packagedElement xmi:type="uml:Dependency" xmi:id="_oBdcoIkdEeSuO9MkpaY3xQ" client="_f8cdUIkdEeSuO9MkpaY3xQ" supplier="_YXjvkIkdEeSuO9MkpaY3xQ"/>
  <packagedElement xmi:type="uml:DurationObservation" xmi:id="_vfGS4IkdEeSuO9MkpaY3xQ" name="aggiorna"/>
  <packagedElement xmi:type="uml:Signal" xmi:id="_LMg_sIkfEeSuO9MkpaY3xQ" name="InvioDati"/>
  <packagedElement xmi:type="uml:Class" xmi:id="_Ip0sQIqaEeSBmtstobG6FA" name="GestoreAccount">
    <ownedOperation xmi:type="uml:Operation" xmi:id="_wnnlkIqbEeSBmtstobG6FA" name="Login"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Class" xmi:id="_JIEugIqaEeSBmtstobG6FA" name="GestoreRegistrazioni">
    <ownedOperation xmi:type="uml:Operation" xmi:id="_JYb-YIqdEeSBmtstobG6FA" name="CreaNuovoAccountUtente"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Usage" xmi:id="_ghkkgIqaEeSBmtstobG6FA" client="_lHv38IeFEeSIP9QUrJ6RSQ" supplier="_Ip0sQIqaEeSBmtstobG6FA"/>
  <packagedElement xmi:type="uml:Usage" xmi:id="_2sP28IqaEeSBmtstobG6FA" client="_EieEX4eEEeSIP9QUrJ6RSQ" supplier="_JIEugIqaEeSBmtstobG6FA"/>
  <packagedElement xmi:type="uml:Interaction" xmi:id="_-OL-YIqaEeSBmtstobG6FA" name="seqLogin">
    <ownedAttribute xmi:type="uml:Property" xmi:id="_GTjjAYqbEeSBmtstobG6FA" name="" type="_HjzOsIeBEeSIP9QUrJ6RSQ"/>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_KKyTQYqbEeSBmtstobG6FA" name="" type="_Ip0sQIqaEeSBmtstobG6FA"/>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_GTjjAIqbEeSBmtstobG6FA" name="" represents="_GTjjAYqbEeSBmtstobG6FA" coveredBy="_MCvTYYqbEeSBmtstobG6FA _lw4skYqbEeSBmtstobG6FA _wn6ggYqbEeSBmtstobG6FA _5-iRooqbEeSBmtstobG6FA _P0MWUIqcEeSBmtstobG6FA _P0MWUYqcEeSBmtstobG6FA"/>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_KKyTQIqbEeSBmtstobG6FA" name="" represents="_KKyTQYqbEeSBmtstobG6FA" coveredBy="_MmW90YqbEeSBmtstobG6FA _lw4skoqbEeSBmtstobG6FA _wn6ggoqbEeSBmtstobG6FA _5-iRoYqbEeSBmtstobG6FA _P0MWUIqcEeSBmtstobG6FA _P0MWUYqcEeSBmtstobG6FA"/>
    <fragment xmi:type="uml:CombinedFragment" xmi:id="_P0MWUIqcEeSBmtstobG6FA" name="CombinedFragment" covered="_KKyTQIqbEeSBmtstobG6FA _GTjjAIqbEeSBmtstobG6FA" interactionOperator="loop">
      <operand xmi:type="uml:InteractionOperand" xmi:id="_P0MWUYqcEeSBmtstobG6FA" name="InteractionOperand" covered="_KKyTQIqbEeSBmtstobG6FA _GTjjAIqbEeSBmtstobG6FA">
        <guard xmi:type="uml:InteractionConstraint" xmi:id="_P0MWUoqcEeSBmtstobG6FA">
          <specification xmi:type="uml:LiteralString" xmi:id="_P0MWU4qcEeSBmtstobG6FA" value="Fintantochè nome e password non sono valide"/>
          <maxint xmi:type="uml:LiteralInteger" xmi:id="_P0MWVYqcEeSBmtstobG6FA" value="1"/>
          <minint xmi:type="uml:LiteralInteger" xmi:id="_P0MWVIqcEeSBmtstobG6FA"/>
        </guard>
      </operand>
    </fragment>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wn6ggYqbEeSBmtstobG6FA" name="Login_MessageSend" covered="_GTjjAIqbEeSBmtstobG6FA" message="_wn6ggIqbEeSBmtstobG6FA"/>
    <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_MmW90YqbEeSBmtstobG6FA" name="BehaviorExecSpec" covered="_KKyTQIqbEeSBmtstobG6FA" finish="_5-iRoYqbEeSBmtstobG6FA" start="_lw4skoqbEeSBmtstobG6FA"/>
    <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_MCvTYYqbEeSBmtstobG6FA" name="ActionExecSpec" covered="_GTjjAIqbEeSBmtstobG6FA" finish="_5-iRooqbEeSBmtstobG6FA" start="_lw4skYqbEeSBmtstobG6FA"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wn6ggoqbEeSBmtstobG6FA" name="Login_MessageRecv" covered="_KKyTQIqbEeSBmtstobG6FA" message="_wn6ggIqbEeSBmtstobG6FA"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_5-iRoYqbEeSBmtstobG6FA" name="MessageSend" covered="_KKyTQIqbEeSBmtstobG6FA" message="_5-iRoIqbEeSBmtstobG6FA"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_lw4skYqbEeSBmtstobG6FA" name="Login(nome,password)_MessageSend" covered="_GTjjAIqbEeSBmtstobG6FA"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_lw4skoqbEeSBmtstobG6FA" name="Login(nome,password)_MessageRecv" covered="_KKyTQIqbEeSBmtstobG6FA"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_5-iRooqbEeSBmtstobG6FA" name="MessageRecv" covered="_GTjjAIqbEeSBmtstobG6FA" message="_5-iRoIqbEeSBmtstobG6FA"/>
    <message xmi:type="uml:Message" xmi:id="_wn6ggIqbEeSBmtstobG6FA" name="Login_Message" receiveEvent="_wn6ggoqbEeSBmtstobG6FA" sendEvent="_wn6ggYqbEeSBmtstobG6FA" signature="_wnnlkIqbEeSBmtstobG6FA"/>
    <message xmi:type="uml:Message" xmi:id="_5-iRoIqbEeSBmtstobG6FA" name="LoginCompletato" messageSort="reply" receiveEvent="_5-iRooqbEeSBmtstobG6FA" sendEvent="_5-iRoYqbEeSBmtstobG6FA"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Interaction" xmi:id="_88EkUIqcEeSBmtstobG6FA" name="seqRegistrazione">
    <ownedAttribute xmi:type="uml:Property" xmi:id="_CIrzIYqdEeSBmtstobG6FA" name="" type="_rYrcw4eAEeSIP9QUrJ6RSQ"/>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_Djb54YqdEeSBmtstobG6FA" name="" type="_JIEugIqaEeSBmtstobG6FA"/>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_CIrzIIqdEeSBmtstobG6FA" name="" represents="_CIrzIYqdEeSBmtstobG6FA" coveredBy="_ESYDgYqdEeSBmtstobG6FA _JYu5UYqdEeSBmtstobG6FA _ULAJEoqdEeSBmtstobG6FA _gECzoIqdEeSBmtstobG6FA _gECzoYqdEeSBmtstobG6FA"/>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_Djb54IqdEeSBmtstobG6FA" name="" represents="_Djb54YqdEeSBmtstobG6FA" coveredBy="_Evlj8oqdEeSBmtstobG6FA _Evlj8YqdEeSBmtstobG6FA _JYu5UoqdEeSBmtstobG6FA _ULAJEYqdEeSBmtstobG6FA _ZlBhwYqdEeSBmtstobG6FA _gECzoIqdEeSBmtstobG6FA _gECzoYqdEeSBmtstobG6FA"/>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_Zk4X0IqdEeSBmtstobG6FA" name="NuovoUtente" coveredBy="_ZlBhwoqdEeSBmtstobG6FA"/>
    <fragment xmi:type="uml:CombinedFragment" xmi:id="_gECzoIqdEeSBmtstobG6FA" name="CombinedFragment" covered="_CIrzIIqdEeSBmtstobG6FA _Djb54IqdEeSBmtstobG6FA" interactionOperator="loop">
      <operand xmi:type="uml:InteractionOperand" xmi:id="_gECzoYqdEeSBmtstobG6FA" name="InteractionOperand" covered="_CIrzIIqdEeSBmtstobG6FA _Djb54IqdEeSBmtstobG6FA">
        <guard xmi:type="uml:InteractionConstraint" xmi:id="_gECzooqdEeSBmtstobG6FA">
          <specification xmi:type="uml:LiteralString" xmi:id="_gECzo4qdEeSBmtstobG6FA" value="Fintantochè le informazioni non sono valide"/>
          <maxint xmi:type="uml:LiteralInteger" xmi:id="_gECzpYqdEeSBmtstobG6FA" value="1"/>
          <minint xmi:type="uml:LiteralInteger" xmi:id="_gECzpIqdEeSBmtstobG6FA"/>
        </guard>
      </operand>
    </fragment>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_JYu5UYqdEeSBmtstobG6FA" name="CreaNuovoAccountUtente_MessageSend" covered="_CIrzIIqdEeSBmtstobG6FA" message="_JYu5UIqdEeSBmtstobG6FA"/>
    <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_ESYDgYqdEeSBmtstobG6FA" name="ActionExecSpec" covered="_CIrzIIqdEeSBmtstobG6FA" finish="_ULAJEoqdEeSBmtstobG6FA" start="_JYu5UYqdEeSBmtstobG6FA"/>
    <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_Evlj8YqdEeSBmtstobG6FA" name="BehaviorExecSpec" covered="_Djb54IqdEeSBmtstobG6FA" finish="_Evlj8oqdEeSBmtstobG6FA" start="_JYu5UoqdEeSBmtstobG6FA"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_JYu5UoqdEeSBmtstobG6FA" name="CreaNuovoAccountUtente_MessageRecv" covered="_Djb54IqdEeSBmtstobG6FA" message="_JYu5UIqdEeSBmtstobG6FA"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_ZlBhwYqdEeSBmtstobG6FA" name="MessageSend0" covered="_Djb54IqdEeSBmtstobG6FA" message="_ZlBhwIqdEeSBmtstobG6FA"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_ZlBhwoqdEeSBmtstobG6FA" name="MessageRecv0" covered="_Zk4X0IqdEeSBmtstobG6FA" message="_ZlBhwIqdEeSBmtstobG6FA"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_ULAJEoqdEeSBmtstobG6FA" name="MessageRecv" covered="_CIrzIIqdEeSBmtstobG6FA" message="_ULAJEIqdEeSBmtstobG6FA"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_ULAJEYqdEeSBmtstobG6FA" name="MessageSend" covered="_Djb54IqdEeSBmtstobG6FA" message="_ULAJEIqdEeSBmtstobG6FA"/>
    <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_Evlj8oqdEeSBmtstobG6FA" name="BehaviorExecSpecFinish" covered="_Djb54IqdEeSBmtstobG6FA" execution="_Evlj8YqdEeSBmtstobG6FA"/>
    <message xmi:type="uml:Message" xmi:id="_JYu5UIqdEeSBmtstobG6FA" name="CreaNuovoAccountUtente_Message" receiveEvent="_JYu5UoqdEeSBmtstobG6FA" sendEvent="_JYu5UYqdEeSBmtstobG6FA" signature="_JYb-YIqdEeSBmtstobG6FA"/>
    <message xmi:type="uml:Message" xmi:id="_ULAJEIqdEeSBmtstobG6FA" name="AccountCreato" messageSort="reply" receiveEvent="_ULAJEoqdEeSBmtstobG6FA" sendEvent="_ULAJEYqdEeSBmtstobG6FA"/>
    <message xmi:type="uml:Message" xmi:id="_ZlBhwIqdEeSBmtstobG6FA" name="Message" messageSort="createMessage" receiveEvent="_ZlBhwoqdEeSBmtstobG6FA" sendEvent="_ZlBhwYqdEeSBmtstobG6FA"/>
  </packagedElement>
</uml:Model>
