A Verification Mechanism of Feature Models for Mobile and Context-Aware Software Product Lines

2011 ◽  
Author(s):  
Fabiana G. Marinho ◽  
Rossana M.C. Andrade ◽  
Cl´udia Werner
Keyword(s):  
Software Product Lines ◽  
Context Aware ◽  
Feature Models ◽  
Product Lines ◽  
Software Product

scholarly journals CyberSPL: A Framework for the Verification of Cybersecurity Policy Compliance of System Configurations Using Software Product Lines

2019 ◽  
Vol 9 (24) ◽  
pp. 5364 ◽  
Author(s):  
Ángel Jesús Varela-Vaca  ◽  
Rafael M. Gasca ◽  
Rafael Ceballos ◽  
María Teresa Gómez-López ◽  
Pedro Bernáldez Torres
Keyword(s):  
Automated Analysis ◽  
Software Product Lines ◽  
Product Line ◽  
Feature Models ◽  
Product Lines ◽  
Software Products ◽  
Wide Range ◽  
Proposal A ◽  
Software Product ◽  
Real Scenario

Cybersecurity attacks affect the compliance of cybersecurity policies of the organisations. Such disadvantages may be due to the absence of security configurations or the use of default configuration values of software products and systems. The complexity in the configuration of products and systems is a known challenge in the software industry since it includes a wide range of parameters to be taken into account. In other contexts, the configuration problems are solved using Software Product Lines. This is the reason why in this article the framework Cybersecurity Software Product Line (CyberSPL) is proposed. CyberSPL is based on a methodology to design product lines to verify cybersecurity policies according to the possible configurations. The patterns to configure the systems related to the cybersecurity aspects are grouped by defining various feature models. The automated analysis of these models allows us to diagnose possible problems in the security configurations, reducing or avoiding them. As support for this proposal, a multi-user and multi-platform solution has been implemented, enabling setting a catalogue of public or private feature models. Moreover, analysis and reasoning mechanisms have been integrated to obtain all the configurations of a model, to detect if a configuration is valid or not, including the root cause of problems for a given configuration. For validating the proposal, a real scenario is proposed where a catalogue of four different feature models is presented. In this scenario, the models have been analysed, different configurations have been validated, and several configurations with problems have been diagnosed.

Dynamic Software Product Lines for Context-Aware Web Services

2010 ◽  
pp. 53-80
Author(s):  
Carlos Parra ◽  
Xavier Blanc ◽  
Laurence Duchien ◽  
Nicolas Pessemier ◽  
Rafael Lea√±o ◽  
...  
Keyword(s):  
Web Services ◽  
Software Product Lines ◽  
Context Aware ◽  
Product Lines ◽  
Software Product ◽  
Dynamic Software

scholarly journals Uma Linguagem de Modelagem de Domínio Específico para Linhas de Produto de Software Dinâmicas

2020 ◽  
Author(s):  
Helberth Borelli ◽  
Sérgio Teixeira de Carvalho
Keyword(s):  
Adaptive Systems ◽  
Development Time ◽  
Software Product Lines ◽  
Feature Models ◽  
Service Model ◽  
Product Lines ◽  
Software Products ◽  
Domain Specific ◽  
Software Product ◽  
Dynamic Software

Software Product Lines can be briefly defined as a family of productsthat share some commonalities. The feature models approach isused to represent the commonalities and variabilities among products.One possible way for the construction of these models is theuse of meta-models. However, the management of these features,traditionally performed at development time, is not sufficient forthe development of Adaptive Systems. One solution to this type ofdevelopment is the approach of Dynamic Software Product Lineswhich has as one of its aims to promote features input and outputat runtime allowing the product to be adapted after changes incontexts. This article proposes a Domain Specific Modelling Languagethat aims at modeling Dynamic Software Product Lines. Thislanguage describes dynamic adaptations promoted at runtime andthrough the use of the state machine approach. Such adaptations,based on state machines, must promote state features changes orfeatures exchanges at runtime, enabling these software products tomanage derivations in its life cycle. Our proposal was implementedwith the use of a Healthcare scenario and its development wasbased on the concept of the component service model.

Sign in / Sign up

Export Citation Format

Share Document