사양 기술 언어
사양 기술 언어(하자 기술 언어)는, 시스템등의 사양을 기술하는, 컴퓨터 언어(즉 형식 언어)이다.형식적이지 않은 사양 기술도 있지만(후술), 그렇게 말한 것을 포함해 어떠한 주장이 되고 있는 경우도 있다.
프로그램 언어가 시스템 그 자체에 변환되는데 대해, 사양 기술 언어는 반드시 시스템에 자동변역되는 것이 아니고, 어디까지나 사양의 타당성을 검증하는 것에 중점을 두고 있다.소프트웨어 공학에 있어서의 일반적인 설계 프로세스의 위치설정으로부터, 많게는 프로그램 언어를 기술하는 전단층에 기술되는 것을 기대하고 있다.
사양 기술과 검증의 방법에 대해 설명한다.사양 기술에서는, 어떠한 시스템의 사양을 논리학적 혹은 대수학적으로, 형식적으로 기술한다(형식 사양 기술).검증으로는, 논리학이나 대수학에 근거해(즉 「기계적」으로), 무모순성등이라고 하는 시스템에 있어서의 「바람직한 성질」의 보증, 혹은 데드 록의 가능성이 있다고 한 「바람직하지 않은 성질」의 부존재를 보증한다(혹은 존재하는 것을 나타내, 수정을 재촉한다).대표적인 형식적 사양 기술 언어로서 Z언어나 LOTOS등이 있다.연구 단계에서는 긴 역사를 가지지만, 기술이 복잡하고 고도의 스킬을 요구하는 위, 시스템 전체의 사양을 모두 표현하려면 방대한 양의 기술이 필요하게 된다.
또, 검증이 아닌 방법도 있다.예를 들어, 완전한 타당성은 보증할 수 없지만, 시뮬레이션을 실시하는 것으로, 있는 한정되었을 경우에 대한 동작을 모의 해 확인하는 방법도 있다.SpecC는 이 입장을 취한다.프로토타이핑도 이 범주에 있다.
형식적이지 않은 사양 기술(언어) 편
이제 하나는, 어디까지나 시스템 전체의 모델링에 중점을 두어, 사양에 대한 인간의 이해 용이성을 향상시키는 것으로, 설계자 자신에 의해서(혹은 설계자끼리의 커뮤니케이션에 의해서) 타당성을 검토시키는 것이다.UML가 이것에 해당한다고 하는 주장도 있다.어쨌든, 형식적이지 않은 이상, 논리적으로 무엇인가가 보증될 것은 없고, 예를 들어 쌍방의 당사자가 「서로 오해는 없다」라고 믿고 있었다고 해도, 「그렇게 믿고 있다」에서만 없다.
사양 기술 언어 일람
This article is taken from the Japanese Wikipedia 사양 기술 언어
This article is distributed by cc-by-sa or GFDL license in accordance with the provisions of Wikipedia.
In addition, Tranpedia is simply not responsible for any show is only by translating the writings of foreign licenses that are compatible with CC-BY-SA license information.
0 개의 댓글:
댓글 쓰기