Share Email Print

Proceedings Paper

Temporal consistency checking of natural language specifications
Author(s): Frank D. Anger; Rita V. Rodriguez; Frank O. Hadlock
Format Member Price Non-Member Price
PDF $14.40 $18.00
cover GOOD NEWS! Your organization subscribes to the SPIE Digital Library. You may be able to download this paper for free. Check Access

Paper Abstract

An application of a temporal model which allows the addressing of the temporal issues inherent in the natural language specifications of distributed systems is introduced. The proposed model is integrated into the SeCalc (State-Event Calculus) model for system specifications which was designed to permit the semi-automated conversion of natural language specifications into a system design. The paper presents a description of the temporal model as well as the constraint propagation method used to maintain and extend the knowledge. By using its knowledge of time-related vocabulary and the temporal model, the system constructs a meaningful network of events and temporal information, relating both relational and numeric temporal knowledge. Thus a capability for detecting inconsistencies in the temporal aspects of the specifications is provided. Key Words: Temporal Reasoning, Natural Language Processing, Consistency Checking, Software Engineering, Software Specifications.

Paper Details

Date Published: 1 January 1990
PDF: 9 pages
Proc. SPIE 1293, Applications of Artificial Intelligence VIII, (1 January 1990); doi: 10.1117/12.21105
Show Author Affiliations
Frank D. Anger, Univ. of West Florida (United States)
Rita V. Rodriguez, Univ. of West Florida (United States)
Frank O. Hadlock, Tennessee Technological Univ. (United States)

Published in SPIE Proceedings Vol. 1293:
Applications of Artificial Intelligence VIII
Mohan M. Trivedi, Editor(s)

© SPIE. Terms of Use
Back to Top