Temporal consistency checking of natural language specifications

Frank D. Anger; Rita V. Rodriguez; Frank O. Hadlock

doi:10.1117/12.21105

1 January 1990 Temporal consistency checking of natural language specifications

Frank D. Anger, Rita V. Rodriguez, Frank O. Hadlock

Proceedings Volume 1293, Applications of Artificial Intelligence VIII; (1990) https://doi.org/10.1117/12.21105
Event: 1990 Technical Symposium on Optics, Electro-Optics, and Sensors, 1990, Orlando, FL, United States

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.

Citation Download Citation

Frank D. Anger, Rita V. Rodriguez, and Frank O. Hadlock "Temporal consistency checking of natural language specifications", Proc. SPIE 1293, Applications of Artificial Intelligence VIII, (1 January 1990); https://doi.org/10.1117/12.21105

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available