文件名称:WebjetChecker
- 所属分类：
- JSP源码/Java
- 资源属性：
- [Java] [源码]
- 上传时间：
- 2012-11-26
- 文件大小：
- 10.24mb
- 下载次数：
- 0次
- 提 供 者：
- 李*
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
这是我们参加06年全国开源软件的竞赛作品，已经在SourceForge上开源，是一个针对BPEL的形式化验证工具-This is our country take part in open-source software in 2006 race works, has been on the SourceForge open source, is a response to the Formal Verification of BPEL tools
(系统自动生成,下载前可以参看下载内容)
下载文件列表
config
......\config.xml
edu
...\hunnu
...\.....\webjetchecker
...\.....\.............\ActivityMap.java
...\.....\.............\ActivityMatch.java
...\.....\.............\Agent.java
...\.....\.............\Bpel.java
...\.....\.............\config
...\.....\.............\......\Config.java
...\.....\.............\convert
...\.....\.............\.......\Bpel2Pi.java
...\.....\.............\.......\Bpel2PiTop.java
...\.....\.............\.......\Bpel2RemarkPi.java
...\.....\.............\.......\pi2RemarkPi.java
...\.....\.............\.......\Remark_Pi2Bpel.java
...\.....\.............\convert_interface
...\.....\.............\.................\Bpel2Pi_inter.java
...\.....\.............\.................\pi2RemarkPi_inter.java
...\.....\.............\.................\Remark_Pi2Bpel_inter.java
...\.....\.............\MyFile.java
...\.....\.............\propertytest
...\.....\.............\............\Bisimulation.java
...\.....\.............\............\PropertyExamine.java
...\.....\.............\............\Prover.java
...\.....\.............\TransBpel.java
...\.....\.............\viewer
...\.....\.............\......\prover
...\.....\.............\......\......\ResultViewer.java
...\.....\.............\......\welcome
...\.....\.............\......\.......\images
...\.....\.............\......\.......\......\applic.gif
...\.....\.............\......\.......\......\bisimulation.gif
...\.....\.............\......\.......\......\excute.gif
...\.....\.............\......\.......\......\help.gif
...\.....\.............\......\.......\......\return.gif
...\.....\.............\......\.......\......\seePi.gif
...\.....\.............\......\.......\......\select.gif
...\.....\.............\......\.......\......\setPath.gif
...\.....\.............\......\.......\......\spec.gif
...\.....\.............\......\.......\......\testProttery.gif
...\.....\.............\......\.......\......\trans.gif
...\.....\.............\......\.......\......\welcome.gif
...\.....\.............\......\.......\......\yuanli.gif
...\.....\.............\......\.......\TabbedPane.java
examples
........\Application.xml
........\Bisi_Application.xml
........\Bisi_Specific.xml
........\ex1-Special.pi
........\ex1-Special.pi.bak
........\ex2-Special.pi
........\ex3-Special.pi.bak
........\Property_bank_no.xml
........\Property_bank_yes.xml
........\Special.pi.bak
........\Specific.xml
........\新建 文本文档.txt.bak
mwb
...\action.sig
...\action.sig.bak
...\action.str
...\action.str.bak
...\agent.sig
...\agent.str
...\base.sml
...\bin
...\...\ml-burg.bat
...\...\ml-lex.bat
...\...\ml-yacc.bat
...\...\sml-cm.bat
...\...\sml.bat
...\bisimulation
...\buildit.sml
...\CM
...\..\DEPEND
...\..\......\action.sig
...\..\......\action.str
...\..\......\agent.sig
...\..\......\agent.str
...\..\......\base.sml
...\..\......\commands.sig
...\..\......\commands.str
...\..\......\cond.sig
...\..\......\cond.str
...\..\......\env.sig
...\..\......\env.str
...\..\......\eqrel.sig
...\..\......\eqrel.str
...\..\......\equiv.sig
...\..\......\equiv.str
...\..\......\faction.sig
...\..\......\faction.str
...\..\......\fagent.sig
...\..\......\fagent.str
...\..\......\flags.sml
...\..\......\fusionsem.sig
...\..\......\fusionsem.str
......\config.xml
edu
...\hunnu
...\.....\webjetchecker
...\.....\.............\ActivityMap.java
...\.....\.............\ActivityMatch.java
...\.....\.............\Agent.java
...\.....\.............\Bpel.java
...\.....\.............\config
...\.....\.............\......\Config.java
...\.....\.............\convert
...\.....\.............\.......\Bpel2Pi.java
...\.....\.............\.......\Bpel2PiTop.java
...\.....\.............\.......\Bpel2RemarkPi.java
...\.....\.............\.......\pi2RemarkPi.java
...\.....\.............\.......\Remark_Pi2Bpel.java
...\.....\.............\convert_interface
...\.....\.............\.................\Bpel2Pi_inter.java
...\.....\.............\.................\pi2RemarkPi_inter.java
...\.....\.............\.................\Remark_Pi2Bpel_inter.java
...\.....\.............\MyFile.java
...\.....\.............\propertytest
...\.....\.............\............\Bisimulation.java
...\.....\.............\............\PropertyExamine.java
...\.....\.............\............\Prover.java
...\.....\.............\TransBpel.java
...\.....\.............\viewer
...\.....\.............\......\prover
...\.....\.............\......\......\ResultViewer.java
...\.....\.............\......\welcome
...\.....\.............\......\.......\images
...\.....\.............\......\.......\......\applic.gif
...\.....\.............\......\.......\......\bisimulation.gif
...\.....\.............\......\.......\......\excute.gif
...\.....\.............\......\.......\......\help.gif
...\.....\.............\......\.......\......\return.gif
...\.....\.............\......\.......\......\seePi.gif
...\.....\.............\......\.......\......\select.gif
...\.....\.............\......\.......\......\setPath.gif
...\.....\.............\......\.......\......\spec.gif
...\.....\.............\......\.......\......\testProttery.gif
...\.....\.............\......\.......\......\trans.gif
...\.....\.............\......\.......\......\welcome.gif
...\.....\.............\......\.......\......\yuanli.gif
...\.....\.............\......\.......\TabbedPane.java
examples
........\Application.xml
........\Bisi_Application.xml
........\Bisi_Specific.xml
........\ex1-Special.pi
........\ex1-Special.pi.bak
........\ex2-Special.pi
........\ex3-Special.pi.bak
........\Property_bank_no.xml
........\Property_bank_yes.xml
........\Special.pi.bak
........\Specific.xml
........\新建 文本文档.txt.bak
mwb
...\action.sig
...\action.sig.bak
...\action.str
...\action.str.bak
...\agent.sig
...\agent.str
...\base.sml
...\bin
...\...\ml-burg.bat
...\...\ml-lex.bat
...\...\ml-yacc.bat
...\...\sml-cm.bat
...\...\sml.bat
...\bisimulation
...\buildit.sml
...\CM
...\..\DEPEND
...\..\......\action.sig
...\..\......\action.str
...\..\......\agent.sig
...\..\......\agent.str
...\..\......\base.sml
...\..\......\commands.sig
...\..\......\commands.str
...\..\......\cond.sig
...\..\......\cond.str
...\..\......\env.sig
...\..\......\env.str
...\..\......\eqrel.sig
...\..\......\eqrel.str
...\..\......\equiv.sig
...\..\......\equiv.str
...\..\......\faction.sig
...\..\......\faction.str
...\..\......\fagent.sig
...\..\......\fagent.str
...\..\......\flags.sml
...\..\......\fusionsem.sig
...\..\......\fusionsem.str