사양 언어
Specification language |
사양 언어는 시스템 분석, 요구사항 분석 및 시스템 설계 시 시스템의 [1]실행 가능한 코드를 생성하는 데 사용되는 프로그래밍 언어보다 훨씬 높은 수준으로 시스템을 기술하기 위해 사용되는 컴퓨터 과학에서 사용되는 형식 언어입니다.
개요
사양 언어는 일반적으로 직접 실행되지 않습니다.그들은 무엇을 어떻게 묘사하는 것이 아니라 무엇을 묘사하는 것이다.실제로 요건 사양이 불필요한 구현 세부사항으로 어수선한 경우에는 오류로 간주됩니다.
많은 규격 접근법에 대한 일반적인 기본 가정은 프로그램이 그 집합에 대한 함수와 함께 데이터 값의 집합을 포함하는 대수적 또는 모델 이론 구조로서 모델링된다는 것이다.이 추상화 수준은 프로그램의 입출력 동작의 정확성이 다른 모든 속성보다 우선한다는 견해와 일치합니다.
(예를 들어 CASL에 의해 취해진) 사양에 대한 속성지향적 접근법에서, 프로그램의 사양은 주로 논리적인 공리로 구성되며, 일반적으로 평등이 중요한 역할을 하는 논리 시스템에서 기능들이 만족해야 하는 속성들을 설명하며, 종종 상호 관계에 의해서만 설명된다.이는 VDM 및 Z와 같은 프레임워크의 이른바 모델 지향 사양과 대조되며, 이는 필요한 동작을 단순하게 실현하는 것으로 구성됩니다.
사양은 실제로 구현되기 전에 개선 프로세스(실장 세부 사항 입력)를 거쳐야 합니다.이러한 미세화 프로세스의 결과는 실행 가능한 알고리즘으로 프로그래밍 언어 또는 가까운 사양 언어의 실행 가능한 하위 집합으로 표현됩니다.예를 들어, Hartmann 파이프라인이 적절히 적용되면 직접 실행 가능한 데이터 흐름 사양으로 간주될 수 있습니다.다른 예로는 특정 응용 프로그램 내용이 없으며 실행 가능해야 하는 Actor 모델이 있습니다.
사양 언어의 중요한 용도는 프로그램 정확성의 증명 작성을 가능하게 하는 것입니다(정리 프로버 참조).
언어들
「 」를 참조해 주세요.
레퍼런스
- ^ Joseph Goguen "One, None, A Specification Languages" 초대지, IFIP Congress 1986 pp 995-1004
- ^ Fuchs, Norbert E.; Schwertel, Uta; Schwitter, Rolf (1998). "Attempto Controlled English—not just another logic specification language" (PDF). International Workshop on Logic Programming Synthesis and Transformation. Lecture Notes in Computer Science. Vol. 1559. Springer. pp. 1–20. doi:10.1007/3-540-48958-4_1. ISBN 978-3-540-65765-1.
- ^ Linden, Theodore; Lawrence Markosian (1989). "Transformational Synthesis Using Refine". In Richer, Mark (ed.). AI Tools and Techniques. Ablex. pp. 261–286. ISBN 0-89391-494-0. Retrieved 6 July 2014.
