한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)

한국정보처리학회 (Korea Information Processing Society)
권호 표지
DOI QR코드

DOI QR Code

컴포넌트 모델 정제 과정의 행위 일관성 검증을 위한 모델 변환기

A Model Translator for Behavioral Consistency Checking of Abstract Component

  • 장훈 (경북대학교 전자전기컴퓨터학부) ;
  • 최윤자 (경북대학교 전자전기컴퓨터학부)
  • Jang, Hoon (School of Electrical Engineering and Computer Science, Kyungpook National University) ;
  • Choi, Yunja (School of Electrical Engineering and Computer Science, Kyungpook National University)
  • 발행 : 2009.11.13
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

컴포넌트 기반 개발 방법은 컴포넌트의 재사용으로 인한 개발 비용의 절감뿐만 아니라, 컴포넌트 분석의 재사용으로 인한 검증비용의 절감과 시스템의 질적 향상을 도모할 수 있는 장점을 지니고 있는 반면, 컴포넌트들간 상호작용의 복잡도의 증대로 인한 결함률이 높아질 수 있다. 본 연구에서는 모델 기반 컴포넌트 개발기법을 근간으로한 컴포넌트 정제 과정에서 정제 전, 후의 추상컴포넌트들 간의 행위 일관성을 정형분석하기 위한 모델 변환기를 개발하였다. 이 모델변환기는 컴포넌트의 정제과정 전 단계에 걸쳐 사용되어 컴포넌트 간의 상호작용으로 인한 잠재적인 결함을 조기에 발견하고 해결하는 데 기여할 수 있다.

키워드