Translation Pattern of BPEL Process into Promela Code.

Ryosuke Nakashiro Yasutaka Kamei Naoyasu Ubayashi Shin Nakajima Akihito Iwai

Published in: IWSM/Mensura (2011)

Keyphrases

source code
web services
process model
neural network
real time
machine learning
decision making
pattern matching
description language