Minutes of the Bremen meeting

[Helene.Kirchner@loria.fr]

TOOLS task group Meeting

Bremen, Friday January 9, 1998

Participants:

Hubert Baumeister
Michel Bidoit  
Christine Choppy
Einar Karlsen
Helene Kirchner 
Kolyang
Bernd Krieg-Brueckner
Christoph Lueth
Thomas Meyer
Till Mossakowski
Peter Mosses    
Mark van der Brand
Bjarke Wedemeyer

AGENDA:

- CASL-specific tools developed in Bremen
- Parser implementations
- Interchange format
  Discussion from the notes on interchange/interoperability formats:
  http://www.brics.dk/Projects/CoFI/Notes/T-3,4,5.
- Latex style 
- Further plans
- Next meeting


The Uniform Workbench project is presented by Bernd
Krieg-Brueckner. It addresses combination of methods and tools, and is
aimed at providing a development environment for formal methods.

Parser implementations: 
Four prototype parsers for (basic and structured) CASL specifications
are under development:
- by Mark van den Brand and Bjarke Wedemeijer, using the
  ASF+SDF system; 
- by Kolyang and Till Mossakowski, using Isabelle; 
- by Christophe Tronche, using an LL(2) (top-down) parser generator;
- by Frederic Voisin, using  an LALR(1) (bottom-up) parser generator.  

Latex style :
A LaTeX style for writing CASL specifications and include them in
papers is proposed and experimented by Peter Mosses. It will be available
at the next Tools meeting.

Interchange format: 
The notes on interchange/interoperability formats are presented by
theirs authors and discussed.  The point to clarify is how these
different formats support annotations and sharing. Each proposition
has to be completed in this direction.

Next meeting:
in Lisbonne, during ETAPS and the WADT workshop.