LMNtal, a unifying language and tool

LMNtal (pronounced "elemental") is a programming and modeling language based on hierarchical graph rewriting. It was designed to be a substrate language of diverse computational models, especially those addressing concurrency, mobility and multiset rewriting, including (Colored) Petri Nets, Interaction Nets, the Pi-Calculus, Chemical Abstract Machines, Constraint Handling Rules, and Bigraphs. It features

The language has been fully implemented using Java and C. Various unique features have been integrated into LMNtalEditor?, the Integrated Development Environment of LMNtal. LMNtalEditor? comes with

Model checking with LMNtal IDE

Model checking combined with state-space visualization demonstrates that LMNtalEditor? is extremely useful for understanding as well as debugging your models and programs. LMNtalEitor? can be and has been used to run and visualize diverse examples taken from the fields of model checking, concurrency and AI search.

LMNtal allows extremely terse representation of some transition systems. For example, with only one rule, the state space of the Tower of Hanoi can be explored and visualized.

around

Programming/modeling with links and membranes

The power of LMNtal comes from two structuring mechanisms, links and membranes. The figure below illustrates how hierarchical graphs allow you to represent various concepts appearing in computer science.

around

The language and the implementation has been developed since 2002 by the LMNtal team, Dept. of Computer Science and Engineering, Waseda University.

mailto: lmntal _AtSign_ ueda.info.waseda.ac.jp


Front page List of pages Search Recent changes Backup   Help   RSS of recent changes