Skip navigation

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

Authors: Tuzhilin, Alexander
Keywords: Design;Languages;Activities;events;rule-based systems;specification languages;temporal logic;time
Issue Date: 1993
Publisher: Stern School of Business, New York University
Series/Report no.: IS-93-033
Abstract: 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 syntax and formal semantics, should be easy for a systems analyst to develop 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 active databases. 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.
Appears in Collections:IOMS: Information Systems Working Papers

Files in This Item:
File Description SizeFormat 
IS-93-033.pdf2.48 MBAdobe PDFView/Open

Items in FDA are protected by copyright, with all rights reserved, unless otherwise indicated.