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

A software specification language Templar is defined in this article. The development of thelanguage was guided by the following objectives: requirements specifications written in Templarshould have a clear syntax and formal semantics, should be easy for a systems analyst to developand for an end-user to understand, and it should be easy to map them into a broad range ofdesign 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 activedatabases. The language supports a rich set of modeling primitives, including rules, procedures,temporal logic operators, events, activities, hierarchical decomposition of activities, parallelism,and decisions combined together into a cohesive system