Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2011.06b
  • /
  • Pages.163-166
  • /
  • 2011
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

The Z based Framework for Network System Specification

네트워크 시스템 명세를 위한 Z 기반 프레임워크

  • Published : 2011.06.29

⟨ Previous Next ⟩

Abstract

정형명세 언어인 Z는 상태기반의 명세언어로써 시스템의 기능성을 명세하고 검증하기 좋은 장점을 가지고 있다. 또한 Z에서 제공하는 스키마를 이용하여 복잡한 구조의 상태를 나타내기에 용이하다. 하지만 2개 이상의 시스템으로 구성된 네트워크 상의 통신을 나타내기가 힘든 단점이 있다. 본 논문에서는 Z를 이용하여 네트워크 프로토콜을 명세하기 위한 프레임워크를 제시하고 사례연구를 통해 적용가능성을 살펴본다. 본 연구결과를 토대로 네트워크로 구성된 안전 필수 시스템의 명세 가이드라인을 제시한다.

Keywords

Acknowledgement

Supported by : 한국연구재단