Verifying Business Rules Using an SMT Solver for BPEL Processes.
Ganna MonakovaOliver KoppFrank LeymannSimon MoserKlaus SchäfersPublished in: BPSC (2009)
Keyphrases
- business rules
- business process
- business processes
- business process management
- process model
- web services
- workflow management systems
- information systems
- service oriented
- legacy systems
- fine grained
- event condition action
- business process modeling
- model checking
- machine learning
- formal specification
- formal methods
- real world
- databases
- fuzzy logic
- control system
- relational databases
- case study
- rule language
- database