A Decentralized Model-Based Diagnosis for BPEL Services.
Yingmin LiLina YePhilippe DagueTarek MellitiPublished in: ICTAI (2009)
Keyphrases
- model based diagnosis
- web services
- service oriented
- service composition
- repair actions
- discrete event systems
- web services composition
- diagnostic reasoning
- service oriented architecture
- consistency based diagnosis
- model based reasoning
- dynamic systems
- web service composition
- petri net
- physical systems
- fault localization
- service discovery
- digital circuits
- formal methods
- constraint programming
- service selection
- business processes
- hardware designs
- composite services
- fault models
- business process
- cooperative
- failure diagnosis
- multi agent
- business process management
- model checking
- peer to peer
- service description
- service delivery
- business process modeling
- colored petri nets
- diagnostic process
- complex systems
- decision support system
- distributed systems