PROMELA

Da Wikipedia, l'enciclopedia libera.
Curly Brackets.svg
A questa voce o sezione va aggiunto il template sinottico {{Linguaggio di programmazione}}
Per favore, aggiungi e riempi opportunamente il template e poi rimuovi questo avviso.
Per le altre pagine a cui aggiungere questo template, vedi la relativa categoria.

PROMELA (Process/Protocol Meta Language, meta linguaggio per processi/protocolli) è un linguaggio di modellazione di verifica. Questo linguaggio consente la creazione dinamica di processi concorrenti del modello, ad esempio di sistemi distribuiti. PROMELA consiste in una serie di processi che interagiscono per mezzo di:

  • Variabili condivise;
  • Canali di comunicazione: sincroni (con canali di rendez vous); asincroni (buffer).

I modelli di PROMELA possono essere analizzati con il SPIN model checker, per verificare che il sistema modellato produca i risultati desidereati.

Voci correlate[modifica | modifica wikitesto]

informatica Portale Informatica: accedi alle voci di Wikipedia che trattano di informatica