Cisco CloudCenter: Get the Hybrid IT Advantage

Abstract State Machine Language (AsmL)

Definition - What does Abstract State Machine Language (AsmL) mean?

Abstract State Machine Language (AsmL) is an executable specification language based on the theory of Abstract State Machine (ASM). AsmL is used for system modeling, analysis, simulation and conformance testing.

AsmL is developed by Microsoft's Foundations of Software Engineering (FSE) research team. It integrates fully with the .NET environment and Microsoft's development tools, including Word and Visual Studio .NET.

Techopedia explains Abstract State Machine Language (AsmL)

Unlike a number of programming languages specified for coding and testing, AsmL is geared toward communicating project design. Additionally, AsmL may be used during any stage of development. AsmL specification execution allows for model testing, feature interaction checks, design goal fulfillment or unanticipated event planning.

AsmL is also used to for system specification, which provides users with a system picture based on ASM, a mathematical model of the system‘s evolving runtime state.

AsmL differs from traditional programs in that it provides minimal specifications describing anything related to selected details. AsmL facilitates system state descriptions in terms of variables and operations that make sense to the user.

AsmL is available as a software modeling language in the tool Spec Explorer, which is a Visual Studio 2010 component. An open-source implementation of AsmL is available as Extensible Abstract State Machines (XASM) language.

Share this:

Connect with us

Email Newsletter

Join thousands of others with our weekly newsletter

The 4th Era of IT Infrastructure: Superconverged Systems
The 4th Era of IT Infrastructure: Superconverged Systems:
Learn the benefits and limitations of the 3 generations of IT infrastructure – siloed, converged and hyperconverged – and discover how the 4th...
Approaches and Benefits of Network Virtualization
Approaches and Benefits of Network Virtualization:
Businesses today aspire to achieve a software-defined datacenter (SDDC) to enhance business agility and reduce operational complexity. However, the...
Free E-Book: Public Cloud Guide
Free E-Book: Public Cloud Guide:
This white paper is for leaders of Operations, Engineering, or Infrastructure teams who are creating or executing an IT roadmap.
Free Tool: Virtual Health Monitor
Free Tool: Virtual Health Monitor:
Virtual Health Monitor is a free virtualization monitoring and reporting tool for VMware, Hyper-V, RHEV, and XenServer environments.
Free 30 Day Trial – Turbonomic
Free 30 Day Trial – Turbonomic:
Turbonomic delivers an autonomic platform where virtual and cloud environments self-manage in real-time to assure application performance.