Cara Menginstal TOTEM Toolbox
Wednesday, July 15, 2009 at 1:18 AM | 0 comments  
TOTEM Toolbox di PC saya, saya jalankan dengan menggunakan Ubuntu 8.04. Toolbox ini hanya bisa dijalankan di atas platform linux.

Untuk instalasi, bukalah Terminal, dan selanjutnya kita akan berinteraksi dengan ini. Langkah selanjutnya, install Java Virtual Machine. Dengan Ubuntu, kita cukup mengetikkan perintah apt-get install. Kemudian, tambahkan bin directory ke path dan atur JAVA_HOME environment variable dengan perintah:

export PATH=[JAVA-DIR]/bin:$PATH

export JAVA_HOME=[JAVA-DIR]

Setelah itu, install Ant untuk build-tool-nya. Gunakan lagi perintah apt-get install. Tambahkan bin directory ke path dan atur variabel ANT_HOME, dengan perintah.

export PATH=[ANT-DIR]/bin:$PATH

export ANT_HOME=[ANT-DIR]

Berikutnya, lakukan decompression pada TOTEM archive. Ketikkan perintah berikut.

tar -xzvf totem-.tar.gz

Lalum tambahkan junit.jar ke CLASSPATH dengan perintah:

export CLASSPATH=[TOTEM-DIR]/lib/java/junit.jar:$CLASSPATH

Nah, TOTEM sudah terinstal. Selanjutnya, bagaimana cara menjalankan toolbox ini?

Masih dalam Terminal, masuk ke direktori TOTEM. Ketikkan perintah ant clean build. Terakhir, ketikkan ./totem.sh untuk memulai GUI.
Posted by errick
TOTEM Toolbox : Loading a Domain From Network
Sunday, July 12, 2009 at 8:34 PM | 0 comments  
A domain can be loaded from a remote place either by using the corresponding scenario event (loadDistantDomainevent), either by using the GUI (use "Load Topology from network" under the "File" menu). In both cases, the server host and port should be provided. If no server is present at the given host and port, this will result in an execution error. If the server is present, the connection will be established and TOTEM will start waiting for the topology to be received.

A simple topology server is provided as an example. It is located in the class TopologyServer in the be.ac.ulg.montefiore.run.totem.core package. This server sends a given topology file to a TOTEM toolbox instance that connects to it. It has two mandatory arguments: the port on which to listen for new connections and the filename from which to read the topology.

To build the server, use the specific ant task:

ant build-toposerver

The jar file containing the server is then located in dist/toposerver.jar under the TOTEM root folder. You can start the server by using the script toposerver.sh.
Posted by errick
Visit the Site
MARVEL and SPIDER-MAN: TM & 2007 Marvel Characters, Inc. Motion Picture © 2007 Columbia Pictures Industries, Inc. All Rights Reserved. 2007 Sony Pictures Digital Inc. All rights reserved. blogger templates