소프트웨어 프로덕트 라인에서 휘처모델과 구성요소간 가변성에 대한 일관성 검증 규칙

모든 기업들은 높은 품질의 정보시스템과 높은 생산성을 가지는 소프트웨어 제품을 만들기 위해 소프트웨어 제품라인 공학(Software Product Line Engineering, SPLE)을 도입하고 있다. 소프트웨어 프로덕트 라인 방법론은 다양한 모델들을 가지고 있으며, 각 모델은 추상화 관점과 수준이 서로 다르다. 이러한 모델에 존재하는 요소들간 추적성(traceability)과 가변성 정보의 일관성(consistency)을 유지하는 것이 중요하다. 본 연구에서는 휘처모델의 가변성을 통해 산출물과 가변성의 일관성 검증 규칙을 제시하였고, FOR-UML에 적용하여 휘처와 산출물간 일관성을 유지할 수 있도록 하였다. 또한 본 논문에서 제시된 일관성 검증 규칙을 통해 제품라인 기반 개발에 있어 좋은 품질을 보장할 수 있다.