Knowledge-based support for system verification during requirements analysis

Authors:
Mohan R Tanniru;S Sakthivel
Affiliations:
School of Management, Syracuse University, Syracuse NY;College of Business Administration, Bowling Green State University, Bowling Green Ohio
Venue:
SIGCPR '87 Proceedings of the conference on The 1987 ACM SIGBDP-SIGCPR Conference
Year:
1987

Citing 5
Cited 0

Petri nets: an introduction

Petri nets: an introduction
Petri Nets

ACM Computing Surveys (CSUR)
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
System development (Prentice-Hall International series in computer science)

System development (Prentice-Hall International series in computer science)
Structured Analysis and System Specification

Structured Analysis and System Specification

Quantified Score

Hi-index	0.00

Visualization

Abstract

Requirement analysis is the first step in the development of information systems 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.