A. Tuzhilin, TEMPLAR - A KNOWLEDGE-BASED LANGUAGE FOR SOFTWARE SPECIFICATIONS USING TEMPORAL LOGIC, ACM transactions on information systems, 13(3), 1995, pp. 269-304
Citations number
41
Categorie Soggetti
Information Science & Library Science","Computer Science Information Systems
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.