Analytical verification of information system requirements using petri net properties

  • Authors:

  • S Sakthivel;JP Moily

  • Affiliations:

  • -;-

  • Venue:
  • Information and Software Technology
  • Year:
  • 1993

Quantified Score

Hi-index 0.00

Visualization

Abstract

Requirements analysis is the initial stage of information systems development that lays the groundwork for later stages. Accordingly, information system specifications developed at this stage must be checked for errors to avoid the higher cost usually associated with correcting such errors at a later stage in the development process. The paper shows how analytical properties of Petri nets can be gainfully employed for verification of information system requirements. The S-invariant property helps in checking application dependent properties of the information system; the reachability condition is useful in showing that the required outputs are derivable from the inputs; the T-invariant property helps in establishing that all processes in the system are performable; and the safeness property is useful in ensuring consistency in definition of outputs.