Langage abstrait de machine d’état (asml)

Définition - Que signifie le langage AsmL (Abstract State Machine Language)?

Abstract State Machine Language (AsmL) est un langage de spécification exécutable basé sur la théorie de l'ASM (Abstract State Machine). AsmL est utilisé pour la modélisation, l'analyse, la simulation et les tests de conformité du système.

AsmL est développé par l'équipe de recherche de Microsoft Foundations of Software Engineering (FSE). Il s'intègre pleinement à l'environnement .NET et aux outils de développement de Microsoft, notamment Word et Visual Studio .NET.

Definir Tech explique Abstract State Machine Language (AsmL)

Contrairement à un certain nombre de langages de programmation spécifiés pour le codage et les tests, AsmL est conçu pour communiquer la conception de projets. De plus, AsmL peut être utilisé à n'importe quel stade de développement. L'exécution de la spécification AsmL permet de tester le modèle, de vérifier l'interaction des fonctionnalités, d'atteindre les objectifs de conception ou de planifier des événements imprévus.

AsmL est également utilisé pour la spécification du système, qui fournit aux utilisateurs une image système basée sur ASM, un modèle mathématique de l'état d'exécution en évolution du système.

AsmL diffère des programmes traditionnels en ce qu'il fournit des spécifications minimales décrivant tout ce qui concerne les détails sélectionnés. AsmL facilite les descriptions de l'état du système en termes de variables et d'opérations qui ont un sens pour l'utilisateur.

AsmL est disponible en tant que langage de modélisation logicielle dans l'outil Spec Explorer, qui est un composant de Visual Studio 2010. Une implémentation open-source d'AsmL est disponible en tant que langage XASM (Extensible Abstract State Machines).