subject

[hussmann@inf.tu-dresden.de]

Minutes of CoFI Reactive Meetings, Bonas
(15.09.99/21:30-23:30 and 17.09.99/19:00-20:00)

Attendees: Hubert Baumeister(*), Michel Bidoit(*), Maura
Cerioli, Christine Choppy, Heinrich Hussmann, Gianna Reggio, 
Markus Roggenbach(*), Martin Wirsing(*).
((*) = present only for parts of the meetings)
Some potential new participants were present during the second
part of the meeting, see section 3 below.

Minutes: Heinrich Hussmann

1. Organisational issues

- Traffic in CoFI-Reactive mailing list is considered too low.
  Invitations to meetings are not announced there visibly
  enough. To be discussed with Egidio: whether Heinrich can be made
  responsible for the mailing list.
- CoFI-R does not look open to the outside world.
  The presentation at the WADT workshop on 17.09. is used to 
  make an explicit invitation for potential new participants.
- There was an inquiry about the status of the suggestions made by
  Horst Reichel in Cachan. The following information was given by
  Horst to Heinrich: The proposed extensions are still in discussion 
  with the semantics group. It is not yet clear whether they
  fit semantically into the CASL framework. Contact to CoFI-R 
  therefore postponed.
- The Reactive Web site should be updated after Bonas. Then the
  link is to be announced through the Reactive list, as well as
  given to Don and Peter for linking from the CoFI homepage.
- The Dagstuhl meeting in November will not be used for CoFI-Reactive 
  meetings (decision after phone contact with Egidio).
- Co-ordination with state-based extensions of CASL: Heinrich to
  stay in contact with language group. (Current status: Alexandre
  Zamulin plans to suggest such an extension.)
  
2. Status of work

- CoFI-LTL/Design&Requirements: Still to be written in a CASL-
  based style, help is welcomed by the Genova group. 
  When complete, this extension should  be submitted as an official 
  CASL extension - an announcement to Language Design Group 
  should be made soon. 
  This is the extension to be used in the coordinated
  effort based on UML.
- CASLCharts: To be submitted as an official extension of CASL 
  (Gianna).
  Will not be further used in the coordinated effort based on UML.
- Integration of CSP & CASL (Univ. Bremen) to be added.
  Current status: research in starting phase
  
- Paper "UML to CASL - Static Part":
-- To be split in informal description + formal appendix, 
   appendix will be dealt with separately 
   (i.e. first versions will have no appendix).
-- Effects/concurrent changes: input from Hubert to Maura
   expected.
-- CASLconstraints: discussion by email, small case study
   (Hubert & Heinrich, to give something to Maura by 8th Oct)
-- Slightly updated version to be produced by Maura shortly after Bonas
-- Review by Christine and Alexander till 5th Oct.
-- Further version of the paper to be produced after input from
   Heinrich, Hubert, Chrstine and Alexander is avilable.
   
- Paper "UML to CASL - Dynamic Part":
-- New draft based on UML submission to be produced
   (deadline not yet clear)
   
- Submissions to ETAPS 2000:
-- The paper "Making Precise UML Active Classes Modelled by Statecharts"
(draft availablke as DISI technical report) should be submitted to FASE
2000.     
Heinrich to clarify with Tom Maibaum whether he can be co-author
and PC member at the same time.

3. New participants:

The following people expressed their interest:
-- Markus Roggenbach, Bremen, would like to think about an autonomous
CSP extension of CASL
-- Hartmut Ehrig, together with Kathrin Hoffmann are
interested in an autonomous Petri Net extension of CASL
-- Hartmut Ehrig, together with Gunnar Schroeter, are
interested in an autonomous CCS extension of CASL
-- Francesco Parisi-Presicce is interested in UML in general, and in the
use of algebraic import/export specifications in particular
-- Jean-Claude Royer, Nantes, has done some work on translating UML and
OCL to Larch and wants to exchange ideas.

In all these cases, the new participants are encouraged to subscribe to the
Reactive mailing list and to distibute relevant material there, if available.