• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권6호
• /
• pp.431-442
• /
• 2009

소프트웨어 제품 생산 라인(Software Product Line) 공학은 새로운 소프트웨어 개발 패러다임으로 각광받고 있다. SPL에 FORM(Feature-Oriented Reuse Method) 방법론을 적용하면, 휴대전화나 디지털TV 같이 공통점이 많은 제품군의 다양한 소프트웨어를 휘처 모델링을 통해 만들어진 재사용 가능하고 유연한 컴포넌트를 조합하여 생산해 낼 수 있다. 한편, MDA(Model Driven Architecture) 방법론은 PIM(Platform Independent Model) 을 통해 다양한 개별 플랫폼을 위한 소프트웨어를 생산할 수 있게 하는 새로운 기술을 제공한다. 위 두 가지 방법론의 장점을 조합하면 공통점을 공유하면서 다양한 플랫폼에서 동작하는 제품군의 소프트웨어를 생산하는데 도움이 된다. 이 논문에서는 FORM 방법론과 MDA 방법론을 조합하기 위해 먼저, 프로파일링 기법을 통해 UML2.0을 확장하여 FORM 아키텍처와 Parameterized Statechart 모델링이 가능하게 한다. 다음으로, 휘처가 휘처 모델과 Parameterized Statechart사이에서 일관성 있게 element의 형태로 위치하고 있는지 검증하는 일관성 규칙을 제공한다. 몇 가지 규칙은 FORM 아키텍처와 Parameterized Statechart 사이의 일관성을 검사하기 위해 고안되었다. 마지막으로, 엘리베이터 시스템의 사례연구를 통해 이 논문에서 제안하는 모델링 기법과 일관성 검사 법칙의 유효성을 제시한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권3호
• /
• pp.289-300
• /
• 2006

제품 라인은 재사용을 위한 연구 방법으로 널리 인식되어 왔다. 제품 라인에서 대표적인 중요 자산은 소프트웨어 컴포넌트이다. 그러나, 제품 라인에 대한 많은 관심에 비해 제품 라인에서 컴포넌트 구조 및 스펙에 대한 연구는 아직 미흡하다. 본 논문은 제품 라인에서 가변성(variability)을 반영한 컴포넌트 구조와 컴포넌트 스펙 방법을 제시한다. 본 논문은 FORM(Feature-Oriented Reuse Method)을 기반으로 제품 라인 컴포넌트의 정적 및 동적 구조, 제품 라인 컴포넌트의 행동 및 동시성 정보를 기술한다. 제품 라인 컴포넌트 스펙에 대한 각 정보는 블랙박스(black-box)와 화이트박스(white-box) 형태로 구분되어 기술되며 각 스펙 정보는 BNF로 정형화된다. 그 스펙들이 제품 라인 컴포넌트의 많은 서로 다른 특징의 충분한 고려를 통해 기술되기 때문에 본 논문은 제품 라인에서 컴포넌트의 손쉬운 개발을 돕고 제품라인 공학 방법론의 적용 방법을 잘 이해하도록 돕는다.

• 한국컴퓨터정보학회논문지
• /
• 제28권1호
• /
• pp.71-78
• /
• 2023

본 논문에서는 함정 전투관리체계 소프트웨어 중 하나인 TV비디오 소프트웨어의 구조를 분석하고, 함정 하드웨어 단종대체로 인한 소프트웨어 수정을 최소화하는 표준 아키텍처를 제안한다. 하드웨어 변경에 따른 TV비디오 소프트웨어의 가변요소와 공통요소를 휘처 기반 재사용 방법(FORM:Feature-Oriented Reuse Method)을 통해 함정 전투관리체계와 통신하고 TV화면을 전시하는 공통 부분과 운용자와 TV카메라 사이의 통신을 하는 가변부분을 분리하여 함정 하드웨어 단종대체 시 수정되는 클래스가 최소화 되도록 클래스 구조를 새롭게 설계하였다. 또한, Strategy 디자인 패턴을 적용하여 하드웨어 단종대체 시 하드웨어 종속 API를 직접 사용하는 클래스를 효율적으로 추가 및 수정하고, 단종품과 대체품 모두 사용가능한 소프트웨어가 되도록 설계하였다. 마지막으로 기존 TV비디오 소프트웨어와 제안하는 TV비디오 소프트웨어의 신뢰성시험 수행 시간 및 기능시험 수행 시간을 측정하여 비교하였고, 최종적으로 하드웨어 단종대체 비용이 감소된 것을 확인하였다.

• 정보처리학회논문지D
• /
• 제19D권1호
• /
• pp.81-94
• /
• 2012

FORM 아키텍처 모델은 소프트웨어 프로덕트 라인 내의 제품 개발에 재사용될 수 있는 아키텍처로서 FORM 방법론의 핵심적인 역할을 한다. 하지만 기존의 FORM 아키텍처 모델을 실무에 적용할 때 다음과 같은 문제점들이 있다. 첫째, UML(Unified Modeling Language)과 같이 표준화된 모델이 아니므로, 이 모델을 작성하기 위해서는 고유한 모델링 도구가 필요하다. 둘째, FORM 아키텍처 모델은 휘처모델과의 대응 관계를 통해 가변성을 관리만 할 뿐, 아키텍처의 가변성을 명시적으로 나타내지 않았다. 본 논문에서는 이러한 FORM아키텍처 모델의 문제점을 해결하기 위해서, 먼저 FORM 아키텍처 모델을 UML 모델로 표현할 수 있는 방법을 개발하였다. 이는 FORM 아키텍처 모델링에 다양한 UML모델링 도구를 이용할 수 있는 장점이 있다. 또한, 휘처모델과의 대응관계를 통해서 FORM 아키텍처 모델의 가변성을 효과적으로 관리할 뿐만 아니라 표현 할 수 있는 방법을 개발하였다.