BPMN to CLTS Transformation
Module to transform BPMN2 diagram in Choreography LTS model. The CLTS model is an intermediate model that specifies the source and target state from which a task is initiated and terminated, the corresponding transition and enabling condition. This intermediate model allows the synthesis processor to automatically infer the information needed for enabling distributed coordination at run time.
- bpmn2clts()
bpmn2clts interact with internal and external components through REST API.