High-level Verification and Validation of Software Supporting Business Processes.
Hermann KaindlPublished in: ICEIS (1) (2017)
Keyphrases
- business processes
- business process
- high level
- business applications
- enterprise systems
- business transactions
- web services
- model driven development
- process model
- source code
- business process models
- business process management
- workflow management systems
- software development
- business environment
- business rules
- competitive advantage
- development process
- inter organizational
- business analytics
- workflow management
- workflow systems
- software systems
- enterprise resource planning
- business process modeling
- case study
- process management
- software design
- model checking
- decision support
- petri net
- ws bpel
- enterprise application integration