Verification of Model Transformations: A Case Study with BPEL.

Luciano Baresi Karsten Ehrig Reiko Heckel

Published in: TGC (2006)

Keyphrases

data sets
formal model
theoretical framework
web services
linear model
parameter estimation
probabilistic model
high level
state space
theoretical analysis
image segmentation
computational model
learning algorithm
mathematical model
experimental data
neural network
metamodel
real time