Precise Steps for Choreography Modeling for SOA Validation and Verification.

Sebastian Wieczorek Andreas Roth Alin Stefanescu Anis Charfi

Published in: SOSE (2008)

Keyphrases

service oriented architecture
colored petri nets
service oriented
web services
model validation
data sets
data mining
case study
expert systems
business processes
business process
image processing
highly accurate
social networks
modeling language
face verification
modeling framework
model driven development
database