Sign in
Verifying the Concurrent Properties in BPEL Based Web Service Composition Process.
Bixin Li
Shunhui Ji
Dong Qiu
Hareton Leung
Gongyuan Zhang
Published in:
IEEE Trans. Netw. Serv. Manag. (2013)
Keyphrases
</>
process model
web services
database
service oriented
information systems
business process management
databases
neural network
data mining
information retrieval
artificial intelligence
business process
desirable properties
colored petri nets