한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)
- 한국정보처리학회 2010년도 추계학술발표대회
- /
- Pages.276-279
- /
- 2010
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
DOI QR Code
온톨로지 기반의 특성 모델 검증 도구
Feature Model Validation Tool based on Ontology
- Kim, Min-Kyung (Dept of Computer System, Duksung Women's University) ;
- Song, Eun Chong (Dept of Computer System, Duksung Women's University) ;
- Han, Ji Hee (Dept of Computer System, Duksung Women's University) ;
- Choi, Seung-Hoon (Dept of Computer System, Duksung Women's University)
- 발행 : 2010.11.12
초록
소프트웨어 제품 라인 개발 패러다임은 관련 제품들 사이의 공통점과 차이점을 이용해 보다 전략적인 재사용을 가능하게 함으로써 소프트웨어 개발 생산성을 높여 주는 개발 방법론이다. 공통점과 차이점을 분석하고 모델링하기 위해 가장 중요한 모델이 특성 모델이다. 특성 모델은 규모가 커짐에 따라 오류를 포함할 가능성이 커지며 이를 검증하기 위한 자동화된 도구가 필요하다. 본 논문에서는 온톨로지를 자바 언어로 구현 가능하게 해주는 Protege API, OWL기반의 시맨틱 웹 규칙 언어인 SWRL, 규칙 추론 엔진인 Pellet Reasoner 등의 기술을 이용한 특성 모델 검증 도구를 제안한다.
키워드