The toolset implements the π-ADL languages, which are based on the π-calculus.
Two compilers and virtual machines are available:
- the first one targets the PBase persistent virtual machine for Linux, including a browser for the persistent store;
- the other one targets the .NET platform
The toolset contains the following additional software:
- visual description of software architectures
- graphical animation of software architectures
- verification of structural and behavioural properties
- refinement of software architectures
- UML profile
- trace satisfaction against properties
