CorrelationId

akkastrator

cause

Aborted Failure TaskAborted Aborted

color

FullTask

comapped

FullTask

compare

CorrelationId

computeCurrentBehavior

AbstractOrchestrator

computeID

AbstractOrchestrator DistinctIdsOrchestrator Orchestrator

cons

TaskComapped

consExistential

TaskComapped

createMessage

Task TaskSpawnOrchestrator

createTask

PartialTask FullTask

createTaskF

PartialTask

createTaskWith

PartialTask