Description: A java workflow verification model, provides a time-constrained workflow-based modeling and verification process, in the middle used to jdom, jgraph Components
File list (Check if you may need any files):
工作流\BpelSystem$1.class
......\BpelSystem$10.class
......\BpelSystem$11.class
......\BpelSystem$12.class
......\BpelSystem$13.class
......\BpelSystem$14.class
......\BpelSystem$2.class
......\BpelSystem$3.class
......\BpelSystem$4.class
......\BpelSystem$5.class
......\BpelSystem$6.class
......\BpelSystem$7.class
......\BpelSystem$8.class
......\BpelSystem$9.class
......\BpelSystem$CheckListener.class
......\BpelSystem$ConstraintCell.class
......\BpelSystem$ConstraintEdge.class
......\BpelSystem$EditListener.class
......\BpelSystem$ExecuteListener.class
......\BpelSystem$FileListener.class
......\BpelSystem$HelpListener.class
......\BpelSystem$Pair.class
......\BpelSystem$TempCell.class
......\BpelSystem.class
......\BpelSystem.java
......\delete.PNG
......\delToken.PNG
......\edge.PNG
......\new.png
......\next.PNG
......\open.PNG
......\place.PNG
......\PlaceVertex.class
......\PlaceVertex.java
......\pre.PNG
......\save.PNG
......\setTimeOff.PNG
......\setTimeOn.PNG
......\setToken.PNG
......\token.PNG
......\tranaction.PNG
......\TransactionVertex.class
......\TransactionVertex.java
工作流
Download