시맨틱 웹 기술을 이용한 특성 모델 및 특성 구성 검증 도구

• 영문명: Verification Tool for Feature Models and Configurations using Semantic Web Technologies
• 발행기관: 한국IT서비스학회
• 저자명: 최승훈(Seung-Hoon Choi)
• 간행물 정보: 『한국IT서비스학회지』한국IT서비스학회지 제10권 제3호, 189~201쪽, 전체 13쪽
• 주제분류: 경제경영 > 경영학
• 파일형태: PDF
• 발행일자: 2011.09.30

영문 초록

Feature models are widely used to model commonalities and variabilities among products during software product line development. Feature configurations are generated by selecting the features to be included in individual products, Automated tools to identify errors or inconsistencies in the feature models and configurations are essential to successful software product line engineering. This paper proposes a verification technique and tool based on semantic web technologies such as OWL, SWRL and Protege API. This approach checks the feature model and configuration based on predefined rules and provides information on existence of errors as well as the kinds of those errors. This approach is extensible due to ease of rule modification and may be easily applied to other environments because semantic web technologies can be easily integrated with other programming environments. This paper demonstrates how various semantic web-related technologies can support automatic verification of one kind of software development artifact, the feature model.

목차

Abstract

1. Introduction

2. Ontology for Feature Models and Configurations

3. Verification of Feature Models and Configurations

4. Feature Model Verification Tool

5. Related Works

6. Conclusions

References

저자소개

키워드

Feature Model Feature Configuration Verification Semantic Web OWL SWRL