Model Transformation Based Verification of Web Services Composition.

Yanping Yang QingPing Tan Yong Xiao

Published in: GCC (2005)

Keyphrases

high level
neural network
probabilistic model
prior knowledge
mathematical model
probability distribution
management system
computational model
cost function
em algorithm
formal model