Verifying Deadlock- and Livelock Freedom in an SOA Scenario.

Karsten Wolf Christian Stahl Janine Ott Robert Danitz

Published in: ACSD (2009)

Keyphrases

service oriented
service oriented architecture
web services
information systems
data sets
multi tiered
business processes
real world
machine learning
application scenarios
seamless integration
medical images
online learning
learning algorithm
model checking
puts forward
database