PROMELA
Questa voce sull'argomento linguaggi di programmazione è solo un abbozzo.
Contribuisci a migliorarla secondo le convenzioni di Wikipedia.
PROMELA linguaggio di programmazione | |
---|---|
Autore | Gerard J. Holzmann |
Estensioni comuni | pml |
Influenzato da | communicating sequential processes e C |
Modifica dati su Wikidata · Manuale |
PROMELA (Process/Protocol Meta Language, metalinguaggio 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 lo SPIN model checker, per verificare che il sistema modellato produca i risultati desiderati.
Voci correlate
- Lista dei linguaggi di programmazione
- Ingegneria del software
Collegamenti esterni
- (EN) Basic Spin Manual, su spinroot.com. URL consultato il 2 marzo 2020.
Portale Informatica: accedi alle voci di Wikipedia che trattano di informatica