[T2] =============================================== AMAST Links 01 03

TOPO: Toolset to support product realization from LOTOS specifications

   The _full version_ of this announcement is available at
URL: http://www.cs.utwente.nl/data/amast/links/v01/i03/full/TOPOt.txt

  Release 3R5 of TOPO tool set is available from the Lotos Tools
Development Team, topo@dit.upm.es, Dept. Ingenieria Telematica,
Technical University of Madrid & E.T.S.I. Telecomunicacion,
Ciudad Universitaria, E-28040  Madrid, SPAIN, by _anonymous ftp_ at
URL: ftp://ftp.dit.upm.es/pub/lotos/tools/TOPO_3R5/
  TOPO is distributed as free software for non-profit use,
or may by special arrangement be obtained commercially.
  *TOPO, the toolset:* TOPO is really a bunch of tools to help in 
design with LOTOS.  Every tool is conformant to IS 8807, the 
ISO standard, and most deal with full LOTOS. 
  *Applications*
 o  Rapid prototyping.
 o  Validation.
 o  Specification animation.
 o  Specification validation by running test suites.
 o  Product realization.
  *Tool summary:*
 o  syntax checker
 o  pretty printer (warning: no comments)
 o  static semantics checker
 o  C and Ada code generation for data and behaviour
 o  data types analysis (hierarchies, and so ...)
 o  objects cross reference listing
 o  data type annotating tool, to link LOTOS data objects to others 
 o  data interpreter, for debugging
 o  behaviour interpreter library (warning: basic lotos)
 o  data types test suite specification language, and translator
 o  LOTOS behaviour test generator (warning: basic LOTOS)
 o  generation of CR (Common Representation)
  The tools may be accessed individually or under a shell interface
that may be customized to concrete user needs.  There is also a number
of tools provided by other organisations.