Essays about: "mathias hedqvist"

Found 1 essay containing the words mathias hedqvist.

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

    University essay from Umeå universitet/Institutionen för datavetenskap

    Author : Mathias Hedqvist; [2022]
    Keywords : linear dynamic logic on finite traces; ldlf; linear temporal logic on finite traces; ltlf; business process management; bpm;

    Abstract : 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. READ MORE