Verify Feature Models using protegeowl

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Verify Feature Models using protegeowl

Full text

Pdf (166 KB)

Source

International World Wide Web Conference archive
Special interest tracks and posters of the 14th international conference on World Wide Web table of contents

Chiba, Japan

POSTER SESSION: Posters table of contents

Pages: 1038 - 1039

Year of Publication: 2005

ISBN:1-59593-051-5

Authors

Hai Wang	The University of Manchester, UK
Yuan Fang Li	National University of Singapore
Jing Sun	The University of Auckland, New Zealand
Hongyu Zhang	RMIT University, Australia

Sponsor

ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 14, Downloads (12 Months): 45, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1062745.1062857 What is a DOI?

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.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Krzysztof Czarnecki , Ulrich W. Eisenecker, Generative programming: methods, tools, and applications, ACM Press/Addison-Wesley Publishing Co., New York, NY, 2000
	2	M. Simos et al. Software technology for adaptable reliable system (STARS) organization domain modeling (ODM) guidebook version 2.0. Technical Report STARS-VC-A025/001/00, Lockheed Martin Tactical Defense Systems, Manassas, VA, 1996.
	3	I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. J. of Web Semantics, 1(1):7--26, 2003.
	4	K. C. Kang, S. Cohen, J. Hess, W. Nowak, and S. Peterson. Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU/SEI-90TR-21, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, November 1990.