Modeling and verifying BPEL using synchronized net.

Chunxiang Xu Hanpin Wang Wanling Qu

Published in: SAC (2008)

Keyphrases

colored petri nets
web services
modeling language
business processes
service oriented
petri net
business process modeling
service composition
business process
formal methods
distributed systems
case study
website
machine learning
real world
user interface
web services composition
decision making