차례:
- 정의-AsmL (Abstract State Machine Language) 란 무엇입니까?
- Techopedia는 AsmL (Abstract State Machine Language)를 설명합니다.
정의-AsmL (Abstract State Machine Language) 란 무엇입니까?
AsmL (Abstract State Machine Language)는 ASM (Abstract State Machine) 이론에 기반한 실행 가능한 사양 언어입니다. AsmL는 시스템 모델링, 분석, 시뮬레이션 및 적합성 테스트에 사용됩니다.
AsmL는 Microsoft Foundations of Software Engineering (FSE) 연구 팀에서 개발했습니다. .NET 환경 및 Word 및 Visual Studio .NET을 포함한 Microsoft의 개발 도구와 완벽하게 통합됩니다.
Techopedia는 AsmL (Abstract State Machine Language)를 설명합니다.
코딩 및 테스트 용으로 지정된 여러 프로그래밍 언어와 달리 AsmL는 프로젝트 디자인 커뮤니케이션에 적합합니다. 또한 AsmL는 모든 개발 단계에서 사용할 수 있습니다. AsmL 사양 실행을 통해 모델 테스트, 기능 상호 작용 확인, 설계 목표 달성 또는 예상치 못한 이벤트 계획이 가능합니다.
AsmL는 또한 시스템 사양에 사용되며 시스템의 진화하는 런타임 상태의 수학적 모델 인 ASM을 기반으로 한 시스템 그림을 사용자에게 제공합니다.
AsmL는 선택된 세부 사항과 관련된 모든 것을 설명하는 최소 사양을 제공한다는 점에서 기존 프로그램과 다릅니다. AsmL는 사용자에게 적합한 변수 및 작업과 관련하여 시스템 상태 설명을 용이하게합니다.
AsmL는 Visual Studio 2010 구성 요소 인 Spec Explorer 도구에서 소프트웨어 모델링 언어로 제공됩니다. AsmL의 오픈 소스 구현은 XASM (Extensible Abstract State Machines) 언어로 제공됩니다.
