Generating Validation Feedback for Automatic Interpretation of Informal Requirements

Formal Methods in System Design

Volumn 10, Issue 1, 1997, Pages 73-92

  Cyre, W R ^a   Thakar, A ^b  

^a VIRGINIA POLYTECHNIC INSTITUTE AND STATE UNIVERSITY   (United States)

^b INTEL CORPORATION   (United States)

Author keywords

Conceptual graphs; Formal models; Model generation; Requirements analysis; Visualization

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER VISION; GRAPH THEORY; GRAPHICAL USER INTERFACES; KNOWLEDGE REPRESENTATION; NATURAL LANGUAGE PROCESSING SYSTEMS;

CONCEPTUAL GRAPHS; DIGRAPHS; FORMAL MODELS; ICONS; INFORMAL REQUIREMENTS; MODEL GENERATION; REQUIREMENT ANALYSIS; SEMANTIC NETWORKS; VALIDATION FEEDBACK;

COMPUTATION THEORY;

EID: 0031070591     PISSN: 09259856     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008687607689     Document Type: Article

References (18)

1. S. Balachandar and W.R. Cyre, "Knowledge acquisition tool using visualization and back annotation," Proc. Workshop on Knowledge Acquisition Using Conceptual Graphs, College Park, MD, Aug. 20, 1994, pp. 95-115.
2. W.R. Cyre, "A requirements sublanguage for automated analysis," International Journal of Intelligent Systems, Vol. 10, No. 7, pp. 665-689, July 1995.
3. W.R. Cyre, "Capture, integration and analysis of digital system requirements with conceptual graphs," Accepted for publication in IEEE T. on Knowledge and Data Engineering.
4. W.R. Cyre, "The conceptual representation of waveforms for temporal reasoning," IEEE Transactions on Computers, Vol. 43, No. 2, pp. 186-200, Feb. 1994.
5. W.R. Cyre, "Textual/graphical design capture for conceptual-level synthesis," Proc. IFIP Conference on Hardware Description Language Conference CHDL'93, Ottawa, Canada, April 26-28, 1993, pp. 471-488.
6. T. Fruchterman and E. Reingold, "Graph drawing by force-directed placement," Software-Practice and Experience, Vol. 21, No. 11, Nov. 1991.
7. R. Greenwood and W.R. Cyre, "Conceptual modeling of digital systems from informal descriptions," Proc. International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunications Systems: MASCOTS'93, San Diego, CA, Jan. 1993.
8. A. Honcharik, "Generation of VHDL from conceptual graphs of informal specifications," MS Thesis, Virginia Tech, 127 pgs., Aug. 1993.
9. R. Kamath and W.R. Cyre, "Automatic integration of digital system requirements using schemata," Accepted for Proc. 1995, International Conference on Conceptual Structures, Santa Cruz, CA, Aug. 1995.
10. P.D. Karp et al., "The Grasper-CL Graph Management System," Technical Note, 512, SRI International, Menlo Park, CA, Jan. 20, 1993.
11. J.L. Peterson, "Petri nets," Computing Surveys, Vol. 9, No. 3, Sept. 1977.
12. R.C. Shank and B.L. Nash-Webber, Theoretical Issues in Natural Language Processing, Association of Computational Linguistics, 1975.
13. S. Shankaranarayanan and W.R. Cyre, "Identification of coreferences with conceptual graphs," Proc. 1994 International Conference on Conceptual Structures, College Park, MD, Aug. 16-20, 1994, pp. 45-60.
14. J.F. Sowa, Conceptual Structures: Information Processing in Mind and Machine, Addison-Wesley, Reading, MA, 1984.
15. J.F. Sowa and E. Way, "Implementing a semantic interpreter using conceptual graphs," IBM J. Research and Development, Vol. 30, pp. 57-69, Jan. 1986.
16. K. Sugiyama and K. Misue, "Visualization of structural information: Automatic drawing of compound digraphs," IEEE T. Systems, Man and Cybernetics, Vol. 21, No. 4, pp. 876-892, July/Aug. 1991.
17. A. Thakar and W.R. Cyre, "Visual feedback for validation of informal specifications," Proc. International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunications Systems: MASCOTS'94, Duke University, Durham, NC, Jan. 1994.
18. T. Winograd, Understanding Natural Language, Academic Press, NY, 1972.