ProM开发指北2——环境设置

以下内容引用：GettingStarted – prom

ProM是基于Eclipse开发的，JDK建议使用1.8版本，同时ProM使用Subclipse进行版本控制，使用Ivy进行依赖管理，因此基于ProM开发需要准备好以上的工具。

安装Subclipse：Help -> Install New Software -> Add … -> ​https://dl.bintray.com/subclipse/releases/subclipse/latest/

安装IvyDE： Help -> Install New Software -> Add … -> ​http://www.apache.org/dist/ant/ivyde/updatesite

入门ProM开发，建议使用其提供的GettingStarted包，这个包提供了一个开发模板。

在Eclipse中，现在File->New->Other->找到从SVN检出->Next->Create a new repository location Next>输入：prom - Revision 45726: /Packages/GettingStarted/Trunk->选择Trunk并Finish。之后等到项目检出完成。

检出完成之后，项目中找到ProM Package Manager.launch右击运行，等待ProM管理器运行界面，之后在NotInstalled找到Runner Up Packages，点击install安装。

等待安装完成