VeBPRu: A Toolchain for Formally Verifying Business Processes and Business Rules.
Tuan Nguyen ThanhNhan Le ThanhHa Hoang Thi ThanhThao Ha ThiPublished in: ICIIT (2023)
Keyphrases
- business rules
- business processes
- business process
- web services
- process model
- business process models
- business applications
- workflow management systems
- business objectives
- business users
- legacy systems
- inter organizational
- active databases
- business process management
- workflow management
- information systems
- business environment
- workflow systems
- artificial intelligence
- mobile agents
- case study