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

  • 2008.05a
  • /
  • Pages.324-326
  • /
  • 2008
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

Design of Behavior Conformance Verifier for Component Interface

컴포넌트 인터페이스의 행위 호환성을 검증하는 도구 설계

  • Kim, Ho-Jun (School of Electrical Engineering and Computer Science, Kyungpook National University) ;
  • Lee, Woo-Jin (School of Electrical Engineering and Computer Science, Kyungpook National University)
  • 김호준 (경북대학교 전자전기컴퓨터학부) ;
  • 이우진 (경북대학교 전자전기컴퓨터학부)
  • Published : 2008.05.16
Download PDF
⟨ Previous Next ⟩

Abstract

컴포넌트 기반 개발(Component Based Development, CBD)은 높은 품질의 소프트웨어를 신속하고 효과적으로 개발할 수 있는 방법으로써 각광 받아 왔다. 하지만 CBD를 이용한 기존의 소프트웨어 개발은 컴포넌트의 행위를 배제하고 컴포넌트 인터페이스만 참조하여 컴포넌트를 설계함으로써, 컴포넌트의 구체적인 행위에 대한 파악과 컴포넌트 간 인터페이스 호환성 보장이 불가능하였다. 이에 따라 컴포넌트 설계 단계에서 컴포넌트의 행위를 상태머신으로 표현하고, 표현된 상태머신을 통해 컴포넌트의 행위 호환성을 보장할 필요가 있다. 이 연구에서는 상태머신으로 표현된 컴포넌트의 행위를 관찰 일치(observation equivalence)와 호출 일관성(invocation consistency)의 개념을 이용하여 행위 호환성을 검증하는 방법을 제공하고, 동적으로 이를 수행하는 도구를 설계한다.

Keywords