Mục lục:
- Định nghĩa - Tóm tắt ngôn ngữ máy trạng thái (AsmL) nghĩa là gì?
- Techopedia giải thích về ngôn ngữ máy trạng thái trừu tượng (AsmL)
Định nghĩa - Tóm tắt ngôn ngữ máy trạng thái (AsmL) nghĩa là gì?
Tóm tắt ngôn ngữ máy trạng thái (AsmL) là ngôn ngữ đặc tả thực thi dựa trên lý thuyết về máy trạng thái trừu tượng (ASM). AsmL được sử dụng để mô hình hóa hệ thống, phân tích, mô phỏng và kiểm tra sự phù hợp.
AsmL được phát triển bởi nhóm nghiên cứu Cơ sở phần mềm (FSE) của Microsoft. Nó tích hợp hoàn toàn với môi trường .NET và các công cụ phát triển của Microsoft, bao gồm Word và Visual Studio .NET.
Techopedia giải thích về ngôn ngữ máy trạng thái trừu tượng (AsmL)
Không giống như một số ngôn ngữ lập trình được chỉ định cho mã hóa và thử nghiệm, AsmL hướng đến việc truyền đạt thiết kế dự án. Ngoài ra, AsmL có thể được sử dụng trong bất kỳ giai đoạn phát triển nào. Thực thi đặc tả AsmL cho phép thử nghiệm mô hình, kiểm tra tương tác tính năng, thực hiện mục tiêu thiết kế hoặc lập kế hoạch sự kiện không dự đoán được.
AsmL cũng được sử dụng để đặc tả hệ thống, cung cấp cho người dùng hình ảnh hệ thống dựa trên ASM, một mô hình toán học về trạng thái thời gian chạy phát triển của hệ thống.
AsmL khác với các chương trình truyền thống ở chỗ nó cung cấp các thông số kỹ thuật tối thiểu mô tả mọi thứ liên quan đến các chi tiết được chọn. AsmL tạo điều kiện cho các mô tả trạng thái hệ thống về các biến và hoạt động có ý nghĩa với người dùng.
AsmL có sẵn như là một ngôn ngữ mô hình hóa phần mềm trong công cụ Spec Explorer, một thành phần của Visual Studio 2010. Một triển khai AsmL mã nguồn mở có sẵn dưới dạng ngôn ngữ Máy mở rộng trạng thái trừu tượng (XASM).
