TEMPLAR - A KNOWLEDGE-BASED LANGUAGE FOR SOFTWARE SPECIFICATIONS USING TEMPORAL LOGIC

A software specification language Templar is defined in this article. The development of the language was guided by the following objectives : requirements specifications written in Templar should have a clear s yntax and formal semantics, should be easy for a systems analyst to de velop and for an end-user to understand, and it should be easy to map them into a broad range of design specifications. Templar is based on temporal logic and on the Activity-Event-Condition-Activity model of a rule which is an extension of the Event-Condition-Activity model in a ctive databases. The language supports a rich set of modeling primitiv es, including rules, procedures, temporal logic operators, events, act ivities, hierarchical decomposition of activities, parallelism, and de cisions combined together into a cohesive system.