SIMULATOR manual page
Table of Contents

Name

simulator - interactive simulator with ASCII command-line interface

Synopsis

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

or:

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

or:

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

or:

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

or:

lotos.open [lotos_opt] spec[.lotos] [cc_opt] simulator

or:

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

Description

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

It performs an infinite interpreter loop, reading commands on the standard input, executing these commands, and printing the result on the standard output.

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 typing "help" or "?".

Options

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

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 lotos_opt, if any, are passed to caesar and to caesar.adt .

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.

Author

Hubert Garavel (INRIA Rhone-Alpes)

Operands

spec.bcg
BCG graph (input)

spec.exp
network of communicating LTSs (input)

spec.lts
FSP specification (input)

spec.lnt
LNT specification (input)

spec.lotos
LOTOS specification (input)

spec.seq
sequence file (input)

Files

The source code of this tool is available in file $CADP/src/open_caesar/{simulator.c,simulator.i}

See Also

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

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