DOI QR코드

DOI QR Code

A Feature-Oriented Approach to Variability Management and Consistency Analysis of Multi-Viewpoint Product Line Architectures

다중 관점 제품계열아키텍처의 가변성 관리 및 일관성 검사를 위한 특성 지향 접근방법

  • 이관우 (한성대학교 정보시스템공학과)
  • Published : 2008.12.31

Abstract

Product line architectures include variable parts to be selected according to product specific requirements. In order to derive architectures that are valid for a particular product from product line architectures, variabilities of product line architectures must be systematically managed. In this paper, we adopt an approach to variability management of product line architectures through an explicit mapping between a feature model and product line architecture models. If this mapping is incorrect or there exists inconsistency among product line architectural elements, variabilities of product line architectures cannot be managed correctly. Therefore, this paper formally defines product line architectural models in terms of conceptual, process, deployment, and module views, and mapping relationships between the feature model and the architectural models. Consistency rules for correct variability management of product line architectures are defined in terms of consistency in each of product line architecture model, consistency between different architectural view models, and consistency between a feature model and product line architectural models. These consistency rules provide a theoretical foundation for deriving valid product architecture from product line architectures.

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

Keywords

References

  1. P. Clements and L. Northrop, 'Software Product Lines: Practices and Patterns,' Addison-Wesley, Upper Saddle River, NJ, 2002
  2. 이관우, “특성 지향의 제품계열분석 모델의 정형적 정의와 일관성 분석”, 정보과학회논문지, 제32권 제2호, pp.119-127, 2005
  3. K. C. Kang, S. Cohen, J. Hess, W. Nowak, S. Peterson, “Feature-Oriented Domain Analysis (FODA) Feasibility Study,” Technical Report CMU/SEI-90-TR-21, Pittsburgh, PA, Software Engineering Institute, Carnegie Mellon University, November, 1990
  4. P. Kruchten, “The 4+1 View Model of Software Architecture,” IEEE Software, Vol.12, Issue 6, pp.42-50, 1995 https://doi.org/10.1109/52.469759
  5. S. Thiel and A. Hein, “Systematic Integration of Variability into Product Line Architecture Design,” Software Product Lines, G. J. Chastek(ed.), pp.130-153, Berlin, Springer-Verlag, 2002
  6. M. Mannion, “Using First-Order Logic for Product Line Model Validation,” LNCS Vol.2379, pp.176-187, 2002
  7. D. Batory, “Feature models, grammars, and propositional formulas,” Proceedings of the 9th International Software Product Line Conference (SPLC), 2005 https://doi.org/10.1007/11554844_3
  8. D. Benavides, P. Trinidad, A. Ruiz-Cort_es, “Automated reasoning on feature models,” Proceedings of 17th International Conference on Advanced Information Systems Engineering (CAiSE), 2005 https://doi.org/10.1007/11431855_34
  9. M. Janota and G. Botterweck, “Formal Approach to Integrating Feature and Architecture Models,” LNCS Vol.4961, pp. 31-45, 2008 https://doi.org/10.1007/978-3-540-78743-3_3
  10. S. Thaker, D. Batory, D. Kitchin, W. Cook, “Safe Composition of Product Lines,” Proceedings of the 6th International Conference on Generative Programming and Component Engineering (GPCE), 2007 https://doi.org/10.1145/1289971.1289989
  11. D. Jackson, “Alloy3.0 Reference Manual,” http://alloy.mit.edu/reference-manual.pdf, 2004
  12. D. Batory, “Feature-Oriented Programming and the AHEAD tool suite,” Proceedings of the 26th International Conference on Software Engineering, pp.702-703, 2004

Cited by

  1. The Effect of Composition and Security Activities for Information Security Architecture on Information Asset Protection and Organizational Performance vol.17D, pp.3, 2010, https://doi.org/10.3745/KIPSTD.2010.17D.3.223