Referenced Items are not available for this document.
In the past several years, various graphical techniques were proposed to analyze various types of structural errors, including inconsistency (conflict rules), incompleteness (missing rules), redundancy (redundant rules), and circularity (circular depending rules), of rule based systems. We present a special reachability graph technique based on ω-nets (a special type of low-level Petri net) to detect all of the above types of structural errors. Our new technique is simple, efficient, and can be easily automated. We highlight the unique features of this new approach and demonstrate its application through an example
Published in:
Computer Software and Applications Conference, 1999. COMPSAC '99. Proceedings. The Twenty-Third Annual International
Date of Conference: 1999
- Page(s):
- 462 - 467
- Meeting Date :
- 27 Oct 1999-29 Oct 1999
- ISSN :
- 0730-3157
- Print ISBN:
- 0-7695-0368-3
- INSPEC Accession Number:
- 6431304
- Conference Location :
- Phoenix, AZ
- Digital Object Identifier :
- 10.1109/CMPSAC.1999.814327
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
