Beyond Goal Representation: Checking Goal-Satisfaction by Temporal Reasoning with Business Processes.

Choong-Ho Yi, Paul Johannesson

Browse the full CaiSE paper archive.