Static Detection of Logic Flaws in Service-Oriented Applications.

Chiara Bodei Linda Brodo Roberto Bruni

Published in: ARSPA-WITS (2009)

Keyphrases

service oriented
web services
highly dynamic
service oriented architecture
detection method
model driven
workflow management
service composition
object detection
service selection
service oriented computing
anomaly detection
data driven
modal logic
virtual enterprise
scientific workflows