Abstrakt. Informationssystemen ställs inför motstridiga krav. Å ena sidan måste systemen vara anpassningsbara och självstyrande för att hantera snabbt föränderliga förhållanden. Å andra sidan ställer lagstiftning som Sarbanes-Oxley-lagen allt större krav på övervakningsverksamhet och övervakningsprocesser. Allteftersom processer och system blir mer flexibla ökar både behovet av och komplexiteten i övervakningen. Vårt tidigare arbete med processbrytning har främst fokuserat på processupptäckt, d.v.s. att automatiskt konstruera modeller som beskriver kunskap som utvunnits ur händelseloggar. I detta dokument presenterar vi en annan strategi som stöds av vårt ProM-ramverk och som bygger på både ett standard XML-format och tidslogik. Med tanke på en händelselogg och en egenskap, verifierar vår LTL Checker om det observerade beteendet matchar (o)förväntat/(o)önskat beteende.
Arbetet av van der Aalst et al. REF följer en annan väg och är nära relaterat till detta papper: med tanke på en händelselogg och en timlig egenskap, de verifierar om det observerade beteendet matchar (o)förväntat/(o)önskat beteende genom en skräddarsydd LTL Checker.
Process Mining and Verification of Properties: An Approach Based on Temporal Logic
{'venue': 'OTM Conferences (1)', 'journal': None, 'mag_field_of_study': ['Computer Science']}