Isi kandungan:
- Definisi - Apa maksud Bahasa Mesin Abstrak Negara (AsmL)?
- Techopedia menerangkan Bahasa Mesin Abstrak Negara (AsmL)
Definisi - Apa maksud Bahasa Mesin Abstrak Negara (AsmL)?
Bahasa Mesin Bahasa Abstrak (AsmL) adalah bahasa spesifikasi yang boleh dilaksanakan berdasarkan teori Mesin Abstrak Negara (ASM). AsmL digunakan untuk pemodelan, analisis, simulasi dan ujian pematuhan sistem.
AsmL dibangunkan oleh pasukan penyelidikan Yayasan Kejuruteraan Perisian Microsoft (FSE). Ia bersatu sepenuhnya dengan persekitaran .NET dan alat pembangunan Microsoft, termasuk Word dan Visual Studio .NET.
Techopedia menerangkan Bahasa Mesin Abstrak Negara (AsmL)
Tidak seperti beberapa bahasa pengaturcaraan yang dinyatakan untuk pengekodan dan pengujian, AsmL ditujukan ke arah menyampaikan reka bentuk projek. Di samping itu, AsmL boleh digunakan semasa sebarang perkembangan. Pelaksanaan spesifikasi AsmL membolehkan ujian model, pemeriksaan interaksi ciri, pemenuhan tujuan reka bentuk atau perancangan peristiwa yang tidak dijangka.
AsmL juga digunakan untuk spesifikasi sistem, yang menyediakan pengguna dengan gambaran sistem berdasarkan ASM, model matematik sistem runtime sistem yang berkembang.
AsmL berbeza daripada program tradisional kerana ia menyediakan spesifikasi minimum yang menghuraikan apa-apa yang berkaitan dengan butir-butir yang dipilih. AsmL memudahkan penerangan sistem sistem dari segi pemboleh ubah dan operasi yang masuk akal kepada pengguna.
AsmL boleh didapati sebagai bahasa pemodelan perisian dalam Alat Explorer Explorer, yang merupakan komponen Visual Studio 2010. Pelaksanaan sumber terbuka AsmL boleh didapati sebagai bahasa Mesin Perkuat Abstrak (XASM) Extensible.
