Hybrid Model-Based Diagnosis of Web Service Compositions.
Zhichun JiaRong ChenPublished in: AAAI (2013)
Keyphrases
- model based diagnosis
- web service compositions
- model based reasoning
- discrete event systems
- consistency based diagnosis
- dynamic systems
- fault localization
- diagnostic reasoning
- digital circuits
- physical systems
- web service composition
- web services
- constraint programming
- service composition
- quality of service
- diagnostic systems
- qualitative models
- failure diagnosis
- hardware designs
- search algorithm
- petri net
- diagnostic process
- fault models
- model checking