Daftar Isi:
- Definisi - Apa yang dimaksud dengan Abstract State Machine Language (AsmL)?
- Techopedia menjelaskan Abstract State Machine Language (AsmL)
Definisi - Apa yang dimaksud dengan Abstract State Machine Language (AsmL)?
Abstract State Machine Language (AsmL) adalah bahasa spesifikasi yang dapat dieksekusi berdasarkan teori Abstract State Machine (ASM). AsmL digunakan untuk pemodelan sistem, analisis, simulasi dan pengujian kesesuaian.
AsmL dikembangkan oleh tim riset Foundations of Software Engineering (FSE) Microsoft. Ini terintegrasi sepenuhnya dengan lingkungan .NET dan alat pengembangan Microsoft, termasuk Word dan Visual Studio .NET.
Techopedia menjelaskan Abstract State Machine Language (AsmL)
Tidak seperti sejumlah bahasa pemrograman yang ditentukan untuk pengkodean dan pengujian, AsmL diarahkan untuk mengkomunikasikan desain proyek. Selain itu, AsmL dapat digunakan selama setiap tahap pengembangan. Eksekusi spesifikasi asmL memungkinkan pengujian model, pemeriksaan interaksi fitur, pemenuhan sasaran desain, atau perencanaan acara yang tidak terduga.
AsmL juga digunakan untuk spesifikasi sistem, yang menyediakan gambar sistem kepada pengguna berdasarkan ASM, model matematika dari status runtime yang berkembang dari sistem.
AsmL berbeda dari program tradisional karena AsmL memberikan spesifikasi minimal yang menjelaskan segala sesuatu yang berkaitan dengan detail yang dipilih. AsmL memfasilitasi deskripsi status sistem dalam hal variabel dan operasi yang masuk akal bagi pengguna.
AsmL tersedia sebagai bahasa pemodelan perangkat lunak di alat Spec Explorer, yang merupakan komponen Visual Studio 2010. Implementasi open-source AsmL tersedia sebagai bahasa Extensible Abstract State Machines (XASM).
