Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems

Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems