Abstract State Machine Language
| AsmL | |
|---|---|
| Paradigm | functional |
| Designed by | Microsoft Corporation |
| Major implementations | |
| XASM | |
Abstract State Machine Language (AsmL) is a programming language based on abstract state machines[1] developed by Microsoft.[2] AsmL is a functional language.[3]
AsmL is a high‑level functional language created at Microsoft Research that allows developers to model, formally specify, and test system behaviors using the abstract state machine approach, with seamless integration into the .NET framework.[4]
XASM is an open-source implementation of the language. XASM provides a component‑based modularization concept with compiler support translating XASM specifications into C, enabling efficient execution of models and aiding in the development of reusable abstract state machine components.[5]
References
[edit]- ↑ Omar Badreddin (2010) "Umple: a model-oriented programming language." Software Engineering, 2010 ACM/IEEE 32nd International Conference on. Vol. 2. IEEE, 2010.
- ↑ Chen, Kai, Janos Sztipanovits, and Sandeep Neema. "Toward a semantic anchoring infrastructure for domain-specific modeling languages." Proceedings of the 5th ACM international conference on Embedded software. ACM, 2005.
- ↑ Grieskamp, Wolfgang, et al. "Testable use cases in the abstract state machine language." Quality Software, 2001. Proceedings. Second Asia-Pacific Conference on. IEEE, 2001.
- ↑ "AsmL: Abstract State Machine Language". Microsoft Research. Retrieved 2025-12-29.
- ↑ "Overview of XASM". xasm.sourceforge.net. Retrieved 2025-12-29.
External links
[edit]- Microsoft: ASML
- The ABCs of Specification: AsmL, Behavior, and Components
- Introducing AsmL: A Tutorial for the Abstract State Machine Language (PDF)
- AsmL: The Abstract State Machine Language
- XASM
 | This programming-language-related article is a stub. You can help Wikipedia by adding missing information. |