Automatic Generation of Optimized Business Process Models from Constraint-Based Specifications.
Irene BarbaCarmelo Del ValleBarbara WeberAndres Jimenez RamirezPublished in: Int. J. Cooperative Inf. Syst. (2013)
Keyphrases
- business process models
- control flow
- business process
- business processes
- data flow
- process model
- uml activity diagrams
- business rules
- automatically generate
- high level
- formal specification
- information systems
- case study
- software testing
- decision support system
- knowledge base
- model checker
- artificial intelligence
- database