PGA - Toolset

The toolset consist of the following:

Instruction sets:

PGLA, PGLB, PGLC, PGLD, PGLDg, PGLE, PGLEc, PGLEcw, PGLEcr, PGLEcm, PGLAu, PGLBu, PGLBg

Basic instruction sets:

• Generic
• MPP - Molecular Programming Primitives
• MPPV - MPP with Values
• HMPPV - Highlevel MPPV
• FMN - Focus Method Notation
• MSP - Molecular Scripting Primitives (extends HMPPV with instructions on values)
• MSPea - extension of MSP with eval/apply
• MSPio - extension of MSP with simple I/O
• HMPPVis - HMPPV with inverse selection

Projections/embeddings:

pglb2pgla, pglc2pglb, pgld2pglc, pgldg2pgld, pgle2pgldg, pglec2pgle, pglecw2pglec, pglecr2pglec, pglecm2pglecr, pglau2pglbu, pglbu2pglbg, pglbg2pglb

Tools:

• genparser - generic parser
• gensim - generic simulator
• prog2lts - program to labelled transition system translator
• bisim - bisimulator of labelled transition systems
• parsim - parallel simulator
• pgla-jumpopt - pgla jump optimizer
• gencompiler - generic compiler (available modules for compiling PGLEc.MSPio to PIR (Parrot Intermediate code Representation; Parrot is the virtual machine for Perl 6 that is currently being developed), and PGLEc.MSPio to CIL (Common Intermediate Language; the intermediate language voor the MS .NET Framework).
• threadsim - thread simulator

Statemachines (to be used with basic instruction set FMN):

• smbr - boolean register
• smnnr - natural number register
• smnnc - natural number counter
• smnns - natural number stack
• Console

Requirements

A machine running Unix or Linux with the following installed:

• Perl version 5.x
• Tcl/Tk version 8.x
• Tcldot - part of Graphviz from AT&T Bell Laboratories
  (version 1.5 will do, and depends on less other software than version 1.7 or higher)
• ToolBus - this is only needed for the parallel simulator and the thread simulator

Tested on

• Solaris 2.8
• Linux - RedHat 7.3, Redhat 9.0, Fedora Core 4
• Windows98 - under Cygwin
• MacOS X

There are problems with tcldot on Windows98 and MacOS X, so the graphical view of the fluid is not available there.

Copyright

This toolset is copyrighted by the University of Amsterdam, 2001-2007. But it may be used for educational purposes free of charge.

This toolset comes with absolutely no warranty. It may not be sold and only be distributed in the form as found here.

Download

You have to download the following gzipped tar-file:

• pga-1.3.tar.gz (April 11, 2007)

Install

Execute the commands

    gunzip -c pga-1.3.tar.gz | tar xf -

    cd pga-1.3

And follow the instructions in the file INSTALL.

Usage

Information on how to use the various tools can be found in the files in the directory doc in the distribution and after installation in the directory doc in the installation directory. Here, you can find the user manual in various formats, which can also be viewed online.