読み方 : エー・エス・エム・エル
フルスペル : Abstract State Machine Language

Abstract State Machines (ASMs) と呼ばれる理論に基づいて構築された実行可能なモデリング言語。ASMs は、オブジェクト指向プログラミング、コンポーネント指向プログラミング、機能ベース・プログラミングを包含する理論で、AsmL を利用することで、あらゆるソフトウェア・システム、アーキテクチャーをモデリングすることができるとされます。