공통 대수 규격 언어

공통 대수 규격 언어(CASL)는 유도가 있는 1차 논리에 기초한 범용 규격 언어다.부분적인 기능과 하위 정렬도 지원된다.null

개요

CASL은 Common Framework Initiative(CoFI)인 CoFI에 의해 설계되었으며, 기존의 많은 명세 언어들을 소생시킬 목적으로 만들어졌다.null

CASL은 다음 4단계로 구성된다.

• 기본 사양, 단일 소프트웨어 모듈 사양,
• 구조화된 사양, 모듈의 모듈 사양,
• 구현 구조의 처방을 위한 아키텍처 규격,
• 인터넷을 통해 배포된 사양을 저장하기 위한 사양 라이브러리.

그 네 가지 수준은 서로 직교한다.특히 CASL 이외의 로직으로 CASL 구조화·건축사양 및 라이브러리 활용이 가능하다.이를 위해 논리는 기관으로 공식화해야 한다.이 기능은 CASL 확장에도 사용된다.null

확장

CASL의 몇 가지 확장은 다음과 같다.

• HasCASL, 고차 확장
• CoCASL, colbgebraic extension
• CSP를 기반으로 하는 동시 확장인 CspCASL
• 모달 CASL, 모달 로직 확장자
• CASL-LTL, 시간적 로직 확장
• HetCASL, 이질적인 사양을 위한 확장자

외부 링크

• 공식 CoFI 웹사이트
• 캐슬
• CASL의 주 분석 툴인 이질적인 툴 세트 헥트