Formal Modeling of Transaction Behavior in WS-BPEL.

Yanxiang He Liang Zhao Zhao Wu Fei Li

Published in: CSSE (3) (2008)

Keyphrases

ws bpel
database
modeling language
modeling framework
real world
databases
genetic algorithm
social networks
multi agent
business process
service oriented
behavior analysis
formal models
reactive systems
behavioral models