Table des matières:
- Définition - Que signifie le langage de machine à états abstraits (AsmL)?
- Techopedia explique le langage machine à états abstraits (AsmL)
Définition - Que signifie le langage de machine à états abstraits (AsmL)?
Le langage de machine à états abstraits (AsmL) est un langage de spécification exécutable basé sur la théorie de la machine à états abstraits (ASM). 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 Foundations of Software Engineering (FSE) de Microsoft. Il s'intègre pleinement à l'environnement .NET et aux outils de développement de Microsoft, notamment Word et Visual Studio .NET.
Techopedia explique le langage machine à états abstraits (AsmL)
Contrairement à un certain nombre de langages de programmation spécifiés pour le codage et les tests, AsmL est orienté vers la conception de projets communicants. De plus, AsmL peut être utilisé à n'importe quel stade de développement. L'exécution des spécifications AsmL permet de tester les modèles, de vérifier les interactions des fonctionnalités, de réaliser 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 évolutif 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 d'état du système en termes de variables et d'opérations qui ont du sens pour l'utilisateur.
AsmL est disponible en tant que langage de modélisation logicielle dans l'outil Spec Explorer, qui est un composant Visual Studio 2010. Une implémentation open source d'AsmL est disponible en tant que langage XASM (Extensible Abstract State Machines).
