OCIS manual page
Table of Contents

Name

ocis - Open/Caesar Interactive Simulator

Synopsis

bcg_open [bcg_opt] spec[.bcg] [cc_opt] ocis [ocis_opt]

or:

caesar.open [caesar_opt] spec[.lotos] [cc_opt] ocis [ocis_opt]

or:

exp.open [exp_opt] spec[.exp] [cc_opt] ocis [ocis_opt]

or:

fsp.open [fsp_opt] spec[.lts] [cc_opt] ocis [ocis_opt]

or:

lnt.open [lnt_opt] spec[.lnt] [cc_opt] ocis [ocis_opt]

or:

seq.open [seq_opt] spec[.seq] [cc_opt] ocis [ocis_opt]

Description

OCIS (Open/Caesar Interactive Simulator) is an interactive, graphical simulator for the CADP toolset. OCIS enables visualization and error detection during the design phase of systems containing parallelism and asynchronous communication between tasks.

OCIS was designed to be language-independent as much as possible and should therefore be usable for any specification language or formalism interfaced with the Open/Caesar API (version 1 or 2). For instance, to be simulated using OCIS, a system may be either specified as a BCG graph spec.bcg, a LOTOS program spec.lotos, a composition expression spec.exp, an FSP program spec.lts, a LNT program spec.lnt, or a sequence file spec.seq.

The main features of OCIS are:

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.

The following options ocis_opt are currently available:

-tty
Launch OCIS in non-graphical mode.

General Overview of Ocis Graphical User-interface

The main window of OCIS is divided as follows (from top to bottom):

Navigation through the entries of this menu may be done by using the mouse or using "tab" and the "space key" for selecting the button.

Main window of OCIS

Views

History Sub-window

It is the upper part of the OCIS window. It is dedicated to the visualization of the scenario being simulated. There are three visualization modes: the MSC view, the TEXT view, and the TREE view. Each of these views is activated through a thumbnail-index.

Mouse interactions: In each of the three views, clicking on a transition with the left button of the mouse permits to go back to this transition. In both TEXT and MSC views, clicking on the right button of the mouse will popup a menu giving information and source capabilities.

The MSC view

The TEXT view

The TREE view

Transition Sub-window

It is the lower part of the OCIS window. It displays the list of transitions that can be fired from the current state. There are two visualization modes: the MSC view, and the TEXT view.

Mouse interactions: In both MSC and TEXT views, clicking on a transition with the left button of the mouse permits to put this transition in the history window (i.e. follow the transition). Clicking on the right button of the mouse will popup a menu giving information and source capabilities.

Menus

The menu and buttons bars

The following subsections describe each menu entry of OCIS.

File

Edit

Motion

Window

Options

Help

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)

*.bcg
scenario files in BCG format (input/output)

*.ps
PostScript files for printer (output)

Files

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

Auxiliary files are located in directory $CADP/src/ocis

Authors

Ordered alphabetically: Moez Cherif, Hubert Garavel, Bruno Hondelatte, Pierre-Alexandre Kessler, Frederic Perret.

Ocis benefited from the suggestions of Radu Mateescu and Nicolas Zuanon.

See Also

OPEN/CAESAR Reference Manual, bcg_open , bcg , caesar.open , caesar , caesar.adt , exp.open , fsp.open , lnt.open , 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 bugs to Hubert.Garavel@inria.fr


Table of Contents