What is ACMgen

ACMgen is an automatic code generator for Asynchronous Communication Mechanisms. At the present time it supports the generation of C++ source code, SMV models and Petri net models of ACMs that allows re-reading or overwriting of data items or both. Next step is the generation of Verilog code.

More details about ACMs and automatic generation of ACMs can be found at Gorgonio:ATPN2007 and Gorgonio:FI2007a in the Publications section.

The code documentation (Javadoc) is also available.

Download it

ACMgen is available under the GPLv2 license and can be downloaded from SourceForge.

How to compile and install it?

You will need the following libraries to compile ACMgen:

• libcommons-cli-java (>= 1.0-6)
• libglade-java (>= 2.8.3.1-2)
• libgtk-java (>= 2.6.2-1) and
• libgtk-jni (>= 2.6.2-1)

You will also need the Eclipse tool to compile ACMgen. Extract the files from the .tar.gz file and import then into your workspace. Then compile it. everything should works fine.

How to run it?

The Debian package is installed under your /usr directory tree. The ACMgen provides a command line tool (acmgen.sh) and a GUI interface (gtkacmgen.sh).

To use the GUI, just execute the command:

 $ gtkacmgen.sh

and the following window should open into your desktop:

If you have problems, try to add the following line to the /etc/ld.so.conf file

 /usr/lib/jni

To see the command line options use:

 $ acmgen.sh -h

 usage: acmgen.sh
                   OPTION: --rrbb  | --owbb  | --owrrbb
                   ACTION: --pep | --petrify | --smv | --smvpn | --cpp

 -C,--cpp           Generates C++ code for the ACM.

 -P,--petrify       Generates input file for Petrify.

 -S,--smvpn         Generates input file for SMV with abstract model and
                   implementation.

 -b,--owrrbb        Generates a OWRRBB ACM of size , where
                   is an integer such that  > 2.

 -h,--help          Print this help message.

 -o,--owbb          Generates a OWBB ACM of size , where  is
                   an integer such that  > 2.}}}

 -p,--pep           Generates input file for PEP describing a low level
                   Petri net.

 -r,--rrbb          Generates a RRBB ACM of size , where  is
                   an integer such that  > 3.

 -s,--smv           Generates input file for SMV with abstract model.

If you have problems, please write me.

Hosted by

The ACMgen source code is hosted by SourceForge.net.