Detecting artifact anomalies in business process specifications with a formal model.
Ching-Huey WangFeng-Jian WangPublished in: J. Syst. Softw. (2009)
Keyphrases
- formal model
- business process
- business processes
- business rules
- anomaly detection
- ws bpel
- business process modeling
- process model
- service oriented architecture
- business process models
- process mining
- web services
- workflow model
- control flow
- case study
- business process management
- specification language
- formal specification
- cloud computing
- security properties