Lmntal Een cross-platform verenigende taal en tool
Download nu

Lmntal Rangschikking & Samenvatting

Lmntal Tags

grafiek taal hiërarchische

Lmntal Beschrijving

LMNTAL (uitgesproken "elemental") is een platformonafhankelijke programmering en modelleringstaal op basis van hiërarchische grafiek herschrijven. In het bijzonder is LMNTAL een substraattaal van diverse computermodellen, met name die aangaande concurrency, mobiliteit en multiset herschrijven, inclusief (gekleurde) petrischetten, interactiesnetten, de pi-calculus, chemische abstracte machines, regels voor beperking van beperking, en BigraPhs. Het kenmerkt LMNTAL is volledig geïmplementeerd met Java en C. Verschillende unieke kenmerken zijn geïntegreerd in Lavit (LMNTAL Visual Tools), een geïntegreerde ontwikkelingsomgeving van LMNTAL. Lavit Functies: · Nondeterministische State-Space Search, · LTL-modelcontrole (met behulp van LMNTAL als de modelleertaal), · State-Space Visualizer en · Grafiekvisualizer. De combinatie van het bovenstaande is een uniek kenmerk van LMNTAL en Lavit, die draait Uit om zeer nuttig te zijn voor het begrijpen en debuggen van je modellen en programma's.lmntal is cross-platform en het werkt op Mac OS X, Windows en Linux.Detailed Instructies over het installeren en gebruiken van het LMNTAL-hulpprogramma op uw Mac zijn hier beschikbaar .

Lmntal Gerelateerde software