Login / Signup
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