An Ontological Rule-Based Approach for Analyzing Dead and False Optional Features in Feature Models

Rincón, Luisa; Giraldo, Gloria Lucía; Mazo, Raúl; Salinesi, Camille

doi:10.1016/j.entcs.2014.01.023

Cited by 29 publications

(7 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Rincón et al [31] use ontologies and a set of rules represented in an ontology query language, in order to (i) represent FMs, (ii) identify dead features and false optional features, (iii) identify some causes of these defects, and (iv) create an explanation in natural language. However, this proposal only identifies some defects and causes.…”

Section: Related Workmentioning

confidence: 99%

Method to Identify Corrections of Defects on Product Line Models

Rincón

Giraldo

Mazo

et al. 2015

Electronic Notes in Theoretical Computer Science

Self Cite

View full text Add to dashboard Cite

Software product line engineering is a promising paradigm for developing software intensive systems. Among their proven benefits are reduced time to market, better asset reuse and improved software quality. To achieve this, the collection of products of the product line are specified by means of product line models. Feature Models (FMs) are a common notation to represent product lines that express the set of feature combinations that software products can have. Experience shows that these models can have defects. Defects in FMs be inherited to the products configured from these models. Consequently, defects must be early identified and corrected. Several works reported in scientific literature, deal with identification of defects in FMs. However, only few of these proposals are able to explain how to fix defects, and only some corrections are suggested. This paper proposes a new method to detect all possible corrections from a defective product line model. The originality of the contribution is that corrections can be found when the method systematically eliminates dependencies from the FMs. The proposed method was applied on 78 distinct FMs with sizes up to 120 dependencies. Evaluation indicates that the method proposed in this paper scale up, is accurate, and sometimes useful in real scenarios.

show abstract

Section: Related Workmentioning

confidence: 99%

Method to Identify Corrections of Defects on Product Line Models

Rincón

Giraldo

Mazo

et al. 2015

Electronic Notes in Theoretical Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…Additionally, the authors provide an algorithm for automatically specialize FM based on the specification of provided services and platforms characteristics. In [29], the authors propose an ontological rule-based approach for analyzing dead and false optional features in FM as well as finding the causes for such errors and explaining the causes in natural language. The authors define a Feature Model Ontology to capture and exploit the semantic relationships between features, e.g., obtain features with both mandatory and optional constrains.…”

Section: Ontologies To Support Splmentioning

confidence: 99%

An Ontology for Licensing Public Transport Services

Cledou

Barbosa

2016

Proceedings of the 9th International Conference on Theory and Practice of Electronic Governance

View full text Add to dashboard Cite

By 2050 it is expected that 66% of the world population will reside in cities, compared to 54% in 2014. One particular challenge associated to urban population growth refers to transportation systems, and as an approach to face it, governments are investing significant efforts enhancing public transport services. An important aspect of public transport is ensuring that licensing of such services fulfill existing government regulations. Due to the differences in government regulations, and to the difficulties in ensuring the fulfillment of their specific features, many local governments develop tailored Information and Communication Technology (ICT) solutions to automate the licensing of public transport services. In this paper we propose an ontology for licensing such services following the REFSENO methodology. In particular, the ontology captures common concepts involved in the application and processing stage of licensing public bus passenger services. The main contribution of the proposed ontology is to define a common vocabulary to share knowledge between domain experts and software engineers, and to support the definition of a software product line for families of public transport licensing services. CCS Concepts • Information systems~Ontologies • Software and its engineering~Software product lines.

show abstract

“…Thüm et al (2014) suggested using a combination of model checking and theorem proving for verifying domain engineering, but there is no direct mention of inconsistency, and it is not clear how this proposed model can handle inconsistency problem in domain engineering. Rincón et al (2014) used ontological rule-based method for verifying FM by detecting false optional and dead features. The model of Rincón et al (2014) does not handle the inconsistency problem.…”

Section: Related Workmentioning

confidence: 99%

“…Rincón et al (2014) used ontological rule-based method for verifying FM by detecting false optional and dead features. The model of Rincón et al (2014) does not handle the inconsistency problem. Beek and Vink (2014) proposed a technique for verifying SPL.…”

Section: Related Workmentioning

confidence: 99%

A rule‐based approach to detect and prevent inconsistency in the domain‐engineering process

Elfaki

2015

Expert Systems

View full text Add to dashboard Cite

A medium‐sized domain‐engineering process can contain thousands of features that all have constraint dependency rules between them. Therefore, the validation of the content of domain‐engineering process is vital to produce high‐quality software products. However, it is not feasible to do this manually. This paper aims to improve the quality of the software products generated by the domain‐engineering process by ensuring the validity of the results of that process. We propose rules for two operations: inconsistency detection and inconsistency prevention. We introduce first‐order logic (FOL) rules to detect three types of inconsistency and prevent the direct inconsistency in the domain‐engineering process. Developing FOL rules to detect and prevent inconsistency in the domain‐engineering process directly without the need to the configuration process is our main contribution. We performed some experiments to test the scalability and applicability of our approach on domain‐engineered software product lines containing 1000 assets to 20000 assets. The results show that our approach is scalable and could be utilized to improve the domain‐engineering process.

show abstract

An Ontological Rule-Based Approach for Analyzing Dead and False Optional Features in Feature Models

Cited by 29 publications

References 11 publications

Method to Identify Corrections of Defects on Product Line Models

Method to Identify Corrections of Defects on Product Line Models

An Ontology for Licensing Public Transport Services

A rule‐based approach to detect and prevent inconsistency in the domain‐engineering process

Contact Info

Product

Resources

About