Verify feature models using Protégé-OWL

Wang, H, Li, Y, Sun, J and Zhang, H 2005, 'Verify feature models using Protégé-OWL', in A. Ellis and T. Hagino (ed.) Proceedings of the 14th International World Wide Web Conference, Chiba, Japan, 2005, pp. 1038-1039.


Document type: Conference Paper
Collection: Conference Papers

Title Verify feature models using Protégé-OWL
Author(s) Wang, H
Li, Y
Sun, J
Zhang, H
Year 2005
Conference name International World Wide Web Conference
Conference location Chiba, Japan
Conference dates 2005
Proceedings title Proceedings of the 14th International World Wide Web Conference
Editor(s) A. Ellis
T. Hagino
Publisher ACM Press
Place of publication New York, USA
Start page 1038
End page 1039
Total pages 2
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.
Subjects Information and Computing Sciences not elsewhere classified
Keyword(s) feature modeling
OWL
semantic web
Copyright notice Copyright is held by the author/owner
ISBN 1-59593-051-5
Versions
Version Filter Type
Access Statistics: 208 Abstract Views  -  Detailed Statistics
Created: Wed, 08 Apr 2009, 09:42:32 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us