Tutorial

In this tutorial we describe the basic concepts and steps necessary to work with Petruchio.

We start by launching the Petruchio executable. The IDE will open up, looking like this:

The IDE is empty as no project has been created so far. In this tutorial we do not start from scratch. We simply import the example package as a project to get a feeling for petruchio.

It contains a project containing several examples. To import the examples-package right click on the project in the package explorer and then choose import. The import wizard opens up. Here we choose “Existing Projects into Workspace” and then click “Next”. Now we can choose the source to import from. As the examples-package is an archive file, we have to switch from “root directory” selection to archive selection. Now browse for the examples file. After choosing an archive file, make sure the check-box in the “Projects”-box is selected.

The finish button exits the wizard. We have now imported the example project from the archive to the workspace. As this is a beginners tutorial, we start with a very simple example, a simple Client-Server communication. Opening the Client-Server directory in the examples project, you will find various different (precompiled) files. Our starting point is the π-Calculus. Specifiactions formulated in the π$$-Calculus are typically written by the user and reside in a file with the extension .pi . In the Client-Server directory there already is a specificaton. So we can start working with it.