3. Controllability

Check for the existence of a compatible service

• Absence of deadlocks, livelocks in interaction of services

Related work:

• Publications:

  • Controllability
  • Interaction Graph
  • Open Workflow Nets
  • Services

• Research:

  • Controllability

• Tools:

  • Fiona

  Tools4BPEL