Eclipse POOSL

Eclipse POOSL (Parallel Object-Oriented Specification Language) provides tools for the editing (both textual and graphical) and debugging (using the Rotalumis simulator) of POOSL models. Debugging depends on the Rotalumis simulator (https://www.es.ele.tue.nl/poosl/Tools/rotalumis/) from Eindhoven University of Technology that is out-of-scope.