A temporal programmer for time-sensitive modeling of discrete event systems

The paper presents a methodology for modeling temporal aspects of discrete-event systems. The methodology incorporates point and interval descriptions, and offers both a qualitative and quantitative calculus for time. A graph based temporal programmer (TEMPER) is shown to implement the axiomatic system of the temporal formalism. The approach transforms the temporal specifications into a graph structure, verifies the system for errors, and infers new qualitative and quantitative temporal information for system intervals and points.