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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
