ProM 6 getting started
This page shows how to get started with ProM 6, which includes the ProM 6 Package Manager and XESame. First, the Installation page shows where to download ProM 6 and how to install it properly. The next three pages explain the user interfaces for ProM 6, ProM 6 Package Manager, and XESame.
In case you have questions or comments related to ProM 6, we advice you to visit the ProM forum. As an alternative, you can also send a message to the ProM users mailing list. For both the forum and the mailing list, you might want to register yourself first. To register on the forum, you can select the “Apply for membership” button on the forum home page. To register on the mailing list, you can subscribe yourself on the ProM-users Info page.
This page shows how to install ProM 6. First, the download section shows where to download ProM 6 and which files the download contains. Second, The first-steps section shows you which steps to take first. These steps ensure that you will have the proper collection of plug-ins installed in ProM 6, and should be performed before you start ProM 6. Last, the troubleshooting section shows you some details on the plug-in installation that might help you fixing possible problems.
ProM 6 user interface
The figure below shows the user interface of ProM 6. This section explains the basic features of this user interface by explaining the different objects in this interface. To do so, the figures in this section (and the next two sections) assigns a character (from A to Z) to every object, and explain the use of every object. For example, the figure assigns A, B, and C to the main tabs, which allow you to choose from the different views, as is explained below.
; A : The "Workspace" tab brings you to the workspace view. ; B : The "Action" tab brings you to the action view. ; C : The "View" tab brings you to the view view.
ProM 6 Package Manager
; A : The "Up to date" tab shows the packages in the package pool (F) that are installed and up-to-date. ; B : The "Out of date" tab shows the packages in the package pool (F) that are installed but out of date (a newer version of such a package is available). ; C : The "Not installed" tab shows the packages in the package pool (F) that have not been installed. ; D : The "Selection" tab allows you to view selected packages (see (K) and (L)) in the package pool (F). ; E : The sorting buttons sort the packages in the packages pool (G). The left button allows you to sort them on the package name and the right button on the author name. ; F : The package pool shows the appropriate (through tabs (A) to (D)) packages in the appropriate order (see (E)). The user can select multiple packages in this list. ; G : A selected package. The package view pane (H) shows details on this package if it is the only one which is selected. ; H : The package view pane. Shows details on the (only) selected package. ; I : An image related to the (only) selected package, if available, with additional details such as package name, author name, version, and description. ; J : The "Install" button installs the latest version of the selected package(s), the "Update" button updates the selected package(s) to the latest version, and the "Remove" button removes (uninstalls) the selected package(s). ; K : The "Show parents" button brings you to the "Selection" tab (D) showing the parent packages of the (only) selected package, that is, the packages that the (only) selected package depends on. Installing a package will also install its uninstalled parents. ; L : The "Show children" button brings you to the "Selection" tab (D) showing the child packages of the (only) selected package, that is, the packages for which the (only) selected package is a parent. Removing a package will also remove its
; M : The memory selection bar lets you select how much memory Java may use for running ProM. If you select, for example, the "4 GB" option, then the next time ProM will start it may use 4 GB of memory.
XESame user interface
; A : The "Configuration" tab brings you to the configuration view. ; B : The "Mapping" tab brings you to the mapping view. ; C : The "Action" tab brings you to the action view. ; D : The "New" button creates a new mapping. ; E : The "Open" button imports a mapping from file. ; F : The "Save" button exports a mapping to file. ; G : The "Save as" button exports a mapping to another file. ; H : The "Help" button shows some help on XESame 1.x.