Knowledge-based support for system verification during requirements analysis

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.

REFERENCES

• 1: T.E.Bell, D.C.Bixler and M.E.Dyer, "An Extendable Approach to Computer-Aided Software Requirements Engineering," IEEE Transactions on Software Engineering , Vol SE-3,Nol,Jan 1977, pp 49-59.
• 2: B.W.Boehm, "Validating and Verifying Software Requirements and Design Specifications,'' IEEE Software , Vol 1, No 1, Jan 1984, pp 75-88
• 3: W.Brauer, Net Theory and Applications , Springer Verlag, NewYork, 1980.
• 4: G.B.Davis and C.R.Vick, "The Software Development System," IEEE Transactions on Software Engineering , Vol SE-3, No 1, Jan 1977, pp 69-84.
• 5: Tom DeMarco, Structured Analysis and System Specification, Prentice Hall PTR, Upper Saddle River, NJ, 1979
• 6: C.Girault and W.Reisig, _Application and Theory of Petri Nets , Springer Verlag, NewYork, 1982.
• 7: M. A Jackson, System development (Prentice-Hall International series in computer science), Prentice-Hall, Inc., Upper Saddle River, NJ, 1983
• 8: IEEE international Workshop on Timed Petri Nets , Torino, Italy, 1985, IEEE Catalog Number 85CH2 187-3.
• 9: E.Knuth, F.Halasz and P.Rado, "System Descriptor and Logical Analyzer, " in T. W. Olle, H.G. Sol and A.A. Verrijn Stuart, Information System Des ign and Met hodologies-A Comparative Review ,Proceedings of IFIP WG 8.1 Conference, North Holland Publishing Co., NewYork, 1982, pp 143-172.
• 10: T.Murata, "Petri Nets and Their Application - An Introduction, "Management and Office !nformati0n Systems , edited by Shi-Kuo Chang, Plenum Publishing Corporation, 1984.
• 11: J.F.Nunamaker, "A Methodology for the Design and Opt imi s at ion of Information Processing Sys terns, "AFIPS conference proceedings , Vol 38, 1971
• 12: T.W.011e, }{.G.Sol and A.AoVerrijn Stuart, Information System Design and lethodologies-A Comparative Review ,Proceedings of IFIP WG 8.1 Conference, North Holland Publishing Co., NewYork, 1982
• 13: K.T.0rr, Structured Systems Development , Yourdon Press, NewYork, 1977.
• 14: K.T.Orr, Structured Requirements Definition , Ken Orr and Associates Inc, Topeka, KS, 1981.
• 15: James L. Peterson, Petri Nets, ACM Computing Surveys (CSUR), v.9 n.3, p.223-252, Sept. 1977 [doi>10.1145/356698.356702]
• 16: James Lyle Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall PTR, Upper Saddle River, NJ, 1981
• 17: C.A.Petri, Kommunikation mit Automaten , University of Bonn, 1962; English translation by C F Greene Jr."Communication with Automata", supplement 1 to Tech. Report RADC-TR-65-377, Vol I, Rome Air Development Center, Griffis Air Base, Rome, NY. 1965.
• 18: Wolfgang Reisig, Petri nets: an introduction, Springer-Verlag New York, Inc., New York, NY, 1985
• 19: D.T.Ross, "Structured Analysis (SA)' A Language for Communicating Ideas, IEEE Transactions on Software Engineering , Vol SE-3, No !, Jan 1977 pp 16-33.
• 20: P.A.Scheffer, A.H.Stone, W.E.Rzepka, "A Case Study of SREM, "Computer Vol 8, No 4, April 1985, pp 47-54.
• 21: D.T.Ross and K.E.Scheman, "Snructured Analysis for Requirements Definition, IEEE Transactions on Software Engineering , Vol SE-3, No 1, Jan 1977, pp 6-15.
• 22: S.Sakthivel and Mohan R. Tanniru, 'Information System Verification and Validation during Requirement Analvsis~ using Petri. Nets', School of Management, SyracuseUniversity, Syracuse, New York, 13210.
• 23: A.E.Salwin, "A Test Case Comparison of URL/URA and RSL/REVS, "Tech report FS-77-161, Fleet Systems department, The John Hopkins University, Applied Physics Laboratory, Laurel, Maryland.
• 24: H.J.Schneider, Formal kfodels and Practical Tools for Information Systems Design - Proceedings of 1F"P TC.8 Conference North Holland Publishing Co., NewYork, 1979. Verlag, NewYork, 1980, pp 307-320.
• 25: D.Teichroew, "Problem Statement Analysis Requirements for the Problem Statement Analyzer {PSA}-ISDO$", Department of IE, Univ. of Michigan, AnnArbor, 1977.
• 26: D.Teichroew and E.A.Hershey, " PSL/PSA-A Computer-Aided Technique for Structured Documentation and Analysis of Information Systems," IEEE Transactions on Software. Engineering , Vol SE-3, No 1, Jan 1977, pp 41-48.
• 27: J.W.Winchester and G.Estrin, "Requirements Definition and its Interface to SARA Design Methodology for Computer Based Systems," National Computer Conference ,1982, pp 369-379.

INDEX TERMS

Classification:
  F. Theory of Computation
  F.1 COMPUTATION BY ABSTRACT DEVICES
      F.1.1 Models of Computation
          Subjects: Unbounded-action devices (e.g., cellular automata, circuits, networks of machines)

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE

  K. Computing Milieux
  K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS
      K.6.1 Project and People Management
          Subjects: Management techniques (e.g., PERT/CPM)

General Terms:
Management, Theory, Verification