This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Capture, Integration, and Analysis of Digital System Requirements with Conceptual Graphs
January-February 1997 (vol. 9 no. 1)
pp. 8-23

Abstract—Initial requirements for new digital systems and products that are generally expressed in a variety of notations including diagrams and natural language can be automatically translated to a common knowledge representation for integration, for consistency and completeness analysis, and for further automatic synthesis. In this paper, block diagrams, flowcharts, timing diagrams, and English as used in specifying digital systems requirements are considered as examples of source notations for system requirements. The knowledge representation selected for this work is a form of semantic networks called conceptual graphs. For each source notation, a basis set of semantic primitives in terms of conceptual graphs is given, together with an algorithm for automatically generating conceptual structures from the notation. The automatic generation of conceptual structures from English presumes a restricted sublanguage of English and feedback to the author for verification of the interpretation. Mechanisms for integrating the separate conceptual structures generated from individual requirements expressions using schemata are discussed, and methods are illustrated for consistency and completeness analysis.

[1] A.V. Aho and J.D. Ullman, The Theory of Parsing, Translation and Compiling, Vol. 1: Parsing, Prentice Hall, Englewood Cliffs, N.J., 1972.
[2] J. Allen, "Towards A General Theory of Action and Time," Artificial Intelligence, Vol. 23, No. 2, July 1984, pp. 123-154.
[3] D. Burnette and J. Armstrong, "Automated Assists to the Behavioral Modeling Process," Proc. First Int'l Workshop Rapid System Prototyping, pp. 187-195, 1991.
[4] R.R. Burton, Semantic Grammar: An Engineering Technique for Constructing Natural Language Understanding Systems, BBN Report #3453, Bolt, Beranek, and Newman, Cambridge, Mass, Dec., 1976.
[5] Graph Grammars and Their Application to Computer Science and Biology, V. Claus, H. Ehrig, and G, Rosenberg, eds., Springer-Verlag, Berlin, 1979.
[6] W.R. Cyre, "Toward Synthesis from English Descriptions," Proc. 26th Design Automation Conf.,Las Vegas, Nev., pp. 742-745, June 1989.
[7] W.R. Cyre, "Mapping Design Knowledge from Multiple Representations," Proc. 1991 IEEE Int'l Conf. Computer Design (ICCD '91),Boston, Oct. 1991.
[8] W.R. Cyre, "The Conceptual Representation of Waveforms for Temporal Reasoning," IEEE Trans. Computers, vol. 43, no. 2, pp. 186-200, Feb. 1994.
[9] J. Grant, W. Litwin, N. Roussopoulos, and T. Sellis, "An Algebra and Calculus for Relational Multidatabase Systems," Proc. First Int'l Workshop Interoperability in Multidatabase Systems, pp. 118-124. IEEE CS Press, 1991.
[10] D. Harel,H. Lachover,A. Naamad,A. Pnueli,M. Politi,R. Sherman,A. Shtul-Trauring,“Statemate: A working environment for the development of complex reactive systems,” Proc. 10th Int’l Conf. Software Eng. (ICSE 10), IEEE Computer Soc., pp. 396-406, 1988.
[11] J. Esch and T.E. Nagle, "Representing Temporal Intervals Using Conceptual Graphs," Proc. Fifth Workshop Conceptual Structures,Boston, July 1990.
[12] C.J. Fillmore, "The Case for CASE," Universals in Linguistic Theory, Bach and Harms, eds., Holt, Reinhart and Winston, Chicago, pp. 1-90, 1968.
[13] J.J. Granacki and A.C. Parker, "PHRAN-SPAN: A Natural Language Interface for System Specifications," Proc. 24th Design Automation Conf., June 1987.
[14] R. Hartley and M. Coombs, "Reasoning with Graph Operations," J. Sowa, ed., Principles of Semantic Networks, Morgan Kaufmann, San Mateo, Calif., 1991.
[15] A. Honcharik, "Generation of VHDL from Conceptual Graphs of Informal Specifications," MS thesis, Virginia Tech, 127 pages, Aug. 1993.
[16] "IEEE Standard VHDL Reference Manual," IEEE, New York, 1988.
[17] "ExpressV-HDL User and Reference Manual," i-Logic Inc., Burlington, Mass., Jan. 1992.
[18] Sublanguage: Studies of Language in Restricted Semantic Domains, R. Kittredge and J. Lehrberger, eds., deGruyter, New York, 1982.
[19] D.W. Knapp and A.C. Parker, "A Unified Representation for Design Automation," C.J. Koomen and T. Moto-oka, eds., Computer Hardware Description Languages and Their Applications,Tokyo, pp. 29-31, Aug. 1985.
[20] D. Matuszek, T. Finin, R. Fritzson, and C. Overton, "Endpoint Relations on Temporal Intervals," Proc. Third Ann. Rocky Mountain Conf. Artificial Intelligence, pp. 182-188, June 1988.
[21] M.L. Mugnier and M. Chein, “Polynomial Algorithms for Projection and Matching,” Conceptual Structures: Theory and Implementation, T.E. Nagle and H.D. Pfeiffer, eds., 1993.
[22] C.S. Peirce, Collected Papers of Charles Sanders Peirce, A.W. Burks, ed., eight volumes, Harvard Univ. Press, Cambridge, Mass., 1960.
[23] J.L. Peterson, “Petri Nets,” ACM Computing Surveys, vol. 9, no. 3, Sept. 1977.
[24] E. Rich and K. Knight, Artificial Intelligence, Mc-Graw Hill, 1991.
[25] R.C. Shank and B.L Nash-Webber, Theoretical Issues in Natural Language Processing, Assoc. of Computational Linguistics, 1975.
[26] S. Shankaranarayanan and W.R. Cyre, "Identification of Coreferences with Conceptual Graphs," Proc. 1994 Int'l Conf. Conceptual Structures,College Park, Md., pp. 45-60, Aug.16-20, 1994.
[27] J.F. Sowa and E.C. Way, "Implementing a Semantic Interpreter Using Conceptual Graphs," IBM J. Research and Development, vol. 30, pp. 57-69, Jan., 1986.
[28] J.F. Sowa, Conceptual Structures: Information Processing in Mind and Machine, Addison-Wesley, Reading, Mass., 1984.
[29] EDIF Electronic Design Interchange Format Version 2.0.0, P. Stanford and P. Mancuso, eds., Electronics Industries Assoc., 1989.
[30] A. Thakar and W. Cyre, "Visual Feedback for Validation of Informal Specifications," Proc. Int'l Workshop Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS '94),Durham, N.C., pp. 411-412, Jan. 31- Feb.2, 1994.
[31] F. Vahid, S. Narayan, and D. Gajski, "SpecCharts: A Language for System Level Synthesis," Proc. Computer Hardware Description Languages, pp. 145-154, 1991.
[32] T. Winograd, Language as a Cognitive Process, Vol. 1: Syntax, Addison-Wesley, Reading, Mass., 1983.

Index Terms:
Design automation, knowledge acquisition, design representation, knowledge representation, nonmonotonic reasoning, consistency analysis.
Citation:
Walling R. Cyre, "Capture, Integration, and Analysis of Digital System Requirements with Conceptual Graphs," IEEE Transactions on Knowledge and Data Engineering, vol. 9, no. 1, pp. 8-23, Jan.-Feb. 1997, doi:10.1109/69.567041
Usage of this product signifies your acceptance of the Terms of Use.