Static analysis and process model transformation for an advanced business process to Petri net mapping.
Thomas S. HeinzeWolfram AmmeSimon MoserPublished in: Softw. Pract. Exp. (2018)
Keyphrases
- process model
- static analysis
- petri net
- business process
- business processes
- process mining
- source code
- business process models
- regular expressions
- web services
- test suite
- web service composition
- event logs
- software process
- control flow
- business rules
- workflow systems
- business process management
- service oriented architecture
- service composition
- workflow technology
- business process modeling
- workflow model
- case study