LTL-põhise vastavuskontrolli integreerimine protsessikaeve rakendusse RuM
| dc.contributor.advisor | Maggi, Fabrizio Maria, juhendaja | |
| dc.contributor.advisor | Alman, Anti, juhendaja | |
| dc.contributor.author | Kadalipp, Kaspar | |
| dc.contributor.other | Tartu Ülikool. Loodus- ja täppisteaduste valdkond | et |
| dc.contributor.other | Tartu Ülikool. Arvutiteaduse instituut | et |
| dc.date.accessioned | 2023-09-14T07:39:27Z | |
| dc.date.available | 2023-09-14T07:39:27Z | |
| dc.date.issued | 2021 | |
| dc.description.abstract | Bakalaureuse töö käigus täiendati protsessikaeve rakenduse RuM funktsionaalsust. RuM on deklaratiivse protsessikaeve metoodikaid kasutav raamistik. Lisatav funktsionaalsus on LTL keelel põhinev vastavuskontrolli metoodika, mis võimaldab analüüsida oluliselt kee-rukamaid protsesse, kui olemasolev vastavuskontroll. Vastavuskontrolli põhimõte on protsessi eeldatava ja tegeliku käitumise võrdlemine ning sellest saadud info põhjal protsessi parendamine. Soovitava funktsionaalsuse saavutamiseks integreeriti antud töös rakendusse RuM ra-kenduse ProM pistikmoodul LTL Checker. Lisatud pistikmooduli kujundust tuli muuta, et see sobituks olemasoleva rakenduse kujundusega. Prototüübi loomisel kasutati kujundusplatvormi Adobe XD. Töös on kirjeldatud kasutajaliidese kujundamise protsessi ning tehtud algust reaalse implementatsiooniga. Tulemusena muutub pistikmooduli funktsionaalsuse kasutamine rohkem võimalusi pakkuvaks ning kasutajale mugavamaks. | et |
| dc.identifier.uri | https://hdl.handle.net/10062/92176 | |
| dc.language.iso | est | et |
| dc.publisher | Tartu Ülikool | et |
| dc.rights | openAccess | et |
| dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 International | * |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
| dc.subject | Protessikaeve | et |
| dc.subject | protsessianalüütika tööriist | et |
| dc.subject | LTL Checker | et |
| dc.subject | vastavuskontroll | et |
| dc.subject | kasutajaliidese disain | et |
| dc.subject.other | bakalaureusetööd | et |
| dc.subject.other | informaatika | et |
| dc.subject.other | infotehnoloogia | et |
| dc.subject.other | informatics | et |
| dc.subject.other | infotechnology | et |
| dc.title | LTL-põhise vastavuskontrolli integreerimine protsessikaeve rakendusse RuM | et |
| dc.type | Thesis | et |