Modeling and verification of Web services composition based on model transformation.

Yi Zhu Zhiqiu Huang Hang Zhou

Published in: Softw. Pract. Exp. (2017)

Keyphrases

computational model
probabilistic model
statistical model
mathematical model
modeling framework
distributed systems
model checking
experimental data
parameter estimation
verification method
domain independent
real time
probability distribution
cost function
similarity measure
neural network
data sets