Templar : A Knowledge-Based Language for Software Specifications Using Temporal Logic

A software specification language Templar is defined. The language is based on temporallogic and on the Activity-Event-Condition-Activity model of a rule which is an extension ofthe Event-Condition-Activity model in active databases. The language supports a rich setof modeling primitives, including rules, procedures, temporal logic operators, events, activities,hierarchical decomposition of activities, and parallelism, combined together in a coherent system.The development of the language was guided by the following objectives: specifications writtenin Templar should be easy for the non-computer oriented users to understand, should haveformal syntax and semantics, and it should be easy to map them into a broad range of designspecifications