소프트웨어 제품라인을 구축하는 과정에서 가장 중요한 활동은 해당 도메인에서의 공통성과 가변성을 식별하고 이를 반영하여 재사용 가능한 아키텍처와 컴포넌트를 구축하는 것이다. 본 논문에서는 휘처 기반으로 가변성을 식별하는 FORM(feature oriented reuse method)과 소프트웨어 모델링의 표준인 UML(unified modeling language)을 통합한 FORM-UML 방법론의 각 모델 구축 과정에 가변성을 추가할 수 있는 기법을 제안하였다.
UML이 제공하는 스테레오 타입의 확장 메카니즘을 이용하여 FORM-UML을 구성하는 요소에 가변성을 표현할 수 있도록 하였다. 가변성 표현을 위한 두 가지 관점으로는 재사용의 유형과 가변성의 유형만을 고려하였다. 재사용의 유형으로는 있는 그대로의 재사용인 블랙박스와 내부 구현을 변경할 가능성이 있는 화이트박스로 구분하였다. 가변성 유형으로는 필수, 선택, 대안으로 구분하였다. 재사용 유형과 가변성 유형의 조합으로 FORM-UML 구성 요소의 가변성을 식별하고 표현할 수 있는 스테레오 타입과 아이콘을 제안하였다.
제품라인으로부터 하나의 제품을 만드는 과정은 제품이 가져야 하는 휘처에 따라 이를 구현하는 컴포넌트를 조립하는 것이다. 이를 위해서는 휘처와 휘처를 구현하는 요소들간의 추적성이 있어야 하고, 휘처의 가변성과 관련요소의 가변성간에 논리적 일관성이 있어야 한다. 본 논문에서는 휘처의 가변성과 관련요소의 가변성간의 논리적 일관성을 검증할 수 있는 규칙을 제안하였다. 컴포넌트간에 포함관계를 갖는 경우 복합 컴포넌트의 가변성과 요소 컴포넌트의 가변성간의 논리적 일관성, 이들과 휘처간의 일관성을 검증할 수 있는 규칙을 제안하였다.
본 논문에서 제안한 가변성 모델링 방법과 가변성 추적관계들간의 일관성 검증 규칙을 영상분석도메인에 적용하여 영상분석제품라인을 구축하였다. 제안한 가변성 모델링 기법을 통해 영상분석제품라인의 FORM-UML 모델에 표현한 가변성 정보는 모델의 복잡함을 증가시키지 않으면서 쉽게 이해할 수 있는 장점을 확인할 수 있었다. 또한 일관성 검증 규칙을 통해 모델링 과정에서 개발자들이 범할 수 있는 논리적 오류를 미리 발견하여 제품라인의 정확성을 높힐 수 있었다.
본 논문에서는 소프트웨어 제품라인 공학 방법론중 하나인 FORM 방법론을 확장한 FORM-UML을 가변성과 추적성을 표현할 수 있도록 확장하였으며, 확장된 모델을 통해 휘처와 구성요소간의 일관성과 추적성을 유지할 수 있도록 일관성 검증규칙을 제시했다. 또한, 기존의 복잡한 가변성 표기법을 간단하게 정의한 가변성 표시 방법을 제시했다.