use_case_1.drawio 11 KB

1
  1. <mxfile host="Electron" modified="2022-07-11T07:27:37.043Z" agent="5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) draw.io/19.0.3 Chrome/102.0.5005.63 Electron/19.0.3 Safari/537.36" etag="0G8n0DVz8_oqa5DTfve7" version="19.0.3" type="device" pages="3"><diagram id="-IIccTdV6fmp5pyW6rWd" name="Formalism Transformation Graph (FTG)">7Zxbd6I6FMc/jWud8zBnAZFLH0WxtfdWW6d9mRUhIhUIDcFLP/0JEBTUQXud6tC6VslmE5Odf35sE2wNNL3ZMYHB6AJbyK1JgjWrgVZNksS6JNXil2DNU4umyKnBJo6VmoSloeu8IH5lZo0cC4Xclpooxi51gqLRxL6PTFqwQULwtOg2xK5VMATQRmuGrgnddWvfseiI90JSl/YT5Nij7J1F5Sg948HMmfckHEELT3MmYNRAk2BM0yNv1kRuHLwsLqHq24NHw3owbhsn3ZO74bF39iOtrP2aSxZdIMinu1aNB09xOCXBhQM2pMlVvB7vFmfRsSCFv4Yu61ZyKmvGiX8r9W9B41nQz44C8PJ8ZNz8OFr0edHskM6zmpDFws6LQg3oyLca8fCxIg6Qzywj6sXtENlhSAkeL8YjtgyxT7l4xDovN7GLSVI7EJKf2O64bs5uyUiz6osac2eU1pEiK2lD2uwi3iyCI99CFi/tGFg+ACGOiIlKIsSFQiGxES3x4zMoDllOpDy0xwh7iJI5cyDIhdSZFJUM+YSwF37LQWcHfGyyIpdBiSRkH3qI/VkXxxATD7pO6KWnEr/kxC16jhyCPBa1kF/mQhON2NxEpDhfSxUllCqqOFTTkUNRN4DJAEwZq1YUlU3O2Nd2YRjy481S2yQt1lWb6bRlsm4hkmkyJ+kkbDo0x3bStKwOH/vMQzex55jcE0YUh6makzawZju+3cNB0aBjSrFXtLFSrFqC2PVwkLx33Gg21NCwHJr1oTgNDNBWDal0GgTYiUeLGWWdvVjom8J/ck1mTs24zI6ZZaUsLsri0p+9XjtzJohQNCvVenZW45OI325kzulpjt3cY5TDNhA+Z3K8h5eiWCrvCpg3md9WYKp7DswsrTKeI9Y+7L+LmuWyqqj5N1JTkAvUlOry/mJTOTxsmhGZJAXx4xkq7chQZc8Z2iDUGTqmA2NBtJig2J9j5CMCKRsLSbho9M4bWXDfBFapAmsF1iJYgbgdrGIm429PVm1nsmJCR9jGPnSNpfX7s/YT8Ap2xKv20XhNLmXhhvOcA582y5qvY0NOr6pW/PjEV+vav/EX63KZPztIW7DU66Irf4z9XeSHCfHTm8DbeQ8q3le8X+E9UP8rzoi6Ju1vKl0/vFT6g/Fe/1N4/+oVCJ4dC3wp4u3ULNdURc2/kJqryw97zczyTYmKmYvtq63MFPeDmZRAP0zAGS/NbkHjkqgtAoc0nvvbNSWXSopRMIgPQ4p803H/eXpsD1phxzaM+5/TF9a5ZnP8cj/sN1T3bnx62dEDMBC0Z2880/XLpuy35yN1fAOexsGj07zohp3J6NzoBci4qkn6/fl4GoIbdiROTfPhbuTKEnjEnbauaqf49NEWTDOazE6V1niqgboOJpahdM9OblXc0uxOz4LR/CrCLJw6cp9eROOyRx7OI3zZfoAdegTbjbPH2dDqs2Zezz0RTW7EB6Xfw9bJZHAd6sf3kF4GLxrud+6eWCXtq36gTR9Yb//dfnvI4zQVNWUTeVlewatFcNDLNJmsurHJBR0/vi2ksM7fbgJEHFZBcpINiROE6HppWmN1K/79TISKxX0vMXvqIIdQdQNC1e+IUPXwEPqZK7jKjjwFB83TkvXdRTWlsivfN6goW1FWAnVp5eM9qCv7y9nyBay95OwHo1XdEa31g0Zr9vhBxwvc5KmtXZFafiOvkFohdS1xBXVxf4Fa/kGt2iArWRndiljhoxH7pg2yFbUqQMkLbpu7KJV6Lx4V3+j+KZtpO8p9+OvUOYfyWSC2XPRLEyfj859bHiSr0oeN2t4YyQ/X9hcQ0H6OIvGucXZxdc0Sg/mPHp3RV0iiAmCJSDbG9i8AoKp8Nf8+LVduMGXPQyfcIW0of6ymypKrLHktS1aEP5slv+MZ9gZTFIHmfMuMKs08qi/+VHvIW/aQVcDedX2SfMNt5I03e+mwcuv3pU1l6dDBf1myEYaRF7zmWz+/D1eFzAqZud2MYrb9ZV+VZMXlt97TPH75vwOA8T8=</diagram><diagram id="cCdvWxSvh6SIBxDIsnBb" name="Workflow (PM)">7V1pd6JKE/41Oee+HyaHffko7rsxiduXOQgNoggKuOXXvw2CChqEGVHMkDvnJt10N9Bd9VR1VXXxgufn27LBLyZNXQTqC4aI2xe88IJhKIFhL/Y/RNztaxiK3FfIhiLuq5BjxbvyBdyeXu1KEYHp1u2rLF1XLWXhrxR0TQOC5avjDUPf+JtJuir6Kha8DM4q3gVePa/tK6I1cd8Co4/1FaDIE+/OKMXur8x5r7H7JuaEF/XNSRVefMHzhq5b+7/m2zxQ7cnz5gUfzufKYNvqbDtFWVz/VnbL0a/9YKU4XQ6vYADNijq0Pp7a04khKj+GS+r0esEoFQ7Arey3sXbuFFHLlf0KnKCruvGC5+BFQx7/B0eD//Lw/yd//e/YHP4l73+TGj8H8Jc3/Ng4XHNGg5es3eK0BXzK1bG/83Lzru4tGS9YylqxdvsrzuBePSx7RGSP6FQXDF6yFE12B1J5AUwglQDDTzmhU4wf1vOwJMcJwgx9pYnA7o/CB95MFAu8L+BtYMUGcg2sm1hz1b1sWoY+O9Aa6kysZvGKBoxDWVX5hamMnfERWCMa+uKDN2RguU14Q3BZiXqlGBbDSIQlcRSnERpe1fSGu6h2ZwMIK8NU1qALzH0fuxZsF7wmuoUxL8xk5y3aK0uFj+LWu0zH75/EvvEcWHxRVLznMHSL9y7bHRa6olnOvJLcC1mwX9fjCvuyBN/UfW4Us8uKqub3ZAXnES/l7P/s11NVfZPzuBs9UsE1EnfXcg0MC2xPltddujLQ4QsYkHIQ9ypGuuzswhfKsq8eCW2OeICSLpNPTrHAq+RdSpIPwx/5DP7hkoxXdDkvhAvJhW5YB6ZxXtyrcFoIinaFmE/ZRbAM9bfXI5TKiVAqhyvpsJRpAU1Q1P+0Uadb0KtyudqXJtaqbLZGqInrHcRgZ9WpLBtjaY2iDP6O4b2CaJIj/CuXG02ab1RpOaxWBx8cNSxWG1O5UVXrY2HW4+WJ8oJxb+hubqGtGVdTWlQPaetMQe5a9szlKHE5Y5oGqVVG1a95f9zu6119xLQaTXPWXRgfpZW0bTcbxKi1zg1b9Rnfo2RZVgS8OgI1BK50SSY5sPlolUZtgmx+7XTDYGlxXKAka7QQtSooDatbA5U+6TzDE4KMNguG9IkNqnSV4fT2plLdiiM4TPX9nbaIuj0g9lHmpMlGBcq6VS22+HlHb/GkiPFfU3z5KSGc1flfBFQ4ZRPDZtQTrrrMwXN9bbfxWP0Cd+6h5oTBEITIs+wZCGEOJ3sYhpwzZoEooiXS7gdfAELphw4fv/CLciBirgjecwbQICLT4nGZlqZ9PPvL0yVOGBYnz/kVC2FX914dG7+ON/qFsYE7Uf4hdEkyISgH+f3wyMlBgL6y4mLAoUsoCJAZCGQg8AQggKKYX3ITyaFA4E5YSkDAiKUHiHBZoukBVCwIWIxaYoGoyqWqzRSFsdAa8rgxWn/C0q5I17oVLjewpwaDtMANEQH/GuSxsfXVhkViU5FKxTmD5pfcYirXRk26pncFYtOptAksj1CTfA7pz+g6z/RmQqFbbCCGXqc75qCtl5HawAT93RSf9tkh1a61SILflpTBEJs2lZyObBcKtiYhc4qsya76Wl/j8XylrNSI3bRVn3/IZmkuwSdTyv32O1igowr52R0MtvR80UHQXk3UhmCt50CLMixxU6MGDXNcK63GPCUMymWkIstswVppUBpxn5870ZyUJmadyBVaA2UwV/L97VsZaUlDeNmo1yY2edhzohdws9hIDRxQBZYiqYsbEz8chLN9ULV3W7vA4pYaQLIug0sRL9FF7I7wcVAaXKbGsFcIjAx++KHP0AS7sAfwECYOmhB+nYJNCZrMQTydwsGTaDoFfVNAedO4XG+9hxMdAYMKq5r4WBHZ7azDLGvNhVIa1D4KnLAb4R85hdzKoC1u9dICLZeKRq3a5/sHMKHlBS4Nl9abaArrKoGqg3XZoraYkB9/fJXmjeIKNcu1HOiS2nvJknYco/G0/ViWVTYkw3wT8/pUrn8y+gjUN/3aF1Mlh4ua1qnMgNodiaAhfon0fEnxo76kEW8dXahrS0kB8oboG0QFI4Q+LlGrWbNrrcDwfVJtqZDMSuuvSbloqNVZdzYgmpY4nJIfXI/Xp3ylIwC6XVM+8bqE5D+kXP75oOQ75g+HmGuQ8ijoQBHmlWVxEvF+zu0Ht4IOPLAdSYsmwiekiTCZJpJpIv+YJkKRrwR7oolQiaEJFkAT9E5octE6IamQwq4jAhuKCECUwbtbdKzcmuiYkWFRUHnTtInke2M8FqAeInT77KdJyAPrgwsgIqm4823qK0MAYe3c9bY8F8C3DV3is6chlPQMoPIWZFkfRN/ajB1cZkVTLIVXIywyioSuchD3xVGpWzCrcrHY7Wy+4LPl859fPbDLwQWfcbnFtI8hq4k0myzepuMR+MiPBm8KLBa5fL1dZjhrQhdriyXfk1YqNcsVqvgnaNaX5mzRtUcryIqx5lZys9vcjMmBmDcgjg7a4lqerQedUm6MNirvFVN4o6Q3k1pTLbZd6cEmYnOFTAvNXEemP4fIdIxis8a6aW8suJVGwBcpDUd1uV6mu3Ozssrb6MzVraUti5pLKQffvhABmwPwFbDueFc03XbqnGE3gHB84t0JQt5laF8AQ4EE4vir4NooCxN0jlWJuWoInHj1tI8DZL2iOMVQDE7TGEqhFIKDAxOc2oEuAWZCzpu/ATcUDaX7U3SD6tdEl3WNV4vH2jvhXRIQh0eEOOLWCOd0hZPG704auH7Mb2Un4Y3obQFw9pRuztrjJBHW3jZrO0+QFim731iklBAhxRm7gQ1Gr6RXHB4EPiwUtr7S7rA/TAMBo3Q6KJhBYlEw6emhD6RgSTdmv6d6pJ0jGjVkA4kgYk9IE7lMvN8IYV5VZM3mAUhkjnC0xZ0i8GrOvTBXRNFhmIvi+jycIiiwLwropCQwzgaCJRDkYrAEYjNmLMfL3wjcHxCz5GHHIWYpB6lEUgRHW0YKUCeDv8pAAwZEBP2aqSWcL8KDPB4ZykS/EiROkiyLESzL4i9ZIFMc7Zj1B0Wg7Lnd4HIUU1J8+bgQBjSLYchiGB4Qw4AScbk2uI1ILpIJZfx3YvwjPM5zYIqJuR3RLJAhcx+k3PsYHzMOgU7eiYtzzLiNg+As+PFe/oFHxT+j8eIUMr0h0xvSoTckGAEd0Bt+ofcKV/oB23osuK33js9V5wsVzCFR/P12PjxCItvOP+l2PnguiUBjnEt62I4+Kbkc7vTP5HIml5ORy0xs3TxwKCFJwUwF7pSWHX1ydj0sXlhIhgMZDoTjgOeeM/acyDl03tFNxVHL8ILqbO8PTrtG4PLBefetV+9uQJOc5TBwI88v+3CYmYOEYo6x8CCczGr4b1oNUx10HB9Azg4xMGf4casw44AZMTXnneaJOR72IJkdeMoOPF1h98e4HP4aLKjkDkcGUjvca1PzA6yNrhH53NqY03h1ZyrmFawLR7T0ZkDK7Ix/EzaE+o8UUizz7+Y/wrIESJl94QF2RizLgBQfBERdA7+TMzVmIYQZFDwFFKCI/0xccnmQ8MsWg4cjwWoBt+ZJYkG8MMIMCzIseBAWBPKDJJgSDWfTiQVwGhPyCtw2h1HmFci8Aol7BeIDyJmh7ww/bmTnwwNxEnRK8IM3xaQA5La5jDKfwLP7BH4YdASPJSQFHYFz6HfzEFxNxpqcNzFe+GOGHD8dOVLlTfx7JQNFsFeWRZA75E8MpA9KTSgCnxh44PFiJrN9y7+xb3lyCDlTNvD7IAj+jd/l4QiSIIDcNhwy0z4y7SNV2gdJe8mKks/XfK+9ykVnR8TUb3vLzLf8nqV+u/zFnCiZ31x1M53ZWWPRSHg02A/OU4kTERfb+8pDOhc7TiY9PGrGMOS6KMsy6e2vElDqBDajJEumIJneX6FCeMzMD0YFbzWuogJ+c1RwusZN/okz/qwOJEWcEs55slCaDWv/krb0tXh4xMYPpkQ0qjKSEkokvedwKQtHH5BWVtEiZaXH44UASL1Gw8lK39nx6/dOERRGPfh8VOfd6G/req7UpFimwb2x7LBYq45kvoz31FyrRKHVTU3Lm2+tdoHZltagutigK9hzKO9GjbpWHlvN/f65YMpcC9W7ytsnkPVaaSDIPXw6H3eLVQrZIsOyyXRN21RXb646qkmua1t2boud0pIyUHRV5phaq8tvFyyl6avBiPxqkQza4FThXe4uC/0mN7Gteiw/Qqd2yvuW3tvUxr1ebrTRRtWWJC0ZxDJX+Fu/BRUJrjiR5Cj72WgZ66+E5TxxInsSO4h0l+pZ1LaAn/ycqQHPksEeD/dy/2DkxSIj780TgD9ssdPzMZY/NQyArWKddIOlofs09t/HTnbB63NrwqEiEk46JDYR+JQBwzKhumMg0idmc8/QH/nDCv72d9EfHGN6RJYhwt1xISyjL4AWxi/B7TXhln3cYv+cS2CRBIx4kb8ORmH4ICVFPRypu9unjwg0InNQaQLV48FP5PykZ5B8eDvXu3OEM9R9c+LrMewbehNzOO7ZBcuVYjhp5cwolBju14ll1vF5KGQb292/L5DoN96DM/uOQ8vu89i06UwwdzioGbDvnLoa+JWln2h5R88DFVAcw/0gAYeJ34LE2Qd/baFBFuwTwLBsq3R5JFBGD2X02N4xPwU1VJ/35KSC0y1Ln/+R5ImukbJ+cwAc9pW8aIp6nBIaC2Rv6MJIE+welRyfinPUeB7h/SCifvjGA7IH6y9o4EMJBEkmrjHcQx6cfUPEO/5fXK6cNKORhMINv5qTCYXnFgoo4Tf64heyfjyPSAh3YmUi4aYiIaopBEuVKeQeKH2epCX30cjBBUBcuL5OyeFetgyi/yWIpvyHIWiEem7FPbrfLsXWkQMmo3+KyYlbVeiIAE3e3OaYdoD2RFeUT/FBOoC47QL4deIOdx9mwP0PATcdzKqLoId4oGvATbCvIZGoD4PuGzr+fhaYJ4HfbFQFm7k1fv+RzYWm/OROu3d4dpuL57m7LCzegWY6ImIvNa6zULg7NRMQ/7KAoM9jQp5GrSczp2e8IL7IEQGpPlEQi0TCvZFPQiJ/GoVyY/qJurvzXDcP98gEDM1uRExaYzjIH+9eTNHhKm+xrhMzmQpixgLfZSKR+4fKxyLmGx7lSicxp2jfhkXdt3lhT4+OzveHKTP+4PxrzTE8+Vj+q+fiRTmhfF5kvGTh2bn4n34uPtX5vGJvQKlAqgsMYV7JkwwbSGL5vQKfNr5bjp472Is8xfz8Ex0CpFZe2EXBncz/m1mJvmFSmiIuJLN4HjvRj3D/+jnwxhokHvWkMXnz7dDDqCLcb/p0VJFEBhImIlXc3B2Udne+Zz04emhMczVfRI2HJcO9mpmw/YeEbfCQxDOHw5LRT24+ldUn2dw/Uc+ikSnxuvuPRtI0fkpy15pjDBag0L+x3sCioevWaW8IkJP9/gcv/h8=</diagram><diagram id="CD6cgHz3SAvTD6gY8trS" name="Process Trace (PT)">7V1Rl5o4FP41PtYDBFAfHcdpu+2e7pmZPe3bnAgZZYuEQhy1v36TkKCgImjnGDGdPpBLSCD33u9LcpPYAaP56mMC49nf2EdhxzL8VQfcdyzLtC2rw/4b/jqT9F0nE0yTwM9ExkbwFPxG4kkpXQQ+SoUsExGMQxLERaGHowh5pCCDSYKXxWyvOPQLghhO0Y7gyYPhrvR74JOZ+Aqrt5F/QsF0Jms23UF2Zw5lZvEl6Qz6eLklAuMOGCUYk+xqvhqhkDWebJf1l1kERuZfk9Xv/rff6ePD/Y/Jh6ywhyaP5J+QoIjULRpP/mPNaRkhnFCV8qdEOfNHLFvHI0n48hrSz+K3Kl8D5N+cv3ZK1rIk5NNmF0mjA+5Q5A+Z+mjSC2GaBh4VzsicvYpJL1OS4J+5SmjBd684IsJ+TDvPMcIhTngVwDDs0WBA7yR4EfnIFzV5i+SNJ1ixNZtKNGmKF4mHKvLZwmJhMkVV5QlrYo2wZXaisT4iPEckWdMMCQohCd6KtgmFiU/zfBs10gvR2jIpFHtQyRM0DaIOGHYsF85j2iTRJI15y7ghfexuQi+mhAsc6NGXCcj6JYJzRNMyD61mK5t4LpGSGCekZgUsa3XhZYskCfQQeqPqe8m+JMsRUumM+j5KinhQ/AJ+B/IWkU6Tv0Bm77LASku3Ky19OQsIeoohN5wlRc0qw2YSCm0EBhFK8nQYwjgNJrmz+AmOn6WNsSwR/io0ym4niNp4Ss3mEaWZg3APW8Uwkk4wgd7PKfeLbwsS0sqkc2SwCrO6WNHUxODYD2RNCSZQ3ja4coOI8DZ27jrOPfsgiXtGyUm50wZhuOWiD0P2R+UwpKAylPjNKoKJlz/YHbi20bPtnmnYgFJKY8d9QwlBq0pXE3zlCPRebsDflIg+2wJ+4LyHM56HuM4NIm6vJuKapjqQu6tln/pUXS27tbVMsWyGpziC4Xgj3dY7jlF0DI3KSmfpgsrZv13P9h3U9/caiXs/cB03e5GHIMxBKzeZC1rJQB0jQQyrW8DK7Dv+LCfjBanhJj1Nyq0hZdMCarFyE7zun8rKKqHzH8bjwcVYWzz6D/MQmkWanyOULAzOkmlZRPam4qmNLVFVwfVWNuF4B+uxgFmsx+2XTDMrcWOo+TeebLtOjtwGx3vqNg5Zx5mobNgwIcErRd+XIEoJjKgSq7F7A8tvwh150VwiJ4fGvxZUNzhKswwU2H5mGWaEsFmdIft+62G5XHanAZktJl0Pz6kgpV/+skgp5IrrBMVYXtMsc4p/IkXNG3XJqg4vDCrdkeIkf/0IE7TTjz1GGtsYO2VdanG9x22L7jgGD72xxRE3mEasQ07djFFN5t/i9Zi/cs3e5Twhy4gwIwtKFHPWi+eVwgXBW0ST0tcOoilNuZyM6K0tPjkMAyWmKTLLHdX5yOg6jGOsEUvTayoppc08bW7yc1oqE5d4y2ccFwV3mBBqE0Im8K45LtVgHHm3X3RUs+/uMpCxj4EM9caFplFp8+0cGErqOM4xtjqdfj0Zx1tE2vspk3GmWWnsuuN/TR1/y+6r1fFvBLvWLcJu3RCI6aoDu+cN8MyTI10qjfDedf6ttlVY/XcZ8DUdp4FBcTwIwOCdx2l6uu8Q69eb7jN1EK49tA+krVwl7d9iGE6y+XHaVyjEokdbvEXAOaOt6mikht1rgl3bvuLFD2Z1wK+lsFs3kCJBQAXYPXO01Yp4moImImeuVTARPRo6xMo1R0PVUS5Ny9dEy46p2OqHJrRs3WLsKd+5cJSWFZoE1aMh3iL2GaOhgvY07F437LpGTy3YbdJLturHnvQq4TIaH+8qW+rA9pn0fIu7tOrrWaGlIWfiQXV4ROPBWXZiK40HjeykfvBC20lzO1Gou6+nWA519etNsVg68tGivn5fschHI8yuH/nQmF1eaHSByMkfWZHkit0b7dw5Mnz+OqQaN8QWEnb3wttGrOqwk943UnLlG903Auyimzom6Mp9rKpsHWnELdWBJM0tVZHUa+EWy7Fvh1uGrKzACyAz5ScUpdRSLOOe+oQSPAOq42WaZzTP8LuDoss6ptN1ag5hFKQZUB040zRTFYW4wDT2STRj9kHBZvtme2hGBvxzmnlEvxZBguZINMnliaU6IqiJRRMLvwuKTtoD/X3Eci1b38Etxjcl3h8nBoXiEXr50dnnUAK9B04C9PWHJHqDK15+BHQY+QTYrr0sRaHjg3UY+bxjCoEOI7cHs/u9C4eRLzbcVfOsN1AdGddj3hLZ3eqYtzSZOgCD7r4TR68laAdatkXyPfpatU8gVWiIrErULAuWGR8R7WZAwuNncsWGCqCvT/jUoN8c9G3buuYIml1/n6UeceeNVnefphoBNKu0uKjNh0crFz+zq0PUmlY0rWS0Yl124HDx496HnrdIoLdWw2t11Ft77XGvBU7xuHcFo96NOoP1o966M5g3Wt2ouRqdwZ0NIS3uDA7TdDGP1ZlXtqsD7ZpVNKtwF5XjtavkEB3CP4FDLneyxGkzCiUSafWSXOVYpDr0r1lEs8i+WT8FxyYHVuT+432xViB6frU/Oa+fP00+//j+74cWngf43r9O6Ay65Qi1UVpAkjHTzu8T1inKBsWiDvzUYWP0z9VbaQ7SHWC4EM3T7XYF227MgroKKSp+B56YQwUeDIfixjzwfd4P2QaY/YuOtvBpF4EEnm3DpBC9l8PLnyDPFeTsW42wLzBl9k/x9wRjsq1jyiazbDIPjP8H</diagram></mxfile>