|Summary:||Open source parsers and engine stubs|
|Product:||UPPAAL||Reporter:||Gerd Behrmann <behrmann>|
|Component:||GUI||Assignee:||Gerd Behrmann <behrmann>|
|Version:||3.6 Alpha 4|
Description Gerd Behrmann 2006-02-22 10:01:54 CET
The GUI contains parsers for the XML and XTA format and engine stubs for communicating with the server. These are implemented in seperate Java packages and have low coupling to the rest of the GUI. We should release these components as open source to allow others to communicate with our server.