Matlan stands for Modelling, Analysing and Testing Language. The goal of this project is to define the syntax and semantics of a language which is suited to model reactive systems. Some of the desired features here are:
The language should semantically map to well-established formal models like labelled / symbolic transition systems (LTS/STS).
This wiki will be used to present the current state of the language. Once we have a first stable version, the Xtext implementation will be made available here, too.
We intend to use the Xtext framework here.
To keep up to date please subscribe to the firstname.lastname@example.org mailing-list. If you intend to actively support the development, join this project on Java.net.