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