Lmntal Un lenguaje y herramienta unificador multiplataforma
Descargar ahora

Lmntal Clasificación y resumen

Lmntal Etiquetas

grafico idioma jerárquico

Lmntal Descripción

LMNTAL (pronunciado "elemental") es una programación independiente de la plataforma y un lenguaje de modelado basado en la reescritura de gráficos jerárquicos. Específicamente, LMNTAL es un lenguaje de sustrato de diversos modelos computacionales, especialmente aquellos que abordan la concurrencia, la movilidad y la reescritura multiset, incluidas las redes de petri (coloreadas), las redes de interacción, el cálculo PI-Cálculo, las máquinas abstractas químicas, las reglas de manejo de restricciones y las bigraphs. Características de LMNTAL se ha implementado completamente utilizando Java y C. Varias características únicas se han integrado en lavit (herramientas visuales LMNTAL), un entorno de desarrollo integrado de LMNTAL. Características de Lavit: · Búsqueda de espacio estatal no determinista, · LTL Model Checker (usando lmntal como lenguaje de modelado), · Visualizador de espacio estatal, y · Visualizador de gráficos. La combinación de lo anterior es una característica única de LMNTAL y Lavit, que gira Para ser muy útil para la comprensión, así como la depuración de sus modelos y programas.LMNTAL es multiplataforma y funciona en Mac OS X, Windows y Linux. Las instrucciones sobre cómo instalar y usar la utilidad LMNTAL en su Mac están disponibles aquí .

Lmntal Software relacionado