코어 ASM
CoreASMCoreASM은 오픈 소스 프로젝트(Accademic Free License 버전 3.0에 따라 라이센스 부여됨)로 추상 시스템 모델의 고급 설계, 실험 검증 및 정식 검증을 위한 지원 도구 환경(해당하는 경우)과 함께 린 실행 가능 ASM(Abstract State Machines) 언어 설계에 중점을 두고 있습니다.
추상 상태 기계는 알고리즘, 아키텍처, 언어, 프로토콜 및 사실상 모든 종류의 순차, 병렬 및 분산 시스템의 모델링에 있어 다재다능한 것으로 알려져 있습니다.ASM 형식주의는 공식적 접근과 실용적 접근 간의 격차를 메우기 위해 학계 및 산업계 연구자들에 의해 15년 이상 광범위하게 연구되어 왔다.
모델 기반 시스템 엔지니어링은 시뮬레이션과 테스트를 통한 설계 탐색 및 실험 검증을 위한 도구로서 추상 실행 가능 사양의 이점을 얻을 수 있습니다.Core라는 새로운 실행 가능한 ASM 언어인 2세대 ASM 툴 사용 경험을 바탕으로 구축ASM, 개발 중(「코어」 참조)ASM 홈페이지).
핵심ASM 언어는 실험의 자유를 강조하며 창의성의 산물로서 디자인의 진화성을 지원합니다.특히 초기 사양을 작성할 목적으로 문제 공간을 탐색하는 데 적합합니다.핵심ASM 언어는 문제 공간을 형식 모델에 매핑할 때 인코딩의 필요성을 최소화하고 의도적으로 추상화된 사양 부분을 명시적으로 선언함으로써 매우 추상적이고 간결한 사양을 기술할 수 있습니다.최소성의 원칙은 기본 수학적 프레임워크의 견고성과 결합하여 규격과 설계의 고도로 반복되는 특성을 효과적으로 지원하면서 규격의 변경 가능성을 개선한다.
레퍼런스
- R. 파라보드, V. 제르바시, U. 글래서 및 M.Memon. 추상요건의 설계탐구와 실험적 검증, 제12회 요건공학 국제작업회의 진행:소프트웨어 품질 재단(REFSQ'06), 2006년 6월, 룩셈부르크 대공국, Essener Informatik Beitrage, ISBN3-922602-26-6.
- R. 파라보드, V. 제르바시, U. 글래서, M.Memon. 코어의 설계 및 사양ASM Execution Engine, Part 1: 커널.기술 보고서 SFU-CMPT-TR-2006-09, Simon Fraser University, 2006년 5월
- R. 파라보드, V. 제르바시, 그리고 U. 글래서.CoreASM: 확장 가능한 ASM 실행 엔진.D. Beauquier, E. Börger, A.에서.Slissenko (Eds.) , 제12회 추상 스테이트 머신에 관한 국제 워크숍, 파리, 2005년 3월, 153-165페이지
- ...추가 레퍼런스 및 문서
