All Stories

  1. Detecting violation of business constraints in declarative process execution: a case study
  2. Constraint-based reasoning on declarative process execution