Table of Contents
fsp.open - OPEN/CAESAR connection for the FSP language
fsp.open
[
-root root-process] [
-silent |
-verbose] [
-version] [
exp_options]
filename[
.lts]
[
cc_options]
prog[
.a|
.c|
.o] [
prog_options]
Taking as input
filename.lts
(which describes a process in the FSP language of Magee & Kramer, Imperial
College, London) and an OPEN/CAESAR program
prog[
.a|
.c|
.o],
fsp.open operates
as follows:
- First, it translates filename.lts into an EXP.OPEN network of
automata filename.exp, using fsp2lotos
and svl
. See fsp2lotos
for more information.
- Second, it calls ``exp.open filename.exp [cc_options]
prog[.a|.c|.o] [prog_options]'', passing to exp.open appropriate options that depend
on the options passed to fsp.open (see below). See exp.open
for more
information.
However, if prog is the "-" string (instead of the name of an OPEN/CAESAR
application program), fsp.open will execute only the first step (translation
into an EXP.OPEN network of automata) and then stop without invoking exp.open.
In such case, the files generated during the first step are not removed,
thus allowing the generated EXP.OPEN network of automata to be used for
other purpose than OPEN/CAESAR.
- -root root-process
- Use the process
root-process as the main process. This option is passed to fsp2lotos
.
See fsp2lotos
for more information.
- -silent
- Execute silently. This
option is passed to exp.open
and svl
. See exp.open
and
svl
for more information.
- -verbose
- Report activities and progress,
including errors and messages emitted by auxiliary tools, to the user's
screen. This option is passed to exp.open
and svl
. See exp.open
and svl
for more information.
- -version
- Display the version number
of fsp2lotos
and stop.
- exp_options
- if any, are passed to exp.open
.
- cc_options
- if any, are passed to the C compiler.
- prog_options
- if any, are
passed to prog.
- filename.lts
- FSP specification (input)
- prog.a
- exploration
module (archive, input)
- prog.c
- exploration module (source, input)
- prog.o
- exploration module (object code, input)
- prog
- executable program (output)
- $CADP_TMP/fsp.*
- temporary files
- $CADP/lib/FSP_V1.lib
- FSP predefined
library (LOTOS code)
- $CADP/incl/FSP_V1.h
- FSP predefined library (C code)
When the source is erroneous, error messages are issued. Exit
status is 0 if everything is alright, 1 otherwise.
Remi Herilier
and Frederic Lang (INRIA Rhone-Alpes).
exp
, exp.open
,
fsp2lotos
, lotos
, svl
, svl-lang
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.
Please report any bug to [email protected]
Table of Contents
