Information System Verification and Validation during Requirement Analysis Using Petri Nets

: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.

• 저널Journal of Management Information Systems · 5(3) · 33–52
• 토픽Software System Performance and Reliability · Computer Networks and Communications
• DOI10.1080/07421222.1988.11517831
• 저자Sachidanandam Sakthivel, Mohan Tanniru