Please use this identifier to cite or link to this item:
Title: Verify feature models using protégé-OWL
Authors: Wang, H.
Li, Y.F. 
Sun, J.
Zhang, H.
Keywords: Feature modeling
Semantic web
Issue Date: 2005
Citation: Wang, H.,Li, Y.F.,Sun, J.,Zhang, H. (2005). Verify feature models using protégé-OWL. 14th International World Wide Web Conference, WWW2005 : 1038-1039. ScholarBank@NUS Repository.
Abstract: Feature models are widely used in domain engineering to capture common and variant features among systems in a particular domain. However, the lack of a widely-adopted means of precisely representing and formally verifying feature models has hindered the development of this area. This paper presents an approach to modeling and verifying feature diagrams using Semantic Web ontologies.
Source Title: 14th International World Wide Web Conference, WWW2005
ISBN: 1595930515
DOI: 10.1145/1062745.1062857
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

checked on Oct 6, 2022

Google ScholarTM



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.