Automatic integration of digital system requirements using schemata

  • R. Y. Kamath
  • W. R. Cyre
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 954)


Natural language and diagrams of various types are commonly used for specifications on digital systems containing descriptions and requirements. The objective of the research reported here is to develop an algorithm for the automatic integration of requirements using schemata to aid in the automatic detection and joining of common references (coreferences) to objects in natural language and other specifications. This paper describes a rule-based algorithm for the integration of requirements which are expressed as conceptual graphs. The algorithm uses design knowledge in the form of schemas to detect coreferences and perform joins. The algorithm is demonstrated by a small example.

Index Keywords

natural language processing digital system design schemata coreferences requirements integration 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    IEEE, IEEE Standard VHDL Language Reference Manual, IEEE, NY, 1988.Google Scholar
  2. [2]
    J. F. Sowa, Conceptual Structures: Information Processing in Mind and Machine, Addison-Wesley, Reading, MA, 1984.Google Scholar
  3. [3]
    R. Greenwood and W. R. Cyre, “Conceptual Modeling of Digital Systems from Informal Descriptions”, Proc. International Workshop on Modeling. Analysis and Simulation of Computer Telecommunications Systems, San Diego, CA, January 17–20, 1993.Google Scholar
  4. [4]
    Alex Honcharik, J. Armstrong and W. R. Cyre, “Mapping Conceptual Graphs to VHDL Descriptions”, VHDL International User's Forum, Washington, DC, October 18–21, 1992.Google Scholar
  5. [5]
    M. L. Mugnier and M. Chein, “Polynomial Algorithms for Projection and Marching, Proc. 7th Annual Workshop on Conceptual Graphs, Las Cruces, NM, pp. 49–58, July, 1992.Google Scholar
  6. [6]
    Sidney Greenbaum et al., A Grammar of Contemporary English, Longman Group Limited, London, 1973.Google Scholar
  7. [7]
    S. Shankaranarayanan and W. R. Cyre, “Identification of Coreferences with Conceptual Graphs”, Proc. Supp. 2nd International Conference on Conceptual Structures, College Park, NM, pp. 45–60, August 16–19, 1994.Google Scholar
  8. [8]
    W. R. Cyre, “Capture, Integration and Analysis of Digital System Requirements with conceptual Graphs”, accepted for publication in IEEE Trans. on Knowledge and Data Engr., 1994.Google Scholar
  9. [9]
    J. A. Bondy and U. S. R. Murty, Graph Theory with Applications, New York: North Holland, 1976.Google Scholar
  10. [10]
    MOTOROLA, MC68HC11 Reference Manual, PRENTICE HALL, Englewood Cliffs, N. J. 07632, 1989.Google Scholar
  11. [11]
    J. F. Sowa and E. C. Way, “Implementing a Semantic Interpreter Using Conceptual Graphs,” IBM J. Research and Development, Vol. 30, pp. 57–69, January, 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • R. Y. Kamath
    • 1
  • W. R. Cyre
    • 1
  1. 1.The Bradley Department of Electrical EngineeringVirginia TechBlacksburg

Personalised recommendations