On-the-Fly Detection Approach of Control Dependency Deadlocks in BPEL.
Na DengDesheng LiChangbao LiJunliang ChenChuanchang LiuPublished in: ICWS (2011)
Keyphrases
- web services
- control system
- business processes
- detection algorithm
- formal methods
- business process
- service oriented
- detection method
- automatic detection
- object detection
- control strategy
- event detection
- detection accuracy
- false alarms
- service composition
- false positives
- data model
- detection rate
- data acquisition
- manufacturing systems
- optimal control
- control method
- peer to peer
- multi agent systems