Minutes of meeting 28 Jan 2002

Meeting opened 12.45pm

Present: Peter Howarth, Daniel Justice, Michelle Osmond, Zhu Tan, Aleksandar Trifunovic
Apologies: Raphael Goldberg

What we've done since the last meeting

• Alex: Almost finished invariance analysis algorithm.
• Daniel, Michelle: Put together the prototype editor and GUI. set out files in group directory, sorted out packages, classpaths, permissions.
• Michelle: Done most of PNML/JDOM part of report.
• Tan: Looked at how to use Swing, JDOM, patterns for writing programs in Java.
• Peter: Done report (except PNML/JDOM). Looked at subnets.

Discussion

Module interface: the few functions required by reflection, and an object which may contain various information like sequences of transitions, to allow the module to communicate back to the program (eg display path to deadlock). Module knows where object is, object knows where the appropriate Animator is. Useful for state space module, probably not the invariance analysis one.

Assignment of tasks: Alex and Raphael continue with their modules, the rest share the editor/animator/overall program/extensibility.

To do:

• Alex: Invariance Analysis module
• Daniel, Tan: start implementing menu functions (file->save, etc) and toolbar (add new place etc).
• Michelle: finish JDOM summary, sort out existing demo classes.
• Peter: try implementing a dummy module to sort out using reflection.
• Raphael: state space module

Meeting closed 1:20pm

Next meeting: Wednesday (30th), 1:15pm in 343 - sort out Report I (due Thursday)