Sökning: "ldlf"

Hittade 1 uppsats innehållade ordet ldlf.

  1. 1. Linear dynamic logic on finite traces in business process management : a compositional approach

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

    Författare :Mathias Hedqvist; [2022]
    Nyckelord :linear dynamic logic on finite traces; ldlf; linear temporal logic on finite traces; ltlf; business process management; bpm;

    Sammanfattning : One way of modeling workflows in business process management (BPM) is by using a declarative approach, that is, instead of imperatively specifying what needs to be done, and in what order, one can specify constraints on what is allowed. The result is a more flexible model as everything that does not violate the specified constraints is allowed. LÄS MER