Home / ProM / 6.4.1
Name Modified Size InfoDownloads / Week
Parent folder
README.txt 2015-04-15 2.5 kB
prom-6.4.1-windows-installer.exe 2015-04-15 33.7 MB
prom-6.4.1-all-platforms.zip 2015-04-15 30.4 MB
prom-6.4.1-all-platforms.tar.gz 2015-04-15 30.4 MB
Totals: 4 Items   94.6 MB 0
Java

- You need at least Java 7 to run ProM 6.4.1. Java 6 and earlier will not do.

Installation Folder

- ProM 6.4.1 installs in the user's home folder. As a result, ProM 6.4.1 files can be edited by the user. ProM 6.4 installed in the program's folder, which is typically protected against editing.
ProM
- De(serialization) of the workspace has been discontinued. We encountered too many problems with it.
- Linux (UNIX) shell scripts have been improved.
- Cancelling an import now actually cancels the import.

Package Manager

- The Package Manager now allows the user to select the amount of memory ProM may use (on Windows and Linux systems). Depending on the actual platform, the selected memory amount is stored in some files.
- The Package Manager now shows the “Not installed” tab if no packages have been installed, and selects the RunnerUpPackages package by default. As a result, if nothing has been installed yet, the user only needs to select the Install button, and the installation will be completed by downloading all appropriate packages.
- The Package Manager now also shows error messages, in case any errors have occurred while downloading and/or installing packages. In case of errors, the overlay dialog showing the status of the installation process will not close automatically, and the text will turn red to visualize the fact that there were problems.

OpenXES

- ProM 6.4.1 does not download any extensions declared in a log any more. All known extensions are preloaded, and a package can have other extensions preloaded, but an unknown extension which is declare din a log will not be downloaded. Reason for doing so is that the download does not offer any functionality, but may take much time in case of problems.

Packages

- The DivideAndConquer package has been split into two packages: DivideAndConquer and DACAlgorithms. The first package contains the models with importers, exporters, and visualizers, the second contains algorithms to get from some model to another models (converters).
- The following packages have been removed due to the use of incomptabile libraries:
  -- Declare
  -- DeclareAnalyzer
  -- DeclareChecker
  -- DeclareMiner
  -- DeclareVisualizer
  -- LTLChecker
  -- MoBuConLTL
  -- ServiceDiscovery
  -- ShortestPathAlignment
- Bugs were fixed in some packages, see the Change logs (https://svn.win.tue.nl/trac/prom/wiki/ProM641/ChangeLogs).

License

- ProM 6.4.1 is distributed under the GPL license.

Source: README.txt, updated 2015-04-15