Towards Failure Prediction in Scientific Workflows Using Stochastic Petri Nets and Dynamic Logic.
Bruno LopesDaniel de OliveiraPublished in: QUATIC (2020)
Keyphrases
- dynamic logic
- scientific workflows
- failure prediction
- modal logic
- scientific data
- web services
- reasoning about actions
- semantic annotation
- service oriented
- file system
- imperative programs
- civil engineering
- workflow systems
- first order logic
- propositional dynamic logic
- business processes
- access control
- tool wear
- machine learning