POOSL Tools
The following tools exist for the Parallel Object-Oriented Specification Language:
Rotalumis
Rotalumis is a high-speed execution engine for POOSL models. This execution engine simulates POOSL models conform the formal semantics. If you wonder what Rotalumis actually stands for, try reading it backwards.
PooslIDE
Eclipse-based tools for editing and debugging POOSL models and highlights the industrial applicability of POOSL developed by ESI (TNO).
SHESim
The old smalltalk based tool for editing, debugging and simulating POOSL models. This tool has been decommissioned in favour of PooslIDE and Rotalumis.