• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2009년도 춘계학술대회
• /
• pp.415-418
• /
• 2009

최근 서비스 지향 아키텍처 (Service Oriented Architecture SOA) 기반의 애플리케이션 개발에 맞게 비즈니스 프로세스의 유연성을 확보하고 재사용을 증진시키기 위하여 비즈니스 프로세스 패밀리 모델(Business Process Family Model: BPFM)이 제시되었다. BPFM은 소프트웨어 프로덕트 라인 방법의 가변성 분석 기법을 사용하여 비즈니스 프로세스 군 (family)에서 나타날 수 있는 가변성을 분석하여 이를 명시적으로 표현하고 있는 모델이다. BPFM으로부터 여러 개의 BPM (Business Process Model)을 개발하기 위해서는 가변성 결정 및 가지치기 (Decision and Pruning) 과정을 거쳐야 한다. 이 때 가변성 사이에는 서로 협력적 또는 배타적인 관계를 가질 수 있고 이는 가변성 결정과 가지치기에 영향을 미치게 되는데, 현재 제시된 BPFM에는 이러한 바인딩 정보에 대해서 아직 고려하지 않고 있다. 본 논문에서는 비즈니스 프로세스 군에서 식별될 수 있는 가변성들 사이의 의존관계의 유형을 분석하고 이 정보를 모델의 형태로 나타낼 수 있는 방법을 제시한다. 먼저 BPFM에 포함된 가변성 정보를 독립된 의존관계 분석모델로 추출해 내고 각 가변성 결정유형에 따라 표현방법을 제시한다. 추출된 모델에서 의존관계를 표현하고 가변성 결정이 영향을 미치는 범위의 가변성들을 클러스터할 수 있는 방법을 제공한다. 본 방법을 이용함으로써 가변성 결정회수를 현저히 줄일 수 있음을 사례연구를 통해 보여준다. 또한 잘못된 가변성 결정으로 인한 BPM의 기능 불일치를 해소할 수 있음을 보여준다.

• 정보처리학회논문지D
• /
• 제15D권6호
• /
• pp.803-814
• /
• 2008

제품계열아키텍처는 제품에 따라 선택될 수 있는 가변요소를 포함하고 있는 아키텍처이다. 제품계열아키텍처부터 특정 제품을 위한 유효한 아키텍처를 유도하기 위해서는 제품계열아키텍처 내의 가변요소들을 체계적으로 관리해야 한다. 본 논문에서는 특성모델과 제품계열아키텍처 모델간의 명시적인 대응관계를 통해서 제품계열아키텍처의 가변성을 관리한다. 하지만, 이들 모델 간의 대응관계가 올바르지 않거나, 제품계열 아키텍처의 구성요소들 간에 일관성이 없다면, 제품계열아키텍처의 가변성 관리가 올바르게 이루어지지 않게 된다. 따라서 본 논문에서는 먼저, 제품계열아키텍처를 개념, 프로세스, 배치, 모듈의 네 가지 관점의 모델로 정의하고, 특성 모델과 이들 모델 사이의 대응관계를 정형적으로 정의 한다. 이를 바탕으로 제품계열아키텍처의 올바른 가변성 관리를 위해서, 제품계열아키텍처 모델의 일관성, 다른 관점의 아키텍처 모델간의 일관성, 특성모델과 제품계열아키텍처 모델간의 일관성 검사를 위한 규칙을 정의한다. 이러한 일관성 규칙은 제품계열아키텍처로부터 유효한 제품 아키텍처를 유도하기 위한 이론적 기반을 제공한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제3권1호
• /
• pp.1-6
• /
• 2014

모든 기업들은 높은 품질의 정보시스템과 높은 생산성을 가지는 소프트웨어 제품을 만들기 위해 소프트웨어 제품라인 공학(software product line engineering)을 도입하고 있다. 소프트웨어 제품라인 방법론은 다양한 모델들을 가지고 있으며, 각 모델은 추상화 관점과 수준이 서로 다르다. 이러한 모델에 존재하는 요소들간 추적성(traceability)과 가변성(variability) 정보의 일관성(consistency)을 유지하는 것이 중요하다. 본 연구에서는 휘처(feature)의 가변성과 다른 산출물에 정의한 가변성의 일관성을 검증하는 규칙을 제시하였다.

• 정보처리학회논문지D
• /
• 제16D권5호
• /
• pp.791-800
• /
• 2009

최근 서비스 지향 아키텍처 (Service Oriented Architecture SOA) 기반의 애플리케이션 개발에 맞게 비즈니스 프로세스의 유연성을 확보하고 재사용을 증진시키기 위하여 비즈니스 프로세스 패밀리 모델 (Business Process Family Model: BPFM)이 제시되었다. BPFM은 소프트웨어 프로덕트 라인 방법의 가변성 분석 기법을 사용하여 비즈니스 프로세스 군 (family)에서 나타날 수 있는 가변성을 분석하여 이를 명시적으로 표현하고 있는 모델이다. BPFM으로부터 여러 개의 비즈니스 프로세스 모델 (Business Process Model: BPM)을 개발하기 위해서는 가변성 결정 및 가지치기(Decision and Pruning) 과정을 거쳐야 한다. 이 때 가변성 사이에는 서로 협력적 또는 배타적인 관계를 가질 수 있고 이는 가변성 결정과 가지치기에 영향을 미치게 되는데, 현재 제시된 BPFM에는 이러한 바인딩 정보에 대해서 고려하지 않고 있다. 본 논문에서는 비즈니스 프로세스 군에서 식별될 수 있는 가변성들 사이의 의존관계 유형을 분석하고 이러한 가변성 정보를 독립된 의존관계 분석모델로 표현하는 방법을 제시한다. 또한 추출된 모델을 기반으로 하나의 가변성 결정으로부터 영향을 받는 다른 가변성들을 추적하여 선결정 처리 할 수 있는 방법을 제공한다. 본 방법을 이용함으로써 가변성 결정회수를 줄일 수 있고, 또한 잘못된 가변성 결정으로 인한 BPM의 기능 불일치를 해소할 수 있음을 사례연구를 통해 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(A)
• /
• pp.124-127
• /
• 2011

스마트 폰과 같은 모바일 디바이스의 연산 능력 향상으로 다양한 모바일 어플리케이션의 개발이 증가하고 있다. 특히, 모바일 디바이스에 장착된 다양한 센서를 통해 수집되는 컨텍스트 정보를 기반으로한 모바일 컨텍스트 애플리케이션에 대한 요구가 크게 증가하는 추세이다. 하지만 모바일 컨텍스트는 모바일 디바이스의 다양한 종류와 운영체제, 정보의 종류 등에 따라 다양한 형태가 존재한다. 모바일 컨텍스트의 다양성에 의해 모바일 컨텍스트 애플리케이션 개발에 추가적인 비용이 발생한다. 본 논문에서는 효과적인 모바일 컨텍스트 애플리케이션의 개발을 위한 모바일 컨텍스트의 가변성 모델을 제안한다. 가변성 분석을 통해 모바일 컨텍스트의 다섯 가변점과 각 가변점의 가변치를 정의한다. 또한 제안된 가변성 모델을 기반으로 활용 가능한 사례를 제시하고, 제안된 모델의 평가를 수행한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.466-468
• /
• 2004

개발한 자산의 재사용성을 증대시키기 위해서는 프로덕트 라인에서 가장 중요한 제품간의 공통성과 가변성을 식별하고 이를 표현하는 기술이 잘 정의되어 있어야 한다 이를 위해서는, 다양한 제품의 요구사항을 만족시켜 줄 수 있도록 자산을 모델링 할 때 가변성을 제공하는 부분을 명세화하고 이를 독립적인 모델로 관리함으로써 자산의 재사용성을 향상시키는 방법이 필요하다. 본 논문은 핵심 자산 개발시 정의하는 결정 모델의 유형을 정의하고 결정요소들 간의 관계를 추적할 수 있는 지원 도구의 프로토타입을 제안한다

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

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

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권4호
• /
• pp.328-341
• /
• 2007

소프트웨어 프로덕트 라인을 구축하고자 할 때，첫 단계 활동은 도메인 분석을 통해 요구사항 들에서 가변성을 식별하는 것이고， 다음 단계는 일련의 관련된 프로덕트들의 전체적인 구조를 나타내는 도 메인 아키텍처를 개발하는 것이다 도메인 아키텍처는 소프트웨어 프로덕트 라인에 포함되어 있는 프로덕트들의 공통성과 가변성을 기술함으로써 프로덕트 라인의 핵심자산이 된다. 핵심자산의 가변성은 개발 프로세스가 진행됨에 따라 식별될 수 있는 가변 요소의 종류와 상세화 수준이 달라지기 때문에 아키텍처 수준에서 식별될 수 있는 가변성을 정의하고 이를 체계적으로 식별하여 아키텍처 모델에 명시적으로 표현하는 것이 중요하다. 아키텍처 수준에서 고려해야 하는 가변성은 아키텍처 구성 요소들에서 발생하는 가변성 뿐만 아니라 이들의 구성(configuration) 관계를 나타내는 모텔에서 나타나는 가변성들까지 고려해야 하기 때문에， 이들 사이의 복잡한 관계를 이해하고 표현하는 것은 매우 힘든 일이며 이에 대한 기존 연구가 부족한 실정이다. 본 논문에서는 공통성과 가변성이 명시적으로 고려되는 프로덕트 라인의 핵심 자산으로서 도메인 아키텍처를 개발하는 방법을 제시한다. 이를 위해， 최근 Object Management Group(OMG)에서 채택한 재사용 자산 병세(Reusable Asset Specification; RAS) 모델을 확장하여 공통성과 가변성 개념이 명확히 정의된 도메인 아키텍처 메타모델을 제시한다. 제시되는 메타모델에는 아키텍처의 구성요소들이 정의되어 있으며， 각 구성요소와 모텔에서 식별 될 수 있는 가변성이 상세화 수준에 따라 두 가지 형태로 구분되어 제시되어 있다. 또한 본 메타모델을 기반으로 특정 도메인에 대한 아키텍처에 가변성이 명시적으로 표현되는 방법을 보인다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권2호
• /
• pp.119-127
• /
• 2005

제품계열분석(product line analysis)은 제품계열자산(product line asset)을 개발하기에 앞서, 제품계열 내에 속한 제품들의 다양한 요구사항과 이들 간의 관계 및 제약사항을 분석하는 활동을 말한다. 지금까지 특성모델링(feature modeling)이라 불리는 특성 지향의 공통성과 가변성 분석은 제품계열분석의 핵심적인 부분으로 간주되어 왔다. 비록 공통성과 가변성 분석이 제품계열분석의 핵심적인 요소이지만, 이것만으로는 재사용가능하고 적응성이 뛰어난 제품계열자산(예, 아키텍처와 컴포넌트) 개발에 한계가 있다. 특성간의 의존성 및 특성결합시간도 제품계열자산 개발에 중대한 영향을 미치는 요소이다. 따라서 본 논문에서는 기존에 공통성과 가변성 관점에서 제품계열을 분석한 결과인 특성모델(feature model)을 세 가지의 특성 측면(즉, 제품특성의 공통성과 가변성, 특성간의 의존성, 그리고 특성결합시간)으로 확장한 특성지향의 제품계열분석 모델을 제안한다. 특히, 세 가지 측면의 일관성을 검증하기 위해서, 특성 지향의 제품계열분석 모델을 정형적으로 정의하고, 모델의 일관성을 검사하는 규칙을 제공한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권11호
• /
• pp.739-746
• /
• 2013

소프트웨어 프로덕트라인에서 가변성은 프로덕트라인의 멤버제품들을 차별화하는 특성으로, 가변성의 기술은 의미가 명확하고 선택이 용이하도록 가시화되어야 하며 관리하기 용이하여야 한다. 가변성 기술은 크게 개발 모델에 통합하는 방법과 개발 모델과는 독립적으로 기술하는 방법으로 나눌 수 있다. OVDL (Orthogonal Variability Description Language)은 독립적 가변성 기술 방법이면서 타 방법들의 가지는 의미의 모호성을 개선하기 위하여 제안된 가변성 표현 언어이다. 이 논문은 독립적 가변성 기술 방법의 기반을 제공한 OVM (Orthogonal Variability Model)으로 기술된 IWF (Inter-Working Function) 프로덕트라인의 가변성이 OVDL로 번역될 수 있는지 확인하는 방식으로 OVDL의 가변성 기술 역량을 검증한다.