Menu:
This program started out as assignments 1, 2 and 3 for the COMP242-07B paper. When the paper finished I still had a number of non-assignment-related tasks still on my to-do list and I have been slowly finishing them off since. The main reason why its development has continued is because it is one of the largest Java program I have developed and additional adjustments dont take much effort. It is mostly used for testing stuff now (like if I have Java working properly on OpenVMS) and as a demonstration of a spring embedder.
The program is essentially just a Spring Embedder now. It includes a number of additional features which were part of the original assignments such as Parallel Composition, Reach and Node Colouring of Labeled Transition Systems. Maintenance of these features stopped after version 0.3-1 meaning they are no longer tested and bugs could possibly appear (for the most part they havent been touched at all so it is unlikely that any new bugs have crept in - all the old ones will still be there).
There is one remaining version planned; 0.6. Once this has been developed the list of remaining tasks left over from COMP242-07B will be complete and there will be nothing left to do. At this point the project will be considered "Complete" and only patch releases (if anything at all) such as 0.6-1 will occur after that. It is unknown when v0.6 will come out as other projects (such as DIMG) are eating most of my development time. It is possible it may be out at the end of 2011.
Repository: None publicly available (shared with old university assignments)
Trac: None publicly available (shared with old university assignments)
Status: Intermittent work on v0.6
License: GNU GPL v2
Current Version: 0.5
Download: http://ftp.zx.net.nz/pub/DGS/lts/
Screenshots: http://ftp.zx.net.nz/pub/DGS/lts/screenshots/