loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Thalisson Oliveira ; Rossana M. C. Andrade and Windson Viana

Affiliation: Federal University of Ceara, Brazil

Keyword(s): Dynamic Software Product Line, Context-awareness, Feature Model, Automatic Verification Tool, Ubiquitous Software, Semantic Enrichment.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Data Engineering ; Enterprise Information Systems ; Information Systems Analysis and Specification ; Knowledge Engineering and Ontology Development ; Knowledge-Based Systems ; Ontologies and the Semantic Web ; Ontology Engineering ; Software Engineering ; Symbolic Systems ; Tools, Techniques and Methodologies for System Development

Abstract: Dynamic Software Product Lines (DSPLs) support the development of context-aware systems, which use context information to perform adapted services aiming to satisfy user’s needs. Feature models (FM) represent system similarities and variability in DSPL. However, some FM representations are limited in expressiveness. For example, relevant domain aspects (e.g., context-aware feature that implements a particular use case) are not described in FM. This research proposes an approach based on an OWL-DL ontology to add semantics to FM. It also provides automatic verification of the correctness and consistency of these models. We implemented this approach in a feature model design tool called FixOnto. Our first evaluation results showed that the use of ontologies brings benefits such as improvements on SPL information retrieval, and inference and traceability of the features, use contexts, and SPL artifacts.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 35.168.113.41

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Oliveira, T.; Andrade, R. and Viana, W. (2017). Semantic Enrichment and Verification of Feature Models in DSPL. In Proceedings of the 19th International Conference on Enterprise Information Systems - Volume 2: ICEIS; ISBN 978-989-758-248-6; ISSN 2184-4992, SciTePress, pages 542-549. DOI: 10.5220/0006376105420549

@conference{iceis17,
author={Thalisson Oliveira. and Rossana M. C. Andrade. and Windson Viana.},
title={Semantic Enrichment and Verification of Feature Models in DSPL},
booktitle={Proceedings of the 19th International Conference on Enterprise Information Systems - Volume 2: ICEIS},
year={2017},
pages={542-549},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006376105420549},
isbn={978-989-758-248-6},
issn={2184-4992},
}

TY - CONF

JO - Proceedings of the 19th International Conference on Enterprise Information Systems - Volume 2: ICEIS
TI - Semantic Enrichment and Verification of Feature Models in DSPL
SN - 978-989-758-248-6
IS - 2184-4992
AU - Oliveira, T.
AU - Andrade, R.
AU - Viana, W.
PY - 2017
SP - 542
EP - 549
DO - 10.5220/0006376105420549
PB - SciTePress