모델기반 컴포넌트 정제 과정의 행위 일관성 검증을 위한 변환기
A Model Translator for Checking Behavioral Consistency of Abstract Components
1
조회
0
다운로드
1
인용
0
참고문헌
키워드
초록
모델 중심 컴포넌트 기반 개발 방법은 개발 대상 시스템을 하나의 추상컴포넌트로 보고, 재귀적인 컴포넌트의 분화(decomposition)와 정제(refinement) 과정을 통하여 물리적인 컴포넌트를 도출해내는 하향식 개발방식이다. 본 연구에서는 모델 기반 컴포넌트 개발기법을 근간으로 한컴포넌트 정제 과정에서 정제 전·후의 추상컴포넌트들 간의 행위 일관성을 정형분석하기 위한 모델 변환기를 개발하였다. 이 모델변환기는 컴포넌트의 분화와 정제 전 과정에 걸쳐 사용되어 정제 전·후 컴포넌트 간의 상호작용 오류로 인한 잠재적인 결함을 조기에 발견하고 해결하는데 기여할 수 있다. 본 논문은 추상컴포넌트의 각 구성요소들을 정형검증기 SPIN의 구성요소로 변환하기 위해 사용된 변환방법들과 변환기의구성요소들을 소개한다. 개발된 변환기는 자동차 거울조종시스템, 무선센서네트워크를 위한 운영체제 등의 사례연구에 적용되어 그 효용성을입증하였다.
Abstract
Model-based Component development methodologies consider the whole system as an abstract component and develop physical components through recursive decomposition and refinements of abstract components in a top-down manner. We developed a model translator that can be used to formally verify interaction consistency among components, especially the interaction behavior between before- and after- refinements of abstract components. This translator can be used to identify potential problems in the refinement process so that problems can be addressed from the early stage of development. This paper introduces our translation approach and the organization of the translator. The translator has been applied to two case studies to show its usefulness.
참고문헌 (8)
- 김도형, "객체지향 분석과정에서 오류와 일관성 점검 방 법", 정보과학회 논문지(B), 26(3), pp.335~451
- 김치수, "객체지향 분석의 완전성과 일관성 검증을 위한 툴의설계", 정보처리학회 논문지, 4(10), pp.2453~2460
- 김호준, "UML 상태기계 다이어그램을 이용한 컴포넌트 인터페이스의 행위 호환성 검증 도구", 정보처리학회논문지D, 16(1), pp.65~72 (2009), 한국정보처리학회
- 최윤자, "내장형 소프트웨어 컴포넌트의 상향식 합성과 검증", 정보처리학회논문지D, 17(6), pp.415~422 (2010), 한국정보처리학회
- Y. Choi, "Design verification in model-based μ -controller development using an abstract component", Journal of Software Systems and Modeling, 10(1) (2011)
- G. J. Holzmann, "The SPIN Model Checker: Primer and Reference Manual" (2003), Addison-Wesley Publishing Company
- J. Hatcliff, "Cadena: an integrated development, analysis, and verification environment for component-based systems", Proceedings of 25th International Conference on Software Engineering, pp.160~173 (2003)
- A. Basu, "Modeling Heterogeneous Real-Time Components in BIP", Proceedings of 4th IEEE International Conference on Software Engineering and Formal Methods, pp.3~12 (2006), IEEE Computer Society