use_case_2.drawio 7.8 KB

1
  1. <mxfile host="Electron" modified="2022-03-07T10:12:19.259Z" agent="5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) draw.io/16.5.1 Chrome/96.0.4664.110 Electron/16.0.7 Safari/537.36" etag="AefS7wFW3cgjiG1E1hNF" version="16.5.1" type="device" pages="3"><diagram id="PcHa1XXL9cZKrIgOnDb6" name="Formalism Transformation Graph (FTG)">7VpdV6M6FP01XeveB+/iox/0USjVOo6jtrajL64UUoiFhAmhtP76OUAorXVqvd6Z0TsoazXZnITknH02B9qGboXLE44i/zNzcdDQFHfZ0HsNTVObmtbIDsVdFYjRbhWAx4lbQEoFDMkjliNLNCEujiVWQIKxQJBoG3QYpdgRWxjinKXbZjMWuFtAhDy8AwwdFOyiE+IKX+5C61T4KSaeX15ZbXeLMyEqjeVOYh+5LN2AdLuhW5wxUbTCpYWDzHmlXzr0Mkq944EuBuN7E51FQ085Kibrv2bIegscU3Ho1Gz6kLlTUwI0hZDmo+Q84TUrveMige5nAWwrP1Uu43h+ZVHtfpZq2rV7dcQj52tyVO15vexYrMqZsAtul12loZuYusdZ+KDLIkwB8UWYrUOFZiw4m6/jkSEzRoUkj9qUfYsFjOez60r+l+EkCDZwt4UNt7meceNMu9dtt9rFQvowSC6Ls4S62JVXPdCxMgAxS7gjt4uWI282C7qhPbYnJ7T/bUj8I13yG3EPiz12qoxE5rMNlkrfnmAWYsFXYMBxgARZbFMZyYzw1nZV1KEhg1N2JQ/2cKJFUYjhY5cdM8ZDFJA4LE7ldvmJIQmTgNA5gBYEirOMDFI78kkC5GAfUhXz7fQtCfZj9/2QYFXksjimPhF4GKE8HilI1xOClbma2XoBimPZfp55zzENNu4BbXsOcAPzkqIbDM+daCJn7uVLK+egjIKF6bCQONISJYLFBbnzNcCyCfVGLNoGTCYEC7cx6GUk5hjGo2l+7WzREHhku0SUe9jOClvvd2xtb1ZEjFCRx6ZlwgG5bSn/tBotMLKyPrQBedJX1321sofjtYm0wFzg5V7mp5VWq6pRDPM3dFpXfk4yvEUgmwcLJOPCZx6jKLAr9I+UTOO3SWY+FPyNVhsGMi2qmS8zAAwkW7Vmu5hRVkOqrCMqxhUzVvxbL+1X6nOPgwcER4QCPMQiid6iy0aty7Uuy/Qqzxqyfv6IOq3VhewLqtw9VJX1D17I2ssIcxKC11BGgx6w6C1K2a2VslZKSXlZIUDJ8HGVslVXtK/WzvLF128Qz/+kpNVb6nssaS1Apxz8wLKatp9Qp2j+e7FW97/QqtX6T1Lrp3Xte1HvN2QKcHf9Uk65RBwMRJYgb0kZtU6ZOmW2C5xm0/i4Bc5+PtePgtWLtxfLme7HeBQUHNE4184D6ofnHhQPkcn9bxhA+aKsGQtMHRL89XDXn/bigWfb46/pI+zPsuaP49nkuBPczM8uBmakTxXjWzhfmuaF1aL9ld+ZX+kP8+iOWJ+H8WDhn9ujCNtfGpo5Pp+nsX4FLTV1nNsbP2hp+h0b9M2OccbO7jzFcZLF8qzdm6eG3jT1hWu3h59OrzusZ3iDkYuS1ZeEwTZNHDw8qvbFiN+eJ+yif4sGoov6x5/uljN3Asu8XIUqXlypt+3JiLmni+llbJ6MkbiIHg02Gdw8wCT9L5PISG9ht3+/fEvYlNCC2AJyueo/kVSXs2hU0lLJBR2e4wnNbgWFQG/eYor45feJHoSERDG+rKAdfe5l/z+x0igLC6miXW1HRDvKroZ23qGG7v/artbQ6knv5UdC9X8touvKtLH1bfF+Ld1Pr1pLay19qqW62v5FYgrd6vc/xbuR6ldUuv0d</diagram><diagram id="NAxqodgbXSXeTatquG3M" name="Workflow (PM)">7VxZc6O6Ev41qTr3IVMsZvEjGGPjBe8bL6cwCIyNEQbh7ddfYYP3EHvOJDOZOElVUCOEpP76U0tq8UIX5utSoPuTOjSB+0IR5vqFll4oisxR1Ev8R5ibvYRnmb3ADhxzLyKOgo6zBcmTqTRyTBAmsr0IQegixz8XGtDzgIHOZHoQwNV5Ngu65pnA121wJegYunstHTgmmiStoLijvAwce5K+mWTz+ztzPc2ctCSc6CZcnYjo4gtdCCBE+6v5ugDcuPPSfhnMoOqUlrVBfeL1PDICFLF+3RcmP/LIoQkB8NC9RcPxNO5OinD1MVbp7qmknHkbpr1joMD913Jxs3a3MqtBH9p8qHaINmlJwMTdniSJF1oEninE6sNJw9XD0DGwcILmcVVIfBmiAM4OKsEFixb0UIIfMnfIUYAuDHavoAkiV8jn8Z0ARp4JzKSkfdXj919o/J3uSvKFMAoMkJEvl6BWD2yQWR5x0kElAOcABRv8YABcHTnL89rpCaztQ76j6vBF0sNpMlHmA4p1PAc5unuHWnOZasWg9+PLEAHPcNx/TE1uS6FiF4vt5mqLq1Yo9LZ9sBGwhmei4E8HFBFNrNnEb03HGugWtGHLwcmiWKg2SryIJlyx4i/0vhW57EyQFLoH6tVFOPPbcWmS7QRLMbLr7fpqzAzNQvBCicOGubRny2FTFsZkrdwph0aLtVohu2TVfKPcx1nMekRMpbrQtLneiJiOSWpWW9ZpbORi5OVwQ+SRVrWrJa49D8tRYYTlYhUt8L9cfWEJuPXS/zCUVhMHgY6v7/CwwoR4jlnLcd1beDxHqgc9EIMUhM5WHx8NwnRQkiR3GEY6OrkdACMKQgyTdvxcKvVB4GB8gLhcrBtMmqB5FCXQX4IAgfVPgP8aq0kpuGk/EppPaP+V/EHSLM/yNMdRJEuyBA1eSXqfZ3UkVjohy8kJp6ayj8a85Xh3IZ55CPFWv1bbIb650ZedZhFIGkaczDY7wWBdhYJcZ/N8TWzl86NiRdFsvUT3XUGVWVJZVbxC2FIbEr+Wl0DxV2QUI9HeaLWqVxqjOsYf/pNCW1RJ2HZaPWDDijw07D49nY/bRYUl1sSoFPLtUMYZq/Wo6YbMsrLOzyncCnnBBiQZlUS+orb1tZ9nPRgNNWarMjxZE12jY7cX0qAuTmKg53WNnMbmpML+qjLu9wVt5WmKalkLnkBhRLcGqofvFyeWXfhl1nB955Tz/y4jYTj+R/7057eaB+vi22J0hm52EcXuimjstSPEw5M9/gfXAP/hYomTq/8ds+Mre/+f8fQ5eInBty9+HBzu7UrDt9DGP82B6xodn7+0Wd3AQ6OD9o0ldoWncpxOHcaNn4iL672ysdr2RbkYnRPsE4Lg3E/MJAA2kwDOvYt3jOAc0uSuaz2kO94Ojfu06+p+6BxRbAbQ76beRJxFD4zE8WF+kAzPUyTDEBTFMVxsNR6sJWp92wTA2tc9M0mMdWNm71rRiJDreGmmxMU+sS+MM72ITe4Nc/Oh46FdvzLiCyPFzU19YOLCYaOuCUEW4t+4eS52MIXUlyc/0CQpgj4zSP7aAimKuTZBkuU+xgYZHwboYDK7FqaCXQ7T8d4B8qmxmFg7/6ZPZCKce2iI8zXVlHKKLSta7IONDXWk04G27OHUpshV2mVRGMb9sBuuRoRBb4cFaoy2jXhcWZUtuTjnycJC9Kd2RatzFdg2cqtmuZGjCgQ7KQjEYMZVdb4/M6R2sUYEsMo1w2EDlojKMASDzZSeDvIjtlFRmZy+lp3hiJrWHQESa9+hloxNdc18mI8G3sDT6UK55FRym6lanXftUJ5buGZOadDoAJ/UykyvPRyuubnfJMh+xfRGYAkFoLIBMlcVdlgLxxU5GuusMSyViLJt5yUUebGf2OttzHAiT8JqTpDUoTOcO4XBulUiVCt2F4NqZRJjIe4TKNFhsXbHEHlmLpdj3W1LnsNlnCc1+RtWejW+slKeZdibZHTksrjsEFfU8ewuxNWUXtkdJczjidlNc05yJyN1kqoBC6X5z829SMtckbrBIj9v7Gymsb+mSwyJsZPcD+L0h+Gujf/W8Mu8bfrJu5sxD568mD5/8evlpA5aVgjQFXccmvDl6IR/0smTTr4ZnTD5czphvx+bwOg9N/uKTg6PZPJJ/pfyScsThf5yzyaQAMNy3g3psWPm17Mmv6jUfUceVrqSaGw0uis4zNoGDXMNZZ8sycWgogz0wYFLONunrdECtczQWCo50h0uS4hdU0Zh3N3K81oxIsNSRQBtxuvIyNqIvKdzcbUQKgVWELbMApza1R4PNVBdDSpbXmFGfsVrlmfAbWsmqJlbk5svWF0bWF6u1YRG1VtYDrBXuUGQK1M5Y0BbbDSrt1EERp2JoroYH/JyOykVA1eZtWfDXB2ZoynTFfs6nOrlpgG4RsXp0VWLKHQt4Z65+x/GJG/ZfjbDvMcov80RIXMfxBVphQ+LcvwfQhXGQ47HbtfhLsfjbE39fabwtGZbgopdUgbWBEWlUNXIkIZNIsjPlKltB2NrSZI83aHovmSGjEZvBUGb1FusvBgpyrArsqOiUpvaNcWtjo1ZX7cnDmaVFrmZI1KdiRVHZftEA/KS3UZx1wmsuZjx9YDxypqynQ/GjQFsQ41Xa/Vw1vaDrhxZ60a9ltPUpTBSqzO9z9q27Ri0ooEKgYlQthkRrLqqrDVyTH27gUGQ58yxxFpI801PAfJIWQek1eMKvJ4zbLIuBVaPGiqcwouwsSorazMmIKXT4VCuGhdIdUuiNVm5wFmqSlHV502o6oxJ6dspvehZhIiafwxHZC0OZnGElCuSMvMuR3wWB+Qvl8uJKwqgbyw8UBlrf2+4C1T+4k3sn8IBj7kLOxK4z10gyScLPFng67EAeWMJ4tewwJUjkP8kErjp9N8ZQEBSmWacEUEAfeC9t+5+GT4Qp88QFv9cI8hkAG/eDDc4eK+4IrLjHhbgPzX4IN1ifTf6gLsNzE8JPjhuChHXu0BXOz4Bcqzd9k7mUHGyFRTc3ArqOPPIdbwZFhawqgMYwymJX3ofitnBLOec8whD2nGsSzo/ucboG/Mc3XVsDHDJwKDZ7VnuwJzUJwbnrrvFw77ORajBKdXpEYInXHycI7EX/J09Y7sg7POdIDHeIow3Pxkp3ivE6XgjtEBcpMlDmjzm320jXfLxGXufCESIEJz/Z9J+Y9MoZWmCT/dxT3iavDlj+6RIhodYNTuA54uwKlZgsBmeJkZx4geTJqX16U1p83vYmLmTjfnbiPtr2Ji6ZGMpwM1CgR7P6okOQJF/D3SzI3GeLPydWJghvjQLZ8eUnLIwnjRPoA093S0epU9e/k+8zN3JyxR1G4R3E/PuUawofXOSIbHLN2dr7Pn6MM2zF1DdF/hLF2s+YRBIpyY3orPiOExCwvZzj+lkB6s8R4FvNApQPPWFx4DsMIkv4ol/MnPn72Vu+jZw/hqXOj1mcmDTAmaicYAbB2OfWo48Y3/5Pg6zt9efhPqNCDVHUr/brf4M42HeMh6M88OqINHUA313KiC8w4qo7K3npxV9Jytiud9tRX/BaY6rRaODkb6crdz/3KEOKnuT+HmqI33gy5/qoBnyyha/x7GOs+WLZyD2MxD7awZiU9n2/jzY8XmEkr0P/iSUJ6H8hYTyPNrxcUc7qMe+J/I82/E823GLYz7vbMejzsjzcMevOtxBPfYhlmdY9zOs+6PCut8hgefpjg883UFlh848aeBJA38mDXyD4x2PfB+Syo7j+Xs/EEmmZxPejWFgbsPrt3wh8iHV/nRkyxdXLcXeqdo/SbOPxCxR2bEiXzZu9XNhcm8Q01mo41eCCZ0dDPEMbXtzJeyeYeFzPhyMk8ePVe/9heMnv+ni/wE=</diagram><diagram id="PTdThei_hXfC_S_NF0Kz" name="Process Trace (PT)">7Vtbe6M2EP01fmw+Lgbbj/Et7W673W7Sbr++5JNBwWoAUSFiu7++oxsYOyYku3HslM0+oEHoMnPmHBglPXeSrK8Yypa/0BDHPccK1z132nMcu+84PfHfCjfKMvQ9ZYgYCZXJqgzX5F+snzTWgoQ41zZl4pTGnGR1Y0DTFAe8ZkOM0VW92x2Nw5ohQxHeM1wHKN63fiUhX+pdOIPK/iMm0dLMbPsjdSdBprPeSb5EIV1tmdxZz50wSrm6StYTHAvnGb/cfPywTj59XHyyrorZleWO/uh//UENNn/OI+UWGE5526Hp4m/hTseK0QJCKp/S4yRfqPFOwFl8exfDtuQts4w/b+bT4Ye/ruKr3+PpP7/9FJMMqWXUl53zjRkJh+B23bR67hin4aUIHzSDGOU5CcC45IlYig2XOWf0vgwJDDy+oynX+LH7ZY8JjSmTU7iW1Z+MRnCH0SINcahnCgr2IBtiWLUPsZid8D/hO90vpwULcIMTtA85YhHmDf28LWddYZpgzjbwHMMx4uShvjikIR6V/aowwoX2tmnqwB4M8gJHJO25lz3HR0kGLkkXeSY948fw2HgBFxGXBg8FsBjCN7cpSjC0TR+YZqubfo4ZS0YZbzmB6No8+C4iOUMBxg8QrVu1E9UjBusSch+zOh/UdyDvIOkRE/hyAQrvZsBGpDuNSF8tCcfXGZI4WQFrNgFbWIDaOCIpZmU7jlGWk0WZLCGj2Y2BlOiS0p91RMVthgHjOcDmC85VgsgMW2coNUmwQMF9JPPi14LHMJlJDkWrSM0lhgaIoVlIzEyMcmRuWzK4JOXSx964503FhgzvWTtJKpOWxPFWis4vxQ/YUQykcmn4W0yEWFA+eDHy+9ag3x/YVt8FSSmR8IAZx+sXpO5+qmm98t0LLViriv5tw+nLLep3vddIx2/jXLfjXM2lLTh39Gacux/kEJKqbZD7rYMMZLakEU1RPKus22GnGU6foqPdmIt2LeLi335qhx4eho9ixJ+OfM9XC5mTuGStEjGnBJLBm4EEC7J+B7Is9vF9RZkWvEWaeI1p0qnyOamy7fqnJsvPYWz/pbJ8Svz82ow8OJJs60c/ixSBLganno6xRpzjexc7SFIr089VYIJYoc1WN517B2cqF2dmGoz0TBU61ZgVVst9vhi+XknfliR9yByPbzJl2sU2YpzcAQXfkjTnKIWwNRN4xc0P5oNXDC0ts3WGGUkAI0jgfgppo7oAv92rLkvORXXnUnjAma9Wq4uI8GWxuAhoAoYc9n5b5MC8+prhjJpr6JIADeoWYBxf8HUbedgW9v2cBLqUG0gpx3tvs09pxzbVRuLFWl8/krv1nJy588HMkcRLolS8loPbhOKoJNfLE0krYzsu5cKMkVKhGaAXiXiXl5OigtMtvclh2SSNoOVLTYJbW7JymAt2BKcuMGNA08QCFIPUOBPRFoieWDttu2zbVX+pTrv6pVd5Q7O6YUw5B0xomyY96zWEx4zi15PVHo1aC5F1et+Hw+77UAtIC6GxD0CjK8odqyhn0P6SotyoEerd6/85vf47vn3Or/+21YjFM3n/P259xjaHf0+y9PBx6HQVmmNUaA4wdLsKTU1gO44+b4523f5Zc3TzIV5XVW/H2m5L1nYex9LzijjPrry49Y+5of2OCi86z6rCyzVJClljcawJgItRAWn9CzsnUH+xm88quwLMTlr/XwswQ3tfVKw3LLc8S1S6o9rvISptz2rfRFRcb/B+RcV8hJWiMmXgSPh0ECUY6xrzIjsNMWk+7O3EpBMTpRH1XH20qnQ24tL+VLkTl8NePOqx87eKy/s6KzYfi6W6TIApFwz8SYW8zIs0UJenoDDdeXGnMC9QmMfPi4+pMcfK5v6hbIY8KAsP1mfE4BEuxjmJtG4+Ee/SuktrOcrOr4G47mA/qV/nl0CgWf3NmBL46i/v3Nl/</diagram></mxfile>