Testing BPEL-based Web Service Composition Using High-level Petri Nets.

Wen-Li Dong Hang Yu Yu-Bing Zhang

Published in: EDOC (2006)

Keyphrases

petri net
high level petri nets
colored petri nets
service composition
web services
service oriented
ims ld
business processes
web service composition
process model
formal methods
business process
business process management
test cases
knowledge base
intelligent tutoring systems