Computer-Aided Formalization of Internal Consistent Product Family Models
-
Published:2023-01-30
Issue:3
Volume:13
Page:1792
-
ISSN:2076-3417
-
Container-title:Applied Sciences
-
language:en
-
Short-container-title:Applied Sciences
Author:
Liu Hongbo12, Wang Xi12, Wang Weiwei12ORCID
Affiliation:
1. School of Computer Engineering and Science, Shanghai University, Shanghai 200444, China 2. Shanghai Key Laboratory of Computer Software Testing and Evaluating, Shanghai University, Shanghai 200444, China
Abstract
The product line approach enables the rapid building of software products by reusing core assets. How to manage the commonality and variability of product family is the core problem of product line engineering. The feature modeling approach is one of the main approaches to solve this problem. However, this approach does not define the internal functions of features. Some researchers use formal descriptions to define the function of features, but they do not consider the connection between feature specification and feature model. These product family modeling approaches result in product family models that suffer from inconsistent descriptions, which are difficult to resolve manually. To this end, this paper proposes a computer-aided approach to construct an internally consistent product family model. The method performs an inconsistency check during the formalization of each feature in the given initial feature model, pushing the evolution of the feature model and feature specification. The creation and evolution of feature models are achieved through a template-based feature modeling approach. The method is implemented by means of templates, each of which contains two parts of knowledge: the elements required for a class of feature model, and a way to convert the given elements into a formal description. An inconsistency check is achieved through a rule-based detection approach. Each rule contains two parts: a class of conditions that the feature model and the feature specification satisfy, and the actions to resolve inconsistencies once the conditions are satisfied. We have developed a tool. The tool guides the user to build an internally consistent product family model that contains the feature model and feature specifications. Experiments have shown that our approach can provide effective automation support for the process of formal product family modeling.
Funder
NSFCs of China National Social Science Foundation
Subject
Fluid Flow and Transfer Processes,Computer Science Applications,Process Chemistry and Technology,General Engineering,Instrumentation,General Materials Science
Reference38 articles.
1. Weiss, D.M. Software Product Line Engineering. Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE’2005), Taipei, Taiwan. 2. Demeyer, S. (1999). Object-Oriented Technology, Ecoop99 Workshop Reader, Ecoop99 Workshops, Panels, & Posters, Lisbon, Portugal, June 14–18, 1999 Proceedings, Springer. 3. Griss, M.L. (1997). Software Reuse: Architecture, Process, and Organization for Business Success, Wesley Longman Ltd. 4. Weiss, D.M., and Lai, R. (1999). Software Product-Line Engineering: A Family-Based Software Development Process, Addison-Wesley. 5. Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., and Peterson, A.S. (1990). Feature-Oriented Domain Analysis (FODA) Feasibility Study[R] (CMU/SEI-90-TR-21, Carnegie Mellon University.
|
|