BProVe: tool support for business process verification.
Flavio CorradiniFabrizio FornariAndrea PoliniBarbara ReFrancesco TiezziAndrea VandinPublished in: ASE (2017)
Keyphrases
- business process
- tool support
- business processes
- requirements engineering
- software development
- software engineering
- software tools
- case study
- software projects
- process model
- design decisions
- ws bpel
- workflow model
- test suite
- model checking
- business process management
- business process modeling
- service oriented architecture
- business rules
- information technology
- process mining
- business process models
- software architecture
- web services
- database