Correctness in hierarchical knowledge-based requirements

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

Volumn 30, Issue 4, 2000, Pages 625-631

  Shen, Victor R L ^a  

^a MING CHI UNIVERSITY OF TECHNOLOGY   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; COMPUTATIONAL LINGUISTICS; COMPUTER AIDED DESIGN; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; PETRI NETS;

FORMAL ANALYSIS; PREDICATE TRANSITION NET MODEL; REQUIREMENTS SPECIFICATION;

KNOWLEDGE BASED SYSTEMS;

EID: 0034247017     PISSN: 10834419     EISSN: None     Source Type: Journal    
DOI: 10.1109/3477.865185     Document Type: Article

References (26)

1. R. Agarwal and M. Tanniru, "A Petri-net based approach for verifying the integrity of production systems," Int. J. Man-Mach. Stud., vol. 36, pp. 447-468, Mar. 1992.
2. W. F. Clocksin, "Logic programming and digital circuit analysis," J. Log. Program., vol. 4, pp. 59-82, Mar. 1987.
3. O. Coudert, C. Berthet, and J. C. Madre, "Verification of synchronous sequential machines based on symbolic execution," in Proc. Workshop Automatic Verification Methods for Finite State Systems, Grenoble, France, 1989, pp. 1-13.
4. D. L. Dill, S. M. Nowick, and R. F. Sproull, "Specification and automatic verification of self-timed queues," in Formal Methods in System Design. Norwell, MA: Kluwer, Jan. 1992, pp. 29-60.
5. G. Gopalakrishnan and R. Fujimoto, "Design and verification of rollback chip using HOP: A case study of formal methods applied to hardware design,", ACM Trans. Comput. Syst., vol. 11, pp. 109-145, May 1993.
6. A. P. Gupta, W. P. Birmingham, and D. P. Siewiorek, "Automating the design of computer systems," IEEE Trans. Computer-Aided Design, vol. 12, pp. 473-487, Apr. 1993.
7. G. Guida and G. Mauri, "Evaluating performance and quality of knowledge-based systems: Foundation and methodology," IEEE Trans. Knowl. Data Eng., vol. 5, pp. 204-224, Apr. 1993.
8. M. P. E. Heimdahl and N. G. Leveson, "Completeness and consistency in hierarchical state-based requirements," IEEE Trans. Softw. Eng., vol. 22, pp. 363-377, Jun. 1996.
9. W. C. Kabat and A. S. Wojcik, "Automated synthesis of combinational logic using theorem-proving techniques," IEEE Trans. Comput., vol. C-34, pp. 610-632, Jul. 1985.
10. R. Kowalski, "Logic programming," in Proc. IFIP Conf., 1983, pp. 133-145.
11. D. Y. Lee and F. DiCesare, "FMS scheduling using Petri nets and heuristic search," in Proc. 1992 IEEE Int. Conf. Robotics and Automation, Nice, France, May 1992, pp. 1057-1062.
12. C. Lin, A. Chaudhury, A. B. Whinston, and D. C. Marinescu, "Logical inference of horn clauses in Petri net models," IEEE Trans. Knowl. Data Eng., vol. 5, pp. 416-425, Jun. 1993.
13. T. Murata and D. Zhang, "A predicate/transition net model for parallel interpretation of logic programs," IEEE Trans. Softw. Eng., vol. 14, pp. 481-497, Apr. 1988.
14. M. C. McFarland, "Formal verification of sequential hardware: A tutorial," IEEE Trans. Computer-Aided Design, vol. 12, pp. 633-654, May 1993.
15. M. C. McFarland, A. C. Parker, and R. Camposano, "The high-level synthesis of digital systems," Proc. IEEE, vol. 78, pp. 301-318, Feb. 1990.
16. D. L. Nazareth, "Investigating the applicability of Petri nets for rule-based system verification," IEEE Trans. Knowl. Data Eng., vol. 4, pp. 402-415, Jun. 1993.
17. J. L. Peterson, Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
18. F. P. Prosser and D. E. Winkel, The Art of Digital Design, 2nd ed. Englewood Cliffs, NJ: Prentice-Hall, 1987.
19. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen, Object-Oriented Modeling and Design. Englewood Cliffs, NJ: Prentice-Hall, 1991.
20. V. R. L. Shen and F. Lai, "Requirements specification and analysis of fault-tolerant hardware systems by pr/t nets and regular expressions," J. Mingchi Inst. Tech., vol. 25, pp. 111-122, May 1993.
21. _, "Requirements specification and analysis of digital systems using fuzzy and marked Petri nets," IEEE Trans. Syst., Man, Cybern. B, vol. 28, pp. 748-754, Oct. 1998.
22. _, "Knowledge-based specification and analysis of digital hardware systems," J. Mingchi Inst. Tech., vol. 26, pp. 33-49, May 1994.
23. V. R. L. Shen, F. H. Kuo, and F. Lai, "Requirements specification and analysis of digital systems using FARHDL," IEICE Trans. Inform. Syst., vol. E81-D, pp. 317-328, Mar 1998.
24. J. J. P. Tsai, T. Weigert, and H. C. Jang, "A hybrid knowledge representation as abasis of requirement specification and specification analysis," IEEE Trans. Softw. Eng., vol. 18, pp. 1076-1100, Dec. 1992.
25. G. D. Tecuci, "Automating knowledge acquisition as extending, updating, and improving a knowledge base," IEEE Trans. Syst., Man, Cybern., vol. 22, pp. 1444-1460, Nov./Dec. 1992.
26. D. A. Waterman, A Guide to Expert Systems. Reading, MA: Addison-Wesley, 1986.