Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions.

Manuel Palomo-Duarte Antonio García-Domínguez Inmaculada Medina-Bulo

Published in: ECOWS (2008)

Keyphrases

ws bpel
dynamic environments
neural network
information systems
database systems
real world
machine learning
web services
decision trees
generation process