Sökning: "linear dynamic logic on finite traces"
Hittade 1 uppsats innehållade orden linear dynamic logic on finite traces.
1. Linear dynamic logic on finite traces in business process management : a compositional approach
Kandidat-uppsats, Umeå universitet/Institutionen för datavetenskapSammanfattning : 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
Resultatsidor:
1