Verification of workflow authorization reasonability

based on business instance decomposition