introduction, context, motivation, sectors, currently, used, vendors, process, improvement, business, modelling, manageme, nt, consultants, reengineering, processes, definition, management, discipline, focused, using, significant, contributor, achieving, organisations, objectives, ongoing, performance, governance, essential, instrument, organising, activities, improving, understanding, interrelationships, enacted, automatically, human, involvement, goals, effective, resources, informatio, systems, model, notation, widely, standard, development, object, languages, focus, levels, abstraction, technical, supports, complete, range, including, software, technology, primary, provide, readily, understandable, users, analysts, create, initial, drafts, developers, responsible, implementing, perform, finally, manage, monitor, statement, modern, aiming, delivering, products, efficient, manner, operate, higher, maturity, formal, semiformal, document, configure, processaware, information, however, enforce, particular, working, discussion, analysis, simulation, certification, etc, reality, tend, idealised, illustrates, importance, conformance, checking, method, uncovering, measuring, discrepancies, executions, measures, correspondence, differences, engineers, control, determining, severity, types, discrepancie, develop, technique, tool, developed, siav, italian, che, cking, following, token, replay, comparing, footprints, alignme, implemented, logs, trace, file, execute, event, observe, react, later, compare, aligned, deviance, section, optimal, alignment, gateways, inclusive, exclusive, parallel, results, duplication, complicated, split, similar, conditions, outgoing, mutually, activates, depending, terms, semantics, generates, equipped, default, flow, taken, evaluate, false, rocess, fragment, wit, incoming, normally, indicating, completion, determined, arrive, given, definite, combination, choice, specify, integrated, subsystem, doing, task, abstract, variability, enablement, depend, existing, computationally, expensive, issue, enableme, running, called, thousands, checked, tried, getting, designed, crucial, linear, data, efficiently, cost, reasons, desirable, actual, behaviour, comparison, various, proposed, recent, usually, check, ordering, ignore, functionality, aware, ability, verify, whether, workflow, conformant, constraints, correct, consider, multi, perspective, describe, expected, view, diagram, dat, credit, request, appliances, remainder, simply, referred, upper, init, ials, verificat, ion, ivit, er, brackets, acredit, etibar, ea, pete, ta, jan, eb, sue, ec, tb, feb, detect, violation, cannot, expert, assistant, mentioned, neither, nor, apart, supporting, general, implement, checker, possibility, research, questions, divided, thesis, enhance, conformanc, impleme, nting, particula, approaches, enhancing, includ, ing, reduce, related, date, based, replaying, played, distribution, temporal, encoded, demonstrates, decompositions, speed, divide, conquer, needed, diagnose, concept, investigated, et, al, validation, metric, oriented, implementation, worked, finite, state, rozinat, van, der, aalst, conform, proposes, incremental, fitness, ensured, appropriateness, analysed, respect, addressing, defined, structural, behavioural, quantification, locate, respective, areas, imperative, capture, allowed, alternative, paradigm, declarative, unlike, limitation, unless, forbidden, dimension, deviations, manifest, skipped, inserted, performed, according, occur, supposed, skipping, inserting, characteristics, severe, insertion, classical, penalize, heuristics, incorrect, estimate, therefore, correspond, adriansyah, taking, account, individual, framework, algorithm, fit, petri, doesnt, unobservable, compliance, forward, aims, design, compliant, enforced, backwards, localise, non, focuses, ramezani, taghiabadi, provided, diagnostic, instance, violated, temporary, requirements, happened, feasible, dependencies, attributes, complex, additiona, pre, processing, mainly, post, enable, tackling, explosion, abstracting, irrelevant, verification, fewer, explored, procedure, automatic, accomplished, identifying, relevant, predicates, application, obtain, knuplesch, showed, reduced, conduction, complia, nce, suggested, verifying, aspects, giving, useful, feedback, ignored, demonstrated, incorporated, visual, querying, express, regarding, services, within, query, processor, engine, mapping, formula, logic, operators, allows, expressing, formulae, future, caused, extracted, visualised, applied, proposition, sub, main, solutio, percent, parsing, operations, finding, employed, discussed, background, differe, calculatio, functio, included, kmin, smallest, returned, traditional, tagged, closed, suggest, researchers, exposed, extending, constructs, macro, extension, shown, declare, transformed, less, readable, larger, embedded, compared, reference, insights, cognitive, programming, sequential, circumstantial, further, concerns, theoretical, axioms, stating, containing, confirmed, partially, apparently, regardless, controlled, experiment, conducted, silva, interface, creation, templates, relying, combines, grounded, graphical, representation, traditiona, fail, successfully, cope, unexpected, situations, students, participated, reported, difficulties, dealing, growth, test, quality, required, adjustments, effort, adjust, concluded, easier, although, proponents, claim, evidence, observed, flexibility, causes, understandability, resulting, maintainability, contributes, investigating, impact, adoption, maintenance, exploratory, study, subjects, minor, single, challenging, failed, identify, hidden, chesani, methodology, developing, applying, prolog, due, expressiveness, complement, tested, knowledge, composed, expose, reasoning, sketched, mapped, possible, adopt, verificatio, masellis, monitoring, theoretically, requires, database, literature, propositional, community, studied, offline, expressive, satisfiability, apply, prediction, mechanism, evolutions, represents, automate, runtime, online, dynamic, extended, values, continuous, providing, timed, version, consideratio, warn, violatio, avoided, timer, spans, considered, duration, considering, beginning, completio, separate, looking, interesting, statistics, executed, infinite, amount, advantage, bps, specified, modelled, easily, specificatio, detailed, effic, ie, downside, deal, specification, period, training, familiar, specifica, tio, additional, evaluations, proposal, desired, intended, addressed, proposing, formally, activation, correlation, isnt, fully, global, variables, disconnected, converting, automaton, generated, presented, decserflow, replaced, translated, automata, converted, accepts, elements, solved, scope, graphica, properties, submitting, accepting, principle, presence, candidates, computational, latter, picked, concrete, parameter, plugin, format, independent, fulfilled, healthiness, target, questionnaire, action, eventually, followed, suitable, defining, analysing, recorded, complies, predefined, regulations, fulfilment, ratio, calculated, underlying, syntax, evaluated, separately, per, faster, increase, conclusion, capturing, detection, inconsistencies, corresponding, lacked, previous, enhancement, enhanced, graph, investigation, links, regression, expressed, include, integer, filtered, unique, missing, contribution, handled