한국정보처리학회논문지 (The Transactions of the Korea Information Processing Society)
- 제5권12호
- /
- Pages.3117-3126
- /
- 1998
- /
- 1226-9190(pISSN)
LOTOS 정형명세의 시각적 분석 지원 도구
A Visual Analysis Tool for LOTOS Specifications
- 조수선 (한국전자통신연구원 컴퓨터·소프트웨어기술연구소) ;
- 이광용 (숭실대학교 생산기술연구소) ;
- 오영배 (한국전자통신연구원 컴퓨터·소프트웨어기술연구소선임연구원 개발자동화지원도구, 영역기반재사용기술 과제책임자)
- Jo, Su-Seon ;
- Lee, Gwang-Yong (Production Technology Research Center, Soongsil University) ;
- O, Yeong-Bae
- 발행 : 1998.12.01
초록
본 논문에서는 LOTOS 정형 명세의 확인을 위한 시각적 분석 지원 도구의 개발을 소개한다. 이 도구는 대표적인 두 가지 기능을 제공하는데 명세의 시각적 시뮬레이션과 시각적 확장 기능이 그것이다. 정형 기법 지원도구에서 명세의 분석을 위한 시각적인 방법을 제공하는 것은 시스템 개발에 실질적인 적용 사례가 드문 현실에서, 산업계 등으로 정형기법을 확산시키기 위한 중요한 요인이 된다. 그럼에도 불구하고 기존의 정형 기법 지원 도구에 관한 연구에서는 이 부분을 소홀히 다루었다. 본 연구에서 개발된 도구는 LOTOS 명세 작성자로 하여금 비주얼 전이 트리를 이용하여 보다 직관적이고 편리하게 명세를 분석할 수 있도록 지원한다.
키워드