Matlan – The Modelling, Analysing and Testing Language
In several commercial and academic projects we have struggled with the problem of the lack of a proper language to model reactive systems. Such models should be used to specify and test (in a model-based fashion) reactive systems. Currently, either no real language at all was used (like XML), or some old fashioned, hard to use or weakly supported language like LOTOS or Promela was used.
To change this situation a new open source project has been set up – Matlan:
The main goal is to agree on a first proper syntax/features, which fulfill the requirements of reactive systems, and then have a reference implementation in Xtext. Everyone interested in the topic is most welcome to take part in the discussion and language design!
We chose the BSD licence, so the results can be used commercially with basically no restrictions. It would be great if at a later stage we would have a language which is used by several companies and institutes. It makes tooling easier and cheaper and allows to compare much better what we do. Of course we wont be able to define the one-and-only language which is suited to model all kind of systems. We would be happy if we would have something at the end which is easy to use and suited for some domain. This needs discussion, and for that we have a a mailinglist:
and a Wiki:
If you interested please make a Java.net account and join the project. The list will be used for discussion, the Wiki to document the current state of the language. Once we have a first stable version, the Xtext implementation will follow. For further questions use the mailing list or simply comment on this post.