소프트웨어 제품라인의 휘처모델과 구성요소간 가변성에 대한 일관성 검증 규칙
Consistency Checking Rules of Variability between Feature Model and Elements in Software Product Lines
0
조회
0
다운로드
2
인용
0
참고문헌
키워드
초록
모든 기업들은 높은 품질의 정보시스템과 높은 생산성을 가지는 소프트웨어 제품을 만들기 위해 소프트웨어 제품라인 공학(software product line engineering)을 도입하고 있다. 소프트웨어 제품라인 방법론은 다양한 모델들을 가지고 있으며, 각 모델은 추상화 관점과 수준이 서로 다르다. 이러한 모델에 존재하는 요소들간 추적성(traceability)과 가변성(variability) 정보의 일관성(consistency)을 유지하는 것이 중요하다. 본 연구에서는 휘처(feature)의 가변성과 다른 산출물에 정의한 가변성의 일관성을 검증하는 규칙을 제시하였다.
Abstract
Many companies have tried to adopt Software Product Line Engineering for improving the quality and productivity of information systems and software product. There are several models defined in software product line methodology and each model has different abstraction level. Therefor it is important to maintain the traceability and consistency between models. In this paper, consistency checking rules are suggested by traceability matrix of work products.
참고문헌 (12)
- Frank Van Der Linden, "Software Product Line in Action" (2007), Springer
- Tian Hangpei, "Gaining Flexibility and Performance of Computing Using Application-Specific Instructions and Reconfigurable Architecture", International Journal of Hybrid Information Technology, 2, pp.2~ (2009)
- Variability in Software product lines, "Felix Bachmann", Software Engineering Institute, ~, pp.CMU (2005), SEI-2005-TR-012
- Jean-Christophe TRIGAUX and Patrick HEYMANS, "Software Product Lines: State of the art", EPH3310300R0462, 2003
- Mikael Svahnberg, "A Taxonomy of Variability Realization Techniques", SP&E, 35, pp.8~ (2005)
- "IEEE Standard Glossary of Software Engineering Terminology", IEEE Std 610.12-1990, ~ (1990)
- S. H. Kim, "Variability Modeling Method for FORM-UML and Consistency Checking Techniques", ~ (2012)
- Kyo C. Kang, "FORM : A Feature-Oriented Reuse Method with Domain-Specific Reference Architectures", Annals of software engineering, 5(1) (1998)
- NIPA, "Applying Guide of Engineering Technology for Software Product Lines based on Software Reuse", ~ (2009)
- Tonny Kurniadi Satyananda, "Formal Verification of Consistency between Feature Model and Software Architecture in Software Product Line", Software Engineering Advances, ~ (2007)
- S. H. Kim, "Consistency Checking Rules of Variability between Feature Model and Elements in Software Product Lines" (2012)
- S. H. Kim, "Construction of Online Classroom Monitoring System", The 34th Fall Conference of KIPS, 17(2), pp.421~424 (2010)