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 any proposed system is representationally accurate in deriving the needed information and to validate such a system against the time and resource requirements specified by the user. This article performs both the representational verification and dynamic performance validation by expressing the information system, current or proposed, in the form of a Petri Net and using its structural characteristics to perform a set of static and dynamic checks.
Key words and phrases: verification of information systems, validation of information systems, system requirement analysis, Petri Nets, system development