Skip to main content
SpringerLink
Log in

Automatic integration of digital system requirements using schemata

  • Conference paper
  • First Online:
Conceptual Structures: Applications, Implementation and Theory (ICCS 1995)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 954))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. IEEE, IEEE Standard VHDL Language Reference Manual, IEEE, NY, 1988.

    Google Scholar 

  2. J. F. Sowa, Conceptual Structures: Information Processing in Mind and Machine, Addison-Wesley, Reading, MA, 1984.

    Google Scholar 

  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. 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. 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. Sidney Greenbaum et al., A Grammar of Contemporary English, Longman Group Limited, London, 1973.

    Google Scholar 

  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. 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. J. A. Bondy and U. S. R. Murty, Graph Theory with Applications, New York: North Holland, 1976.

    Google Scholar 

  10. MOTOROLA, MC68HC11 Reference Manual, PRENTICE HALL, Englewood Cliffs, N. J. 07632, 1989.

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. The Bradley Department of Electrical Engineering, Virginia Tech, 24061-0111, Blacksburg, VA

    R. Y. Kamath & W. R. Cyre

Authors
  1. R. Y. Kamath
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. W. R. Cyre
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Gerard Ellis Robert Levinson William Rich John F. Sowa

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kamath, R.Y., Cyre, W.R. (1995). Automatic integration of digital system requirements using schemata. In: Ellis, G., Levinson, R., Rich, W., Sowa, J.F. (eds) Conceptual Structures: Applications, Implementation and Theory. ICCS 1995. Lecture Notes in Computer Science, vol 954. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60161-9_28

Download citation

  • DOI: https://doi.org/10.1007/3-540-60161-9_28

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60161-6

  • Online ISBN: 978-3-540-49539-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation