High-level Verification and Validation of Software Supporting Business Processes.
Hermann KaindlPublished in: ENASE (2017)
Keyphrases
- business processes
- high level
- business process
- business applications
- enterprise systems
- business transactions
- process model
- source code
- web services
- workflow management systems
- software systems
- business environment
- competitive advantage
- business partners
- business process management
- business rules
- workflow systems
- business process models
- control flow
- business decisions
- model driven development
- business analytics
- inter organizational
- service oriented architecture
- model checking
- software design
- workflow management
- business objectives
- enterprise wide
- decision support
- ws bpel
- workflow processes
- process execution
- user interface
- petri net
- software architecture
- enterprise resource planning
- software maintenance
- software process
- data flow