A Way to Model Flow Construct and Its Three Properties Verification for BPEL Specification.

Gongyuan Zhang Bixin Li

Published in: APSCC (2010)

Keyphrases

cost function
computational model
colored petri nets
probabilistic model
management system
mathematical model
web services
high level
experimental data
data sets
probability distribution
theoretical analysis
theoretical framework
petri net
formal model
formal methods