Probabilistic Model Checking of Constraints in a Supply Chain Business Process

Computer Science

• Business Process 100%
• Uncertain Information 100%
• Supply Chain 100%
• Model Checking 100%
• Modeling Business Process 100%
• Business Process Model 50%
• Model Checking Algorithm 50%
• Corporate Activity 50%
• Case Study 50%
• Business Process Modeling 50%
• model checker 50%

Keyphrases

• Supply Chain Business Processes 100%
• Probabilistic Model Checking 100%
• Business Process 100%
• Information Uncertainty 66%
• Probabilistic Model Checker 33%
• Model Checking Tools 33%
• Stochastic Behavior 33%
• Corporate Activities 33%
• Company Goal 33%
• Procedural 33%
• Business Process Modeling 33%
• Procedural Techniques 33%
• Business Process Model 33%
• Checking Algorithm 33%
• Expressiveness 33%
• Modeling Approach 33%