Browse > Article

Formal Definition and Consistency Analysis of Feature-Oriented Product Line Analysis Model  

Lee Kwanwoo (한성대학교 정보시스템공학과)
Publication Information
Journal of KIISE:Software and Applications / v.32, no.2, 2005 , pp. 119-127 More about this Journal
Abstract
Product line analysis is an activity for analyzing requirements, their relationships, and constraints in a product line before engineering product line assets (e.g., architectures and components). A feature-oriented commonality and variability analysis (called feature modeling) has been considered an essential part of product line analysis. Commonality and variability analysis, although critical, is not sufficient to develop reusable and adaptable product line assets. Dependencies among features and feature binding time also have significant influences on the design of product line assets. In this paper. we propose a feature-oriented product line analysis model that extends the existing feature model in terms of three aspects (i.e., feature commonality and variability, feature dependency, and feature binding time). To validate the consistency among the three aspects we formally define the feature-oriented product line analysis model and provide rules for checking consistency.
Keywords
product line engineering; product line analysis model; feature model; consistency analysis; software reuse;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Griss, M., Favaro, J., d'Alessandro, M., 'Integrating Feature Modeling with the RSEB,' In Proceedings of Fifth International Conference on Software Reuse, pp. 76-85, 1998   DOI
2 Czarnecki, K. and Eisenecker, U., 'Generative Programming: Methods, Tools, and Applications,' Addison-Wesley, New York, 2000
3 Clements, P. and Northrop, L., 'Software Product Lines: Practices and Patterns,' Addison-Wesley, Upper Saddle River, NJ, 2002
4 Mannion, M., 'Using First-Order Logic for Product Line Model Validation,' LNCS2379, pp. 176-187, 2002
5 Chechik, M., Gannon, J., 'Verification of Consistency Between Concurrent Program Designs and Their Requirements,' In Proceedings of COMPASS'96, June. 1996   DOI
6 Lee, K. and Kang, K. C., 'Feature Dependency Analysis for Product Line Component Design,' J. Bosch, C. Krueger (eds.), Software Reuse: Methods, Techniques, and Tools, Berlin, Springer-Verlag, pp. 69-85, 2004
7 Allen, R. J., 'A Formal Approach to Software Architecture,' Ph.D. thesis, Carnegie Mellon University, Pittsburgh, PA, 1997
8 Heitmeyer, C. L., Jeffords, R. D., Labaw, B. G., 'Automated Consistency Checking of Requirements Specifications,' ACM Transactions on Software Engineering and Methodology, Vol. 5, No. 3, pp. 231-261, July 1996   DOI   ScienceOn
9 Heimdahi, M. P. E., Leveson, N. G., 'Completeness and Consistency Analysis of State-Based Requirements,' In Proceedings of the 17th International Conference on Software Engineering, pp. 3-14, 1995
10 Lee, J. and Kang, K. C., 'Feature Binding Issues In Variability Analysis for Product Line Engineering,' Workshop on 'Modeling Variability for Object-Oriented Product Lines' at ECOOP 2003, Darmstadt, Germany, July 21, pp. 77-82, 2003
11 Kang, K. C., Kim, S., Lee, J., Shin, E., Huh, M., 'FORM: A Feature-Oriented Reuse Method with Domain Specific Reference Architectures,' Annals of Software Engineering, Vol. 5, pp. 143-168, 1998   DOI   ScienceOn
12 Fey, D., Fajta, R., Boros, A., 'Feature Modeling: A Meta-model to Enhance Usability and Usefulness,' G. Chastek (ed.), Software Product lines, Springer-Verlag, Berlin, pp, 198-216, 2002   DOI
13 Ferber, S., Haag, J., Savolainen, J., 'Feature Interaction and Dependencies: Modeling Features for Reengineering a Legacy Product Line,' G. Chastek (ed.), Software Product lines, Springer-Verlag, Berlin, pp. 235-256, 2002   DOI
14 Lee, K., Kang, K. C., Lee, J., 'Concepts and Guidelines of Feature Modeling for Product Line Software Engineering,' C. Gacek (ed.), Software Reuse: Methods, Techniques, and Tools, Berlin, Springer-Verlag, pp. 62-77, 2002   DOI
15 Kang, K. C., Cohen, S., Hess, J., Nowak, W., Peterson, S., 'Feature-Oriented Domain Analysis (FODA) Feasibility Study,' Technical Report CMU/ SEI-90-TR-21, Pittsburgh, PA, Software Engineering Institute, Carnegie Mellon University, November 1990