More Web Proxy on the site http://driver.im/

research-article

Applying semantic web technology to feature modeling

Authors:

Lamia Abo Zaid,

Frederic Kleinermann,

Olga De TroyerAuthors Info & Claims

SAC '09: Proceedings of the 2009 ACM symposium on Applied Computing

Pages 1252 - 1256

https://doi.org/10.1145/1529282.1529563

Published: 08 March 2009 Publication History

Abstract

Feature models are models used to capture differences and commonalities between software features, enabling the representation of variability within software. There are many variations of feature models and different notations are often used to represent the same information. Currently support for validating or integrating feature models is missing. In this paper, we provide an ontology framework for feature modeling which consists of an ontology that formally provides a specification for feature models. In addition, we provide means to integrate segmented feature models and provide a rule based model consistency check and conflict detection. We use SWRL rules to implement the rules and a DL reasoner to evaluate the rules and infer extra interesting information regarding the variability of the software.

References

[1]

Bosch, J.: Design & Use of Software Architectures: Adopting and Evolving a Product-Line Approach, Addison-Wesley, 2000.

Digital Library

[2]

Bosch J.: Software Product Families in Nokia. In: 9th International Conference SPLC 2005 (2005).

Digital Library

[3]

Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU/SEI-90-TR-021, Software Engineering Institute, Carnegie-Mellon University (1990)

[4]

Kang, K., Kim, S., Lee, J., Kim, K., Shin, E., Huh, M.: FORM: A Feature-Oriented Reuse Method with Domain-Specific Reference Architectures. In: J. Annals of Software Engineering. vol. 5, pp. 143--168 (1998)

Digital Library

[5]

Griss, M., Favaro, J., d'Alessandro, M.: Integrating Feature Modeling with the RSEB. In: Fifth International Conference on Software Reuse, pages 76--85 (1998)

Digital Library

[6]

Czarnecki, K., Kim, C. H. P.: Cardinality-Based Feature Modeling and Constraints: A Progress Report. In: OOPSLA'05 International Workshop on Software Factories (2005)

[7]

Ye, H.; Liu, H.: Approach to modelling feature variability and dependencies in software product lines. In: Software, IEE Proceedings -Volume 152, Issue 3, Page(s): 101--109, (2005)

[8]

Schobbens, P.-Y., Heymans, P., Trigaux, J.-C., Bontemps, Y.: Generic Semantics of Feature Diagrams. In: Computer Networks, volume 51, issue 2, pp. 456--479, 2007

Digital Library

[9]

Batory, D.: Feature models, grammars, and propositional formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714 (2005)

Digital Library

[10]

Wang, H., Li, Y., Sun, J., Zhang, H., Pan, J.: Verifying Feature Models using OWL. In: Journal of Web Semantics: Science, Services and Agents on the World Wide Web. Volume 5, Issue 2, Pages 117--129, Elsevier, June 2007

Digital Library

[11]

OWL, http://www.w3.org/TR/owl-features/

[12]

Horrocks, I., Patel-Schneider, P. F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language Combining OWL and RuleML, http://www.w3.org/Submission/SWRL

[13]

Noy, N. F., McGuinness, D. L.: Ontology Development 101: A Guide to Creating Your First Ontology. Stanford Knowledge Systems Laboratory Technical Report KSL-01-05 and Stanford Medical Informatics, Technical Report SMI-2001-0880 (2001)

[14]

Spanoudakis, G., Zisman, A.: Inconsistency management in software engineering: Survey and open research issues. In: Handbook of Software Engineering and Knowledge Engineering, 1, pp. 329--380, 2001.

[15]

Stanford Protégé OWL, http://protege.stanford.edu/overview/protege-owl.html

[16]

Pellet DL Reasoner, http://pellet.owldl.com/

[17]

Peng, X., Zhao, W., Xue, Y., Wu, Y.: Ontology-Based Feature Modeling and Application-Oriented Tailoring. In: ICSR 2006: 87--100

Digital Library

[18]

Benavides, D., Trinidad, P., Ruiz-Cortés, A.: Automated Reasoning on Feature Models. In: 17th Conference on Advanced Information Systems Engineering (CAiSE'05)

Digital Library

[19]

Mikoláš, J., Kiniry, J.: Reasoning about Feature Models in Higher-Order Logic. In: 11th International Software Product Lines Conference (SPLC 2007).

Digital Library

[20]

Batory, D., Benavides, D., Ruiz-Cortés, A.: Automated Analyses of Feature Models: Challenges Ahead. In: Communications of the ACM (Special Section on Software Product Lines) (2006)

Digital Library

Cited By

Gallina BDibowski HSchweizer M(2024)An Ontology-Based Representation for Shaping Product Evolution in Regulated IndustriesReuse and Software Quality10.1007/978-3-031-66459-5_6(92-102)Online publication date: 13-Jul-2024
https://doi.org/10.1007/978-3-031-66459-5_6
Fernandez-Amoros DBra SAranda-Escolástico EHeradio R(2020)Using Extended Logical Primitives for Efficient BDD BuildingMathematics10.3390/math80812538:8(1253)Online publication date: 31-Jul-2020
https://doi.org/10.3390/math8081253
Ferchichi OBeltaifa RJilani L(2020)An ontological Rule-Based Approach for Software Product Lines Evolution2020 International Multi-Conference on: “Organization of Knowledge and Advanced Technologies” (OCTA)10.1109/OCTA49274.2020.9151850(1-9)Online publication date: Feb-2020
https://doi.org/10.1109/OCTA49274.2020.9151850
Show More Cited By

Index Terms

Applying semantic web technology to feature modeling
1. Information systems
  1. Information systems applications

Recommendations

Reasoning on the semantic web for adaptive hypermedia

So far, ontologies have been widely used to convey knowledge across the Semantic Web. Complementing web ontologies with Horn-like rules to assert relations among ontology individuals and properties is part of the ongoing implementation of the Semantic ...
A practical approach to modelling and validating integrity constraints in the Semantic Web
Abstract
Efforts have been made in the Semantic Web to combine rules with ontologies. One result of these efforts is the development of the Semantic Web Rule Language (SWRL) which is designed to integrate closely with the Web Ontology Language (...
Integrating reasoning and clinical archetypes using OWL ontologies and SWRL rules

Semantic interoperability is essential to facilitate the computerized support for alerts, workflow management and evidence-based healthcare across heterogeneous electronic health record (EHR) systems. Clinical archetypes, which are formal definitions of ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SAC '09: Proceedings of the 2009 ACM symposium on Applied Computing

March 2009

2347 pages

ISBN:9781605581668

DOI:10.1145/1529282

Conference Chairs:
Sung Y. Shin
South Dakota State University, United States
,
Sascha Ossowski
University Rey Juan Carlos, Spain

Copyright © 2009 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 08 March 2009

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SAC09

Sponsor:

SIGAPP

SAC09: The 2009 ACM Symposium on Applied Computing

March 8, 2009 - March 12, 2008

Hawaii, Honolulu

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25

Sponsor:
sigapp

The 40th ACM/SIGAPP Symposium on Applied Computing

March 31 - April 4, 2025

Catania , Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

35
Total Citations
View Citations
466
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)0

Reflects downloads up to 11 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Gallina BDibowski HSchweizer M(2024)An Ontology-Based Representation for Shaping Product Evolution in Regulated IndustriesReuse and Software Quality10.1007/978-3-031-66459-5_6(92-102)Online publication date: 13-Jul-2024
https://doi.org/10.1007/978-3-031-66459-5_6
Fernandez-Amoros DBra SAranda-Escolástico EHeradio R(2020)Using Extended Logical Primitives for Efficient BDD BuildingMathematics10.3390/math80812538:8(1253)Online publication date: 31-Jul-2020
https://doi.org/10.3390/math8081253
Ferchichi OBeltaifa RJilani L(2020)An ontological Rule-Based Approach for Software Product Lines Evolution2020 International Multi-Conference on: “Organization of Knowledge and Advanced Technologies” (OCTA)10.1109/OCTA49274.2020.9151850(1-9)Online publication date: Feb-2020
https://doi.org/10.1109/OCTA49274.2020.9151850
Bhushan MNegi ASamant PGoel SKumar A(2020)A classification and systematic review of product line feature model defectsSoftware Quality Journal10.1007/s11219-020-09522-1Online publication date: 11-Aug-2020
https://doi.org/10.1007/s11219-020-09522-1
Pol’la MBuccella ACechich A(2020)Analysis of variability models: a systematic literature reviewSoftware and Systems Modeling10.1007/s10270-020-00839-wOnline publication date: 22-Nov-2020
https://doi.org/10.1007/s10270-020-00839-w
Fernandez-Amoros DHeradio RMayr-Dorn CEgyed A(2019)A Kconfig Translation to Logic with One-Way Validation SystemProceedings of the 23rd International Systems and Software Product Line Conference - Volume A10.1145/3336294.3336313(303-308)Online publication date: 9-Sep-2019
https://dl.acm.org/doi/10.1145/3336294.3336313
Pol’la MBuccella ACechich A(2019)Using Scope Scenarios to Verify Multiple Variability ModelsComputational Science and Its Applications – ICCSA 201910.1007/978-3-030-24308-1_32(383-399)Online publication date: 29-Jun-2019
https://doi.org/10.1007/978-3-030-24308-1_32
Flotyński JSobociński PWalczak KZachmann GFlotyński JKiyokawa KThalmann D(2018)Semantic 4-dimensional modeling of VR content in a heterogeneous collaborative environmentProceedings of the 23rd International ACM Conference on 3D Web Technology10.1145/3208806.3208830(1-10)Online publication date: 20-Jun-2018
https://dl.acm.org/doi/10.1145/3208806.3208830
Flotyński JNowak AWalczak K(2018)Explorable Representation of Interaction in VR/AR EnvironmentsAugmented Reality, Virtual Reality, and Computer Graphics10.1007/978-3-319-95282-6_42(589-609)Online publication date: 14-Jul-2018
https://doi.org/10.1007/978-3-319-95282-6_42
Buccella APol’la Mde Galarreta ECechich A(2018)Combining Automatic Variability Analysis Tools: An SPL Approach for Building a Framework for CompositionComputational Science and Its Applications – ICCSA 201810.1007/978-3-319-95171-3_34(435-451)Online publication date: 4-Jul-2018
https://doi.org/10.1007/978-3-319-95171-3_34
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents