4. Partner Synthesis

Synthesis of a smallest, a most permissive or any compatible service net

• Absence of deadlocks, livelocks in interaction of services

Related work:

• Publications:

  • Controllability
  • Interaction Graph
  • Open Workflow Nets
  • Operating Guidelines
  • Services

• Research:

  • Controllability
  • Operating Guidelines

• Tools:

  • Fiona

  Tools4BPEL