Casa Sviluppo Che cos'è il linguaggio macchina a stati astratti (asml)? - definizione da techopedia

Che cos'è il linguaggio macchina a stati astratti (asml)? - definizione da techopedia

Sommario:

Anonim

Definizione - Che cosa significa AsmL (Abstract State Machine Language)?

Abstract State Machine Language (AsmL) è un linguaggio di specifica eseguibile basato sulla teoria di Abstract State Machine (ASM). AsmL viene utilizzato per la modellazione del sistema, analisi, simulazione e test di conformità.


AsmL è sviluppato dal team di ricerca Microsoft Foundations of Software Engineering (FSE). Si integra perfettamente con l'ambiente .NET e gli strumenti di sviluppo di Microsoft, inclusi Word e Visual Studio .NET.

Techopedia spiega Abstract State Machine Language (AsmL)

A differenza di una serie di linguaggi di programmazione specificati per la codifica e i test, AsmL è orientato alla comunicazione del progetto. Inoltre, AsmL può essere utilizzato in qualsiasi fase dello sviluppo. L'esecuzione delle specifiche AsmL consente di testare i modelli, i controlli di interazione delle caratteristiche, il raggiungimento degli obiettivi di progettazione o la pianificazione imprevista degli eventi.


AsmL è utilizzato anche per le specifiche di sistema, che fornisce agli utenti un'immagine di sistema basata su ASM, un modello matematico dello stato di runtime in evoluzione del sistema.


AsmL differisce dai programmi tradizionali in quanto fornisce specifiche minime che descrivono qualsiasi cosa relativa ai dettagli selezionati. AsmL facilita le descrizioni dello stato del sistema in termini di variabili e operazioni che hanno senso per l'utente.


AsmL è disponibile come linguaggio di modellizzazione del software nello strumento Explorer specifiche, che è un componente di Visual Studio 2010. Un'implementazione open source di AsmL è disponibile come linguaggio XASM (Extensible Abstract State Machines).

Che cos'è il linguaggio macchina a stati astratti (asml)? - definizione da techopedia