introductionbusiness, process, management, science, developing, analyzing, manag, ing, processes, performed, organization, identifies, carried, measures, performance, productivity, trying, improve, re, sults, optimizing, optimization, include, cost, error, execution, reduction, nowadays, systems, information, form, event, logs, entry, business, mining, technique, goal, pro, cess, provide, meaningful, analyze, current, properly, constructed, consist, instance, activity, individual, additional, infor, mation, example, timestamp, resources, involved, used, min, types, operations, executed, discovery, primary, objective, model, prior, conformance, checking, input, checks, compliant, enhancement, extend, existing, procedure, result, improved, extended, components, deliver, taking, consideration, complexity, multiple, introduced, extract, complete, majority, methods, produce, procedural, explicitly, specifies, possible, behaviors, choices, specified, forbidden, ob, tained, spaghetti, interpret, adopted, led, development, approach, declarative, ap, proach, behavioral, constraints, meaning, striction, prohibit, allowed, compact, flexible, theaimofthethesisthe, aim, thesis, implement, repository, tools, cloud, platform, thus, allowing, users, benefit, running, extensive, tasks, easily, accessibility, independence, divided, generation, runtime, monitoring, processdiscoveryminerful, considering, adjustability, artful, representation, highly, entangled, extremely, complex, un, derstand, analysing, susceptible, therefore, de, scribe, minerful, designed, control, flow, simplification, algorithms, vali, date, discovered, disregarding, interaction, hence, contain, counter, excluding, possibility, traces, additionally, redundant, addresses, issues, automat, ically, trims, exclude, redundancies, resolves, colli, sions, automata, product, monoid, concept, assure, consistency, removal, declare, miner, phase, apriori, frequent, operates, sets, candidate, fi, nally, trimmed, satisfied, using, sequence, analysis, verbalization, verbal, declara, tive, deviance, reasons, deviated, defined, deviations, positive, negative, higher, metrics, expected, achieving, flaw, less, conclusive, smaller, amount, expenses, lower, utilization, outcome, favourable, loggenerationminerful, simulated, crucial, testing, verifying, correctness, providing, capability, implementation, provided, file, standard, translates, presented, regular, expressions, afterwards, employs, finite, state, simulate, define, length, runtimemonitoringflloat, whether, satisfy, considered, supply, proper, operational, decision, support, precise, tracking, usu, ally, delegated, verification, plugin, tech, niques, inspect, concerning, properties, confirm, mobuconltl, mobuconflloat, details, beforehand, im, occasions, incorrect, consider, participant, known, vide, functionalities, verify, compliance, translating, online, analyser, multi, perspective, evaluated, terms, aspects, data, monitor, visualizer, understandable, graphical, interface, displays, structureofthethesisthis, following, structure, section, background, introduces, discusses, evaluation, implemented, functional, processminingprocess, fundamental, improvement, separate, referred, regarding, actors, executing, needed, execute, stored, storages, databases, archives, etc, efficiency, depends, quality, analyses, treat, class, citizen, artifacts, criteria, trustworthiness, recorded, given, correct, completeness, scope, missing, semantics, clearly, described, security, aware, purpose, saving, ranges, excellent, detailed, explanations, levels, characterization, trustworthy, distinctly, outlined, ontology, au, tomatically, systematic, reliable, concerns, taken, automatically, sys, tematic, mentioned, regularly, portion, match, reality, conventional, storing, recording, handwritten, usually, tendency, output, overview, created, represented, diagram, petri, net, con, formance, applied, various, organizational, yields, discrepancies, enhance, ment, producing, clear, dis, covery, dependent, describing, options, especially, characterized, variability, alternative, languages, based, linear, temporal, logic, describe, lineartemporallogiclinear, depicts, series, progressions, reactive, conversion, propositional, formulae, characteristics, se, mantic, specification, automaton, administer, specifics, formula, syntax, illustrated, operators, represents, denotes, definition, pholds, pq, occurrence, puq, transitioned, future, eventually, abbreviation, indicates, including, weak, pwq, period, basedconstraintlanguagetraditional, workflow, spec, ify, instructions, imperative, modelling, structured, produced, planned, flexibility, modify, specifying, violated, inherently, difference, situation, prohibited, vice, versa, co, existence, template, constructs, deci, conditions, mutually, exclusive, furthermore, limited, features, automated, changing, decomposition, traditional, simplify, familiar, graphically, verity, rep, resentation, shown, completed, followed, having, response, twenty, grouped, thematic, relation, connection, negation, existencetemplatesexistence, require, single, position, cardinality, vided, subgroups, absence, designates, maximum, ac, tivity, exactly, init, notation, corresponding, fulfilled, recursively, bound, num, ber, negates, setting, upper, functions, combination, existencen, starting, absencen, exactlyn, relationtemplatesrelation, relationships, simplicity, parameters, connects, unique, rela, tionship, responded, concerned, remaining, precedence, succession, successfully, com, pletion, preceded, bi, directional, blend, alternate, cannot, twice, chain, prece, dence, strictly, rectly, negationtemplatesnegation, negated, ex, istence, stipulates, nor, logical, implication, tem, plate, precede, consolidation, implies, according, execu, tion, established, equivalence, classes, reduced, equivalent, occurred, ordering, mandatory, base, equality, succes, eventlogspecificationevent, life, solutions, instantiations, standardise, below, supported, general, called, sequential, ele, frequently, responsible, itself, attributes, miningextensiblemarkuplanguagemining, extensible, markup, main, format, meta, partial, repre, sentation, workflowlog, element, root, source, generated, docu, tag, proces, sinstance, audittrailentry, workflowmodelelement, atomic, possess, sense, duration, eventtype, values, beginning, orig, inator, identifier, performing, limitations, severe, related, handling, determine, treated, string, initially, expectation, experience, stream, troduced, xml, version, encoding, openxes, library, conforms, legacy, available, http, code, deckfour, org, program, serialization, id, selling, processinstance, receive, payment, originator, hele, requestedby, extensibleeventstreamextensible, attempt, standardization, overcome, shortcomings, predecessor, human, readable, parse, application, domains, www, processmining, _media, presentations, ppt, apprehended, extensibility, scalable, expres, sivity, generalization, loss, maxi, mum, acquired, arbitrary, portrayal, description, lifecycle, transition, float, total, integer, boolean, container, ordered, extension, nested, java, perform, serialize, generally, understood, erarchy, resents, refers, transactional, assumed, contributionthis, chapter, plat, rum, web, focus, supporting, bundles, microsoft, document, verbalizing, clude, currently, violate, lutions, replayer, mobuconldl, onlineanalyzer, declarativeprocessminingtoolsthis, minerfulthe, knowledge, extracted, statistical, formation, minerfulkb, creates, discovering, queries, duced, pendent, declareminerdeclare, writing, publicly, acces, sible, github, fableblaze, finally, achieved, inves, tigated, positioning, vacuity, detection, enabling, activated, trivially, included, devianceminerbusiness, jective, normal, deviate, behaviour, flawless, unfavourable, accepts, marked, deviant, characterizing, feedback, patterns, minerfulsimplificationdeclarative, interac, addi, tionally, verbose, hierarchical, straint, inferred, nature, occur, covered, repetitions, collisions, dundant, loggenerationthe, flloatlinear, appropriate, representing, mod, els, nonetheless, infinite, assumption, resulted, alteration, modified, noted, ltlf, bones, relevant, pre, fixes, converted, alphabet, initial, satisfiability, validity, satisfiable, accessible, valid, implicit, union, cond, onlineanalyzerthese, timely, frameworks, lin, dynamic, expressive, analyzer, ensure, intuitive, diagnostics, rea, violation, continuous, recovery, recovering, satisfying, possibly, permanently, conformant, possi, ble, beyond, satisfactory, due, mul, tiple, conflicting, conflict, feasible, terminated, transfor, openservicesgatewayinitiative, osgi, services, gateway, initiative, environment, developers, modular, software, modules, architecture, layers, abstraction, package, sharing, hiding, cycle, manages, coupling, subscribe, miningbundledevelopmentthis, port, frame, modularity, allows, started, principle, similar, bundlemanifestin, manifest, located, sented, headers, requirements, installed, clarative, symbolicname, vendor, university, tartu, manifestversion, activator, ee, ut, cs, import, factory, google, gson, classpath, lib, combinatoricslib, commons, cli, declarevisualizer, textual, ity, notified, consumed, metadata, external, dependencies, required, uniqueness, ver, bundleinputoutputto, install, scription, plugininfo, json, access, entered, objects, internalname, devel, opment, displayname, displayed, ad, ditional, optional, parametertype, text, customization, maxinputlength, characters, defaultvalue, default, numeric, decimal, minvalue, minimum, maxvalue, mal, double, decimalplaces, select, dialog, server, personal, inputtypes, predefined, selection, item, selectionitems, snippet, pa, rameters, logfile, mined, supportthreshold, threshold, cluded, false, temporary, filename, filetypes, sen, sitive, process_model, csv, bundleregistrationintorumin, register, imple, mentation, rumpluginfactory, discussed, consume, ser, folder, referenced, minerfulpluginfactory, rumpluginfacto, ryimpl, rumplugin, bundlelifecyclefigure, installation, loaded, tainer, resolved, getplugininfojson, invoked, param, eter, public, rumpluginworker, createrumpluginworker, finished, resolve, waiting, bundleactivator, implementa, void, bundlecontext, context, invokes, plementation, returned, making, invocation, int, runwork, configuration, outputparent, cepts, arguments, directory, creating, monitoringbundledevelopmentthis, moni, toring, grants, abilities, understand, analyse, conformity, achieve, replay, validate, accepting, providers, players, split, visualization, javadoc, core, html, architectural, essential, design, messaging, saging, selected, rabbitmq, message, broker, communication, distinct, motivation, choosing, rab, bitmq, programming, communicate, via, protocol, communica, independent, routing, queue, exchange, routes, producer, consumer, sumers, assigned, developed, remote, powerful, widget, toolkit, develop, adopts, desktop, programing, eclipse, rap, swt, replaying, standardized, fluents, ongoing, processed, txt, canvas, incoming, designated, area, monitoringbundleimplementationthis, runtimeverificationbundleruntime, fully, absorbs, integrate, intro, duces, rabbitmqconnection, eventmanager, stance, encouraged, reused, singleton, chosen, globally, client, defaultconsumer, manager, constructor, pass, chan, nel, channel, enables, sending, receiving, eventman, ager, overrides, handledelivery, asynchronously, delivered, consumertag, envelope, enve, lope, basicproperties, byte[], body, received, validated, formatted, deserialized, passed, patched, conformancevisualizerbundleimplementationthe, displaying, mockup, vis, ualizer, columns, played, pressing, contained, chart, bar, hover, tooltip, differs, registered, omitted, slight, closed, active, aborted, notify, visual, content, composite, posite, wrapper, processing, accesses, decided, administrator, serve, delivery, mechanisms, flowchart, trieval, delimiter, collection, checked, exists, retrieved, added, immediately, updated, newly, ceived, identifying, click, draws, evaluationthis, minerfulthis, generate, excluded, remove, inconsistent, confidence, evaluate, financial, interest, factor, crop, post, hierarchy, subsumptional, pruning, eliminates, elimi, nates, simplified, minerfulloggenerationthis, generator, capable, simulating, max, imum, per, simple, fraction, treatment, prom, plug, identical, fracture, [], declaremodelverbalizationthis, declaremodelverbalization, dotx, verbalized, flloatthis, determined, selecting, separated, removed, dot, enabled, containing, respected, impli, cation, visualized, tomaton, onlineanalyserthis, scenarios, demonstrate, sample, streamed, occurring, [send, invoice], invoice, [receive, order], [archive, [ship, products], remain, changed, vio, lated, reset, bly, affecting, indicating, sponse, poss, viol, activation, price, differentiated, matching, demo, video, youtu, conclusionin, acceptable, func, tionalities, mented, demonstrated, artificial, briefly