UML기반 컴포넌트 인터페이스의 행위 호환성을 검증하는 도구의 설계 및 구현 = Design and implementation of behavioral conformance verifier between component interfaces in UML

다국어 초록 (Multilingual Abstract)

Component based development(CBD) has become increasingly important in the software industry. However, in the current CBD approach with UML, the absence of behavioral description of components brings about a cost problem which causes semantic errors on the testing phase. Accordingly we cannot grasp the usage pattern of component by its provided interfaces which refer to an abstraction of software component. And we cannot guarantee the behavioral conformance of provided and required interfaces of components. Solving these problems, we describe the state machine for behavior description of component and guarantee the behavior conformance of component interfaces through the state machines at the component modeling phase. We also propose a measure to guarantee the behavior conformance of component interface with concept of observation equivalence and invocation consistency. And we provide the analyzing tool which guarantees the behavior conformance of component interfaces.

목차 (Table of Contents)

• 제1장 서론 = 1
• 제2장 연구 배경 = 4
• 2.1 컴포넌트 기반 개발 = 4
• 2.1.1 컴포넌트 정의 및 특징 = 4
• 2.1.2 컴포넌트 기반 개발의 문제점 = 7
• 2.2 기존 컴포넌트 행위 호환성 검증 연구 = 8
• 제3장 컴포넌트 인터페이스의 행위 호환성 검증 = 11
• 3.1 컴포넌트 행위 표현 = 12
• 3.1.1 상태머신 = 12
• 3.1.2 LTS = 14
• 3.2 상태머신의 LTS변환 = 16
• 3.2.1 LTS 변환 규칙 = 16
• 3.2.2 LTS 합성 규칙 = 18
• 3.3 컴포넌트의 인터페이스 명세에 대한 검증 = 19
• 3.4 컴포넌트 간 인터페이스의 연결성 검증 = 26
• 제4장 컴포넌트 인터페이스의 행위 호환성 검증 도구 설계 = 31
• 4.1 컴포넌트 인터페이스의 행위 호환성 검증 도구의 구조 = 31
• 4.1.1 UML 다이어그램 편집기 = 32
• 4.1.2 행위 호환성 검증기 = 33
• 4.2 상호작용 메커니즘 = 34
• 4.2.1 컴포넌트 다이어그램 편집기 상에서 검증 요청 시나리오 = 34
• 4.2.2 행위 호환성 검증기 상에서 검증 수행 시나리오 = 37
• 제5장 구현 및 성능 측정 = 40
• 5.1 구현 환경 = 40
• 5.2 사례 연구 = 41
• 5.3 성능 측정 및 평가 = 48
• 제6장 결론 및 향후 연구 = 51
• 참고문헌 = 52