표제지
국문요약
목차
I. 서론 13
II. 관련 연구 16
1. 소프트웨어 제품라인 공학 16
2. FORM-UML 18
3. UML확장 메커니즘을 기반한 가변성 모델링 방법 20
4. 휘처모델과 구성요소간 정형적 일관성 검증 25
III. 연구 방법 및 내용 29
1. FORM-UML 모델 기반 가변성 모델링 29
가. 가변성 표현 방법 30
나. 가변성 표현 대상 32
다. FORM-UML 뷰별 가변성 관리 방법 33
2. 추적성 관리 37
가. 추적성 개념 모델 38
나. 추적성 표현 대상 41
다. 추적성을 정의한 XML 스키마 42
3. 일관성 검증 규칙 46
가. 휘처와 구성요소간 추적성 수립 규칙 46
나. 휘처를 구현하는 요소와 그 하위요소간 규칙 48
다. 휘처를 구현하는 요소와 그 동등요소간 규칙 49
IV. 연구 결과 및 적용 사례 51
1. FORM-UML 기반의 영상기반평가 도메인 모델 51
2. 가변성 적용 사례 53
가. 개념 뷰 54
나. 프로세스 뷰 56
다. 전개 뷰 58
라. 모듈 뷰 59
3. 추적성 적용 사례 61
가. 개념 뷰 61
나. 프로세스 뷰 63
다. 전개 뷰 65
라. 모듈 뷰 66
4. 일관성 검증 규칙 적용 사례 67
가. 휘처와 구성요소간 추적성 적용 예 68
나. 휘처를 구현하는 요소와 그 하위요소간 규칙 71
다. 휘처를 구현하는 요소와 그 동등요소간 규칙 74
V. 결론 75
참고문헌 76
ABSTRACT 79
〈표 II-1〉 FORM-UML의 각 뷰별 구성요소 분류 20
〈표 II-2〉 다이어그램별 스테레오타입 및 태그값 23
〈표 II-3〉 Mandalory에 대한 Theorems 26
〈표 II-4〉 Optional에 대한 Theorems 27
〈표 II-5〉 Alternative에 대한 Theorems 27
〈표 II-6〉 Requires에 대한 Theorems 27
〈표 II-7〉 Excludes에 대한 Theorems 28
〈표 III-1〉 가변성 표현을 위한 스테레오타입 31
〈표 III-2〉 유형별 가변성 표현 스테레오타입을 도형으로 표현 31
〈표 III-3〉 각 뷰별 구성요소에 대한 가변성 표현 여부 33
〈표 III-4〉 각 뷰별 추적성 표현 대상 42
〈표 III-5〉 휘처와 구성요소간의 규칙 48
〈표 IV-1〉 영상기반평가도메인의 공통성과 가변성 52
[그림 II-1] 소프트웨어 제품라인 공학 프로세스 17
[그림 II-2] FORM 방법론의 각 뷰별 관계 19
[그림 II-3] 컴포넌트 가변점 뷰의 예 22
[그림 II-4] 클래스 다이어그램에 적용한 가변성 표현의 예 23
[그림 III-1] 가변성 표현 대상 30
[그림 III-2] 개념 뷰에 가변성을 포함하기 위한 스키마 34
[그림 III-3] FORM-UML에 가변성이 적용된 프로세스 뷰 스키마 35
[그림 III-4] FORM-UML에 가변성이 적용된 전개 뷰 스키마 36
[그림 III-5] FORM-UML에 가변성이 적용된 모듈 뷰 스키마 37
[그림 III-6] 휘처와 FORM-UML 모델간의 추적관계 및 종속관계 39
[그림 III-7] FORM-UML 모델간 종속 관계에 대한 메타 모델 40
[그림 III-8] 추적성에 대한 개념 모델 40
[그림 III-9] XML로 정의한 개념 뷰에 대한 추적성 스키마 43
[그림 III-10] XML로 정의한 프로세스 뷰에 대한 추적성 스키마 44
[그림 III-11] XML로 정의한 전개 뷰에 대한 추적성 스키마 45
[그림 III-12] XML로 정의한 모듈 뷰에 대한 추적성 스키마 46
[그림 IV-1] 영상기반평가도메인의 휘처모델 53
[그림 IV-2] 영상기반평가도메인의 개념 뷰 55
[그림 IV-3] [그림 IV-2] 을 XML로 저장한 예 56
[그림 IV-4] 영상기반평가도메인의 프로세스 뷰 57
[그림 IV-5] [그림 IV-4] 을 XML로 저장한 예 58
[그림 IV-6] 영상기반평가도메인의 전개 뷰 59
[그림 IV-7] [그림 IV-6] 를 XML로 저장한 예 59
[그림 IV-8] 영상기반평가도메인의 모듈 뷰 60
[그림 IV-9] [그림 IV-8] 을 XML로 저장한 예 61
[그림 IV-10] 영상기반평가도메인의 개념 뷰 62
[그림 IV-11] [그림 IV-10] 를 XML로 표현한 예 63
[그림 IV-12] 영상기반평가도메인의 프로세스 뷰 64
[그림 IV-13] [그림 IV-12] 을 XML로 표현한 예 64
[그림 IV-14] 영상기반평가도메인의 모듈 뷰 65
[그림 IV-15] [그림 IV-14] 을 XML로 저장한 예 66
[그림 IV-16] 영상기반평가도메인의 모듈 뷰 67
[그림 IV-17] [그림 IV-16] 를 XML로 저장한 예 67
[그림 IV-18] 영상기반평가도메인의 등록 관련 휘처 68
[그림 IV-19] 영상기반평가도메인의 프로젝트 컴포넌트 69
[그림 IV-20] 영상기반평가도메인의 종합평가 휘처 69
[그림 IV-21] 영상기반평가도메인의 종합평가 컴포넌트 70
[그림 IV-22] 영상기반평가도메인의 스냅샷평가 휘처 70
[그림 IV-23] 영상기반평가도메인의 스냅샷평가 컴포넌트 71
[그림 IV-24] 가변성이 VP인 상위컴포넌트의 예 72
[그림 IV-25] 가변성이 VP인 상위컴포넌트의 예 73
[그림 IV-26] 가변성이 VOP인 상위컴포넌트의 예 73
[그림 IV-27] 가변성이 VAP인 상위컴포넌트의 예 74