Redirigiendo al acceso original de articulo en 23 segundos...
Inicio  /  Applied Sciences  /  Vol: 12 Par: 12 (2022)  /  Artículo
ARTÍCULO
TITULO

Product Model Derivation from Feature Model and Formal Specification

Xi Wang    
Weiwei Wang and Hongbo Liu    

Resumen

Product derivation is the process of building a specific product from a software product line. Effective product derivation can improve software reuse productivity. Existing methods can only obtain abstract feature models, lacking detailed specifications of individual features. They are more about deriving code assets or class diagram templates without precise model descriptions for specific products. This article proposes a product derivation approach to obtain a formal specification of a specific product based on the feature model and formal specification. We use the integration ordering and behavior preserving integration techniques to integrate the formal specification for each feature pair. The method is divided into two steps. First, it determines the feature formal specification integration ordering based on the feature model. Then, the behavior-preserving integration will be conducted for pairs, including declaration integration, functional scenario path generation, and function integration based on path matching. Behavior preserving integration guarantees consistent behavior to ensure the quality of the formal specification after integration. Finally, we developed a support tool to conduct a case study. The tool first guides the user to perform feature functional scenario path matching, then performs functional integration based on the matching results and repeats the above steps to generate a product model. The result indicates that our method facilitates the derivation process and improves the quality of the generated models.

 Artículos similares

       
 
Chen Li, Yinxu Lu, Yong Bian, Jie Tian and Mu Yuan    
The quality and safety of agricultural products involve a variety of risk factors, a large amount of risk information data, and multiple circulation and disposal processes, making it difficult to accurately trace the source of risks. To achieve precise t... ver más
Revista: Applied Sciences

 
Timotej Jagric and Alja? Herman    
This paper presents a broad study on the application of the BERT (Bidirectional Encoder Representations from Transformers) model for multiclass text classification, specifically focusing on categorizing business descriptions into 1 of 13 distinct industr... ver más
Revista: Information

 
Jaroslaw Kurek, Tomasz Latkowski, Michal Bukowski, Bartosz Swiderski, Mateusz Lepicki, Grzegorz Baranik, Bogusz Nowak, Robert Zakowicz and Lukasz Dobrakowski    
In the evolving realities of recruitment, the precision of job?candidate matching is crucial. This study explores the application of Zero-Shot Recommendation AI Models to enhance this matching process. Utilizing advanced pretrained models such as all-Min... ver más
Revista: Applied Sciences

 
Philipp Spelten, Morten-Christian Meyer, Anna Wagner, Klaus Wolf and Dirk Reith    
Integrating physical simulation data into data ecosystems challenges the compatibility and interoperability of data management tools. Semantic web technologies and relational databases mostly use other data types, such as measurement or manufacturing des... ver más
Revista: Information

 
Pavlo Maruschak, Ihor Konovalenko, Yaroslav Osadtsa, Volodymyr Medvid, Oleksandr Shovkun, Denys Baran, Halyna Kozbur and Roman Mykhailyshyn    
Modern neural networks have made great strides in recognising objects in images and are widely used in defect detection. However, the output of a neural network strongly depends on both the training dataset and the conditions under which the image was ac... ver más
Revista: Applied Sciences