XSIMULATOR manual page
Table of Contents

Name

xsimulator - interactive simulator with X-windows interface

Important Note

The xsimulator tool is a small, simple simulator with very limited capabilities. It is only available on Unix systems and cannot be ported to Windows easily. It is advised to migrate to the ocis simulation tool, which provides advanced capabilities and is available for both Unix and Windows platforms.

Synopsis

bcg_open [bcg_opt] spec[.bcg] [cc_opt] xsimulator

or:

caesar.open [caesar_opt] spec[.lotos] [cc_opt] xsimulator

or:

exp.open [exp_opt] spec[.exp] [cc_opt] xsimulator

or:

fsp.open [fsp_opt] spec[.lts] [cc_opt] xsimulator

or:

lnt.open [lnt_opt] spec[.lnt] [cc_opt] xsimulator

or:

seq.open [seq_opt] spec[.seq] [cc_opt] xsimulator

Description

This program provides interactive simulation for the BCG graph spec.bcg, the LOTOS program spec.lotos, the composition expression spec.exp, the FSP program spec.lts, the LNT program spec.lnt, or the sequence file spec.seq.

A stack is used to maintain the execution sequence starting from the initial state and leading to the current state, thus making backtrack possible.

The list of available commands can be obtained by clicking on the "help" button.

The Xsimulator window

Options

The options bcg_opt, if any, are passed to bcg_lib .

The options caesar_opt, if any, are passed to caesar and to caesar.adt .

The options exp_opt, if any, are passed to exp.open .

The options fsp_opt, if any, are passed to fsp.open .

The options lnt_opt, if any, are passed to lnt.open .

The options seq_opt, if any, are passed to seq.open .

The options cc_opt, if any, are passed to the C compiler.

Exit Status

Exit status is 0 if everything is alright, 1 otherwise.

Diagnostics

When the source is erroneous, error messages are issued.

Authors

Version 1.* of Xsimulator was developed using the X11 library by Frederic Rocheteau and Hubert Garavel (INRIA Rhone-Alpes). This version is no longer distributed.

Version 2.* of Xsimulator was developed by Mark Jorgensen, and further improved by Jean-Michel Frume and Hubert Garavel.

Operands

spec.bcg
BCG graph (input)

spec.exp
network of communicating LTSs (input)

spec.lotos
LOTOS specification (input)

spec.lts
FSP specification (input)

spec.lnt
LNT specification (input)

spec.seq
sequence file (input)

Files

The binary code of this tool is available in file $CADP/bin.`arch`/xsimulator.a

See Also

OPEN/CAESAR Reference Manual, bcg_open , bcg , caesar.open , caesar , caesar.adt , exp.open , fsp.open , lnt.open , seq.open , ocis

Additional information is available from the CADP Web page located at http://cadp.inria.fr

Directives for installation are given in files $CADP/INSTALLATION_*.

Recent changes and improvements to this software are reported and commented in file $CADP/HISTORY.

Bugs

Please report new bugs to Hubert.Garavel@inria.fr


Table of Contents