2009-06-23 15 views

risposta

11

LePUS3 è stato progettato per essere un miglioramento rispetto ad altri linguaggi di modellazione ed è specificamente progettato per essere un miglioramento di UML. I vantaggi di LePUS3 sono illustrati in the paper that introduced it e puoi vedere un riepilogo di questi vantaggi nell'anteprima dello spettacolo di carta scientifico al link.

io riproduco vantaggi dichiarati della carta qui:

  • Rigore. LePUS3 è un linguaggio visivo logico: una tabella rappresenta una formula in una teoria assiomatizzata nel classico calcolo del predicato del primo ordine.
  • Parsimony & scalabilità. LePUS3 offre potenti astrazioni: i grafici si adattano bene e non ingombrano con le dimensioni del programma.
  • Minimalità. Il vocabolario di LePUS3 è minimo, composto da 15 token.
  • Decidability & verificabilità. La coerenza tra una determinata specifica (un grafico) e un'implementazione (un programma Java) può essere verificata con un clic del tasto.
  • Visualizzazione programma. I grafici che modellano i programmi Java possono essere decodificati dal codice sorgente.
3
  1. È possibile decodificare LePUS3 classifiche dal codice sorgente e ottenere risultati significativi
  2. LePUS3 è un linguaggio formale
  3. È possibile modellare i programmi di qualsiasi dimensione in LePUS3
  4. È possibile modellare gli schemi di progettazione in LePUS3 non come programmi ma come motivi di design generici
Problemi correlati