A Formal Approach to Error Localization and Correction in Service Compositions.

Julia Krämer Heike Wehrheim

Published in: STAF Workshops (2016)

Keyphrases

service compositions
error detection
localization error
error analysis
error rate
service providers
error correction
web services
machine learning
database
error bounds
artificial intelligence
formal model
service composition
formal methods
approximation error
linear complexity
formal language
accurate localization