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
Controllability
←
|
Overview
|
→
Operating Guideline
Start
>
Forschung
>
Übersicht
>
Partner Synthesis