In todays software development concurrency plays a major role and demands close attention. Due to the complexity of the matter, concurrency demands a great deal of thoughts and attention from the developer and is hard to get right. Simple concurrent object oriented programming SCOOP provides a simple object oriented model on how to deal with concurrency.
The basic principles of SCOOP are described in the doctoral thesis from Piotr Nienaltowski. As part of his thesis, a fist standalone implementation of SCOOP was creaed. The implementation was refactored and extended as a part of the Eiffel Verification Environment called EVE, a research branch of EiffelStudio. This re-implementation was done in the master thesis from Patrick Huber. Due to time constraints some advanced aspects were only partially implemented leaving the need of expanding and revising the current implemantation to include those advanced aspects.
Type of project:
Semester thesis, Summer 2008
TrucStudio - Bug fixing and graph refactoring
TrucStudio underwent a major change in its internal structure. The original structure in TrucStudio was defined through Clusters, Trucs and Notions which were flat and strictly hierarchic. This structure was changed to allow nested clusters generating a much more complex structure than the old one. This change causes a lot of adaption in the mechanics of TrucStudio in order to realise nested clusters.