Implementing a Transformation from BPMN to CSP+T with ATL: Lessons Learnt.
Aleksander GonzálezLuis Eduardo MendozaManuel I. CapelMaría A. PérezPublished in: IVM/FTMDD/RTSOABIS/MSVVEIS (2011)
Keyphrases
- business processes
- constraint satisfaction problems
- business process
- multi agent systems
- model checking
- model driven
- business process models
- arc consistency
- temporal logic
- alternating time temporal logic
- constraint satisfaction
- process model
- databases
- efficient implementation
- constraint propagation
- constraint programming
- decomposition methods
- branch and bound
- linear transformation
- constraint solving
- arc consistency algorithm
- cooperative