Consistently Formalizing a Business Process and its Properties for Verification: A Case Study.
Michael RathmairRalph HochHermann KaindlRoman PoppPublished in: PoEM (2015)
Keyphrases
- business process
- business processes
- case study
- business rules
- process model
- business process modeling
- business process management
- process mining
- web services
- service oriented architecture
- ws bpel
- workflow model
- workflow technology
- business process models
- design methodology
- virtual organization
- model checking
- decision support system
- information systems