Automated Generation of Business Process Models using Constraint Logic Programming in Python.
Tymoteusz PaszunPiotr WisniewskiKrzysztof KluzaAntoni LigezaPublished in: FedCSIS (2019)
Keyphrases
- constraint logic programming
- business process models
- constraint solving
- business processes
- logic programming language
- business process
- logic programming
- answer set programming
- open source
- constraint programming
- programming language
- process model
- control flow
- constraint propagation
- programming paradigms
- information systems
- temporal reasoning
- constraint satisfaction problems
- global constraints
- constraint satisfaction
- proof theoretic
- orders of magnitude
- case study