Spinroot

spinroot

forum

Registered: 2010-11-18

Posts: 700

Website

Promela Language Extensions

The Minnesota Extensible Language Tools group (MELT) has made some very interesting extensions to the Promela language available via an online translation tool. Their webpage says:

"These extensible language frameworks are all constructed using the extensible language tools developed by the MELT group. The distinguishing characteristic of our approach to extensible languages is that the extensions can be easily composed, even if they are developed by different parties."

The translation tool allows you to convert extended Promela specifications into pure Promela. The extensions currently supported include:

   o A non-deterministic choose construct that evaluates to a random value in a specified range.

   o A multi-dimensional array construct that allows one to declare variables to be arrays of more than one dimension. (Promela itself only supports single dimension arrays directly.)

  o A condition-table construct that is borrowed from synchronous modelling languages like RSML or SCR.

The link to the conversion server, with a number of example extended Promela models that can be converted online, is: http://www.melt.cs.umn.edu/demos/promela/index.html