Abstract
Requirement analysis is the first step in the development of information SYSterns and its objective is to ensure that any proposed system meets the projected requirements of the user. As a part of this requirement analysis, an analyst is asked to verify that the proposed system is representationally accurate before undertaking any other evaluation. This paper proposes a Petri Net representation of an information system and the use of a PROLOG-based knowledge base to test its representational accuracy.
Cite
CITATION STYLE
Tanniru, M. R., & Sakthivel, S. (1987). Knowledge based support for system verification during requirement analysis. In Proceedings of the Conference on the 1987 ACM SIGBDP-SIGCPR Conference, SIGCPR 1987 (pp. 163–181). Association for Computing Machinery, Inc. https://doi.org/10.1145/24533.24543
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
