Abstract
Purchase PDF (993 K)
E-mail Article
Add to my Quick Links
Cited By in Scopus (0)
Purchase PDF (915 K)
doi:10.1016/0950-7051(93)90041-Q 
Copyright © 1993 Published by Elsevier Science B.V.
Knowledge-based approach to structural integrity verification in requirements analysis and logical system specification
Received 26 November 1991;
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
Constructing an accurate representation of an information system that meets user requirements and translating these requirements into appropriate logical system specifications are two time-consuming tasks in the systems development life cycle. Though many structured methodologies are effective in enhancing communication between analysts and users, they provide limited support in representing an information system accurately. Furthermore, translating a user requirement, expressed as a function of this representation, into its logical equivalent is still a tedious task that is often performed manually by an analyst. This paper describes a knowledge-based approach to the representation of an information system as a Petri net. The characteristics of the network are then used to verify the system's structural integrity during the requirements analysis and system specification phases. The knowledge-based approach described is implemented in the logic programming language
.
Author Keywords: requirements analysis; logical specification; information systems; Petri nets
