Sökning: "Arvid Bergman Thörn"

Hittade 1 uppsats innehållade orden Arvid Bergman Thörn.

  1. 1. IMPERATIVE MODELS TO DECLARATIVE CONSTRAINTS : Generating Control-Flow Constraints from Business Process Models

    Kandidat-uppsats, Umeå universitet/Institutionen för datavetenskap

    Författare :Arvid Bergman Thörn; [2023]
    Nyckelord :Business Process Management; Imperative modelling; Declarative constraints; Conformance checking; Process querying; Process Mining;

    Sammanfattning : In complex information systems, it is often crucial to evaluate whether a sequence of activities obtained from a system log complies with behavioural rules. This process of evaluation is called conformance checking, and the most classical approach to specifying the behavioural rules is in the form of flow chartlike process diagrams, e.g. LÄS MER