CMC-UMC: a framework for the verification of abstract service-oriented properties.

Maurice H. ter Beek Franco Mazzanti Stefania Gnesi

Published in: SAC (2009)

Keyphrases

service oriented
model driven
service oriented architecture
web services
loose coupling
collaborative learning
highly dynamic
workflow management