Probabilistic Model Checking of Constraints in a Supply Chain Business Process.
Tamara MendtCarsten SinzOlga TveretinaPublished in: BIS (2011)
Keyphrases
- supply chain
- model checking
- business process
- business processes
- temporal logic
- supply chain management
- model checker
- inter organizational
- formal verification
- finite state
- process model
- formal specification
- lead time
- web services
- formal methods
- bayesian networks
- decision making
- business process management
- business rules
- case study
- service level
- information flow
- service oriented architecture
- artificial intelligence
- constraint programming