Domain-specific language

  1. Static analysis helped detect and repair workflow defects