检索结果-南通市图书馆

Binary Oriented Feature Selection for Valid product Derivation in software product line

Computers, Materials & Continua 2023年第9期76卷 3653-3670页

作者： Muhammad Fezan Afzal Imran Khan Javed Rashid Mubbashar Saddique Heba G.Mohamed Department of CS&SE International Islamic UniversityIslamabad44000Pakistan Information Technology Services University of OkaraOkara56300Pakistan Departmet of Computer Science MLC LabOkara56300Pakistan Department of Computer Science&Engineering University of Engineering&Technology LahoreNarowal CampusNarowal51601Pakistan Department of Electrical Engineering College of EngineeringPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia

software product line(SPL)is a group of software-intensive systems that share common and variable resources for developing a particular system.The feature model is a tree-type structure used to manage SPL’s common and variable features with their different relations and problem of Crosstree Constraints(CTC).CTC problems exist in groups of common and variable features among the sub-tree of feature models more diverse in Internet of Things(IoT)devices because different Internet devices and protocols are communicated.Therefore,managing the CTC problem to achieve valid product configuration in IoT-based SPL is more complex,time-consuming,and hard.However,the CTC problem needs to be considered in previously proposed approaches such as Commonality VariabilityModeling of Features(COVAMOF)andGenarch+tool;therefore,invalid products are generated.This research has proposed a novel approach Binary Oriented Feature Selection Crosstree Constraints(BOFS-CTC),to find all possible valid products by selecting the features according to cardinality constraints and cross-tree constraint problems in the featuremodel of SPL.BOFS-CTC removes the invalid products at the early stage of feature selection for the product configuration.Furthermore,this research developed the BOFS-CTC algorithm and applied it to,IoT-based feature models.The findings of this research are that no relationship constraints and CTC violations occur and drive the valid feature product configurations for the application development by removing the invalid product configurations.The accuracy of BOFS-CTC is measured by the integration sampling technique,where different valid product configurations are compared with the product configurations derived by BOFS-CTC and found 100%correct.Using BOFS-CTC eliminates the testing cost and development effort of invalid SPL products.

关键词： software product line feature model internet of things crosstree constraints variability management

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Identifying Counterexamples Without Variability in software product line Model Checking

引用

Computers, Materials & Continua 2023年第5期75卷 2655-2670页

作者： Ling Ding Hongyan Wan Luokai Hu Yu Chen School of Computer Science Hubei University of EducationWuhan430205China School of Computer Science and Artificial Intelligence Wuhan Textile UniversityWuhan430200China

product detection based on state abstraction technologies in the software product line(SPL)is more complex when compared to a single system.This variability constitutes a new complexity,and the counterexample may be valid for some products but spurious for others.In this paper,we found that spurious products are primarily due to the failure states,which correspond to the spurious counterexamples.The violated products correspond to the real counterexamples.Hence,identifying counterexamples is a critical problem in detecting violated products.In our approach,we obtain the violated products through the genuine counterexamples,which have no failure state,to avoid the tedious computation of identifying spurious products dealt with by the existing algorithm.This can be executed in parallel to improve the efficiency further.Experimental results showthat our approach performswell,varying with the growth of the system scale.By analyzing counterexamples in the abstract model,we observed that spurious products occur in the failure state.The approach helps in identifying whether a counterexample is spurious or genuine.The approach also helps to check whether a failure state exists in the counterexample.The performance evaluation shows that the proposed approach helps significantly in improving the efficiency of abstraction-based SPL model checking.

关键词： software product line model checking parallel algorithm

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

A Feature Model Based Framework for Refactoring software product line Architecture

引用

Journal of Computer Science & Technology 2016年第5期31卷 951-986页

作者： Mohammad Tanhaei Jafar Habibi Seyed-Hassan Mirian-Hosseinabadi Department of Computer Engineering Sharif University of Technology Tehran 11155-9517 Iran

software product line （SPL） is an approach used to develop a range of software products with a high degree of similarity. In this approach, a feature model is usually used to keep track of similarities and differences. Over time, as modifications are made to the SPL, inconsistencies with the feature model could arise. The first approach to dealing with these inconsistencies is refactoring. Refactoring consists of small steps which, when accumulated, may lead to large-scale changes in the SPL, resulting in features being added to or eliminated from the SPL. In this paper, we propose a framework for refactoring SPLs, which helps keep SPLs consistent with the feature model. After some introductory remarks, we describe a formal model for representing the feature model. We express various refactoring patterns applicable to the feature model and the SPL formally, and then introduce an algorithm for finding them in the SPL. In the end, we use a real-world case study of an SPL to illustrate the applicability of the framework introduced in the paper.

关键词： software product line feature model refactoring software architecture

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Efficient software product-line model checking using induction and a SAT solver

引用

Frontiers of Computer Science 2018年第2期12卷 264-279页

作者： Fei HE Yuan GAO Liangze YIN Tsinghua National Laboratory for Information Science and Technology (TNList) Tsinghua University Beijing 100084 China Key Laboratory for Information System Security Ministry of Education Beijing 100084 China School of software Tsinghua University Beijing 100084 China Department of Computer Science and Technology National University of Defense Technology Changsha 410073 China

software product line （SPL） engineering is increasingly being adopted in safety-critical systems. It is highly desirable to rigorously show that these systems are designed correctly. However, formal analysis for SPLs is more difficult than for single systems because an SPL may contain a large number of individual systems. In this paper, we propose an efficient model-checking technique for SPLs using induction and a SAT （Boolean satisfiability problem） solver. We show how an induction-based verification method can be adapted to the SPLs, with the help of a SAT solver. To combat the state space explosion problem, a novel technique that exploits the distinguishing characteristics of SPLs, called feature cube enlargement, is proposed to reduce the verification efforts. The incremental SAT mechanism is applied to further improve the efficiency. The correctness of our technique is proved. Experimental results show dramatic improvement of our technique over the existing binary decision diagram （BDD）-based techniques.

关键词： software product line model checking satisfiability

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Feature-Oriented Nonfunctional Requirement Analysis for software product line

引用

Journal of Computer Science & Technology 2009年第2期24卷 319-338页

作者：彭鑫 Seok-Won Lee 赵文耘 School of Computer Science Fudan University Knowledge-Intensive software Engineering Research Group Department of Software and Information Systems College of Computing and Informatics University of North Carolina at Charlotte

Domain analysis in software product line （SPL） development provides a basis for core assets design and imple- mentation by a systematic and comprehensive commonality/variability analysis. In feature-oriented SPL methods, products of the domain analysis are domain feature models and corresponding feature decision models to facilitate application-oriented customization. As in requirement analysis for a single system, the domain analysis in the SPL development should con- sider both flmctional and nonfunctional domain requirements. However, the nonfunctional requirements （NFRs） are often neglected in the existing domain analysis methods. In this paper, we propose a context-based method of the NFR analysis for the SPL development. In the method, NFRs are materialized by connecting nonfunctional goals with real-world context, thus NFR elicitation and variability analysis can be performed by context analysis for the whole domain with the assistance of NFR templates and NFR graphs. After the variability analysis, our method integrates both functional and nonfunc- tional perspectives by incorporating the nonfunctional goals and operationalizations into an initial functional feature model. NFR-related constraints are also elicited and integrated. Finally, a decision model with both functional and nonfunctional perspectives is constructed to facilitate application-oriented feature model customization. A computer-aided grading system （CAGS） product line is employed to demonstrate the method throughout the paper.

关键词： software product line nonfunctional requirement domain analysis feature-oriented method variability analysis

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Maintain Optimal Configurations for Large Configurable Systems Using Multi-Objective Optimization

引用

Computers, Materials & Continua 2022年第11期73卷 4407-4422页

作者： Muhammad Abid Jamil Deafallah Alsadie Mohamed K.Nour Normi Sham Awang Abu Bakar Department of Computer Science Umm Al-Qura UniversityMakkahSaudi Arabia Kulliyyah of Information and Communication Technology International Islamic UniversityMalaysia

To improve the maintenance and quality of software product lines,efficient configurations techniques have been proposed.Nevertheless,due to the complexity of derived and configured products in a product line,the configuration process of the software product line(SPL)becomes timeconsuming and costly.Each product line consists of a various number of feature models that need to be tested.The different approaches have been presented by Search-based software engineering(SBSE)to resolve the software engineering issues into computational solutions using some metaheuristic approach.Hence,multiobjective evolutionary algorithms help to optimize the configuration process of SPL.In this paper,different multi-objective Evolutionary Algorithms like Non-Dominated Sorting Genetic algorithms II(NSGA-II)and NSGA-III and Indicator based Evolutionary Algorithm(IBEA)are applied to different feature models to generate optimal results for large configurable.The proposed approach is also used to generate the optimized test suites with the help of different multi-objective Evolutionary Algorithms(MOEAs).

关键词： software product line search-based software engineering metaheuristic multiobjective evolutionary algorithms feature model

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

VARIABILITY MODELING TO DEVELOP FLEXIBLE SERVICE-ORIENTED APPLICATIONS

引用

Journal of Systems Science and Systems Engineering 2011年第2期20卷 193-216页

作者： Joonseok PARK Mikyeong MOON Keunhyuk YEOM Department of Computer Science and Engineering Pusan National University Division of Computer and Information Engineering Dongseo University

To cope with requirement changes flexibly and rapidly,the existing component-based paradigm is being evolved into a service-oriented computing paradigm.The main characteristic of the service-oriented computing paradigm is that service-oriented applications are developed as loosely coupled services that reflect business concerns.This paradigm also promotes business agility,facilitating quick reactions to business changes.Therefore,to enhance and support the benefits of the service-oriented computing paradigm,we must consider how to improve flexibility and reusability during the development of service-oriented applications.We propose the variability modeling approach to specify and control the common and distinguishing characteristics of service-oriented applications.That is,the key concepts of product-line technology can be used to make service-oriented applications more flexible and reusable.This paper describes variability modeling at two levels;the composition level and the specification level.At the composition level,we describe the variability of composition and the flow of domain services that fulfill business processes.At the specification level,we present a domain service that is an abstract service with variability.The use of our systematic variability modeling approach can greatly increase the flexibility,applicability,and reusability of service-oriented applications.

关键词： Variability software product line reuse service oriented software flexible service model

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Building Modeling Tools Based on Metamodeling and product line Technologies

引用

Chinese Journal of Electronics 2014年第2期23卷 219-226页

作者： MA Zhiyi HE Xiao software Institute School of Electronics Engineering and Computer Science Peking University Key Laboratory of High Confidence software Technologies (Peking University) Ministry of Education School of Computer and Communication Engineering University of Science and Technology Beijing

With the evolution of existing modeling languages and the emergence of more and more new modeling languages, it is necessary to rapidly build the corresponding software modeling tools with good quality. However, modeling tools for larger modeling languages are usually diversity in function and complexity in implementation technology. Taking building modeling tools as a domain,this paper presents an approach to building software modeling tools based on metamodeling and product line technologies. The paper provides the concept system of the approach and a feature model from diverse functions of modeling tools in order to specify the commonality and variability of the tools by deeply making the domain analysis,discusses the design and implementation of a general tool framework that provides the conveniences for reusing components and generating code for components, and specifies the mapping between the feature model and the components for modeling tools.

关键词： software modeling tool Metamodeling software product line

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

STPSO: Optimal Configuration for Cloud Environments

引用

China Communications 2016年第10期13卷 198-208页

作者： Hongxia Zhang Fei Wang Yang Zhang Jiuyun Xu School of Computer and Communication China University of Petroleum School of Economics & Management China University of Petroleum

With the increasing number of resources provided by cloud environments, identifying which types of resources should be rent when deploying an application is often a difficult and error-prone process. Currently, most cloud environments offer a wide range of configurable resources, which can be combined in many different ways. Finding an appropriate configuration under cost constraints while meeting requirements is still a challenge. In this paper, software product line engineering is introduced to describe cloud environments, and configurable resources are abstracted as features with attributes. Then, a Self-Tuning Particle Swarm Optimization approach(called STPSO) is proposed to configure the cloud environment. STPSO can automatically adjust the arbitrary configuration to a valid configuration. To evaluate the performance of the proposed approach, we conduct a series of comprehensive experiments. The empirical experiment shows that our approach reduces time and provides a reliable way to find a correct and suitable cloud configuration when dealing with a significant number of resources.

关键词： cloud environment resource configuration software product line particle swarm algorithm

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：