Learn More
Web applications are main applications in Internet. Before developing Web Application, a CPN (Colored Petri net) model based on workflow is constructed. By this way, the rationality of the workflow can be ensured before developing, rather than the irrationality is found during testing phases. The constructed CPN model is analyzed with CPN tools. Moreover,(More)
OpenFlow is a new protocol which enables researchers to run experimental protocols in a network without changing the network topology. In the paper, we analyze and test OpenFlow based on a formal method, such as CPN (colored Petri net). To avoid state exploration, we mainly focus on testing the interaction property of OpenFlow. According to the latest(More)
  • 1