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.

read more

PooslIDE

Eclipse-based tools for editing and debugging POOSL models and highlights the industrial applicability of POOSL developed by ESI (TNO).

read more

SHESim

The old smalltalk based tool for editing, debugging and simulating POOSL models. This tool has been decommissioned in favour of PooslIDE and Rotalumis.

read more