Title: | TEMPLAR: A KNOWLEDGE-BASED LANGUAGE FOR SOFTWARE SPECIFICATIONS USING TEMPORAL LOGIC |
Authors: | Tuzhilin, Alex |
Issue Date: | Oct-1991 |
Publisher: | Stern School of Business, New York University |
Series/Report no.: | IS-91-27 |
Abstract: | A software specification language Templar is defined. The language 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, and parallelism, combined together in a coherent system. The development of the language was guided by the following objectives: specifications written in Templar should be easy for the non-computer oriented users to understand, should have formal syntax and semantics, and it should be easy to map them into a broad range of design specifications. |
URI: | http://hdl.handle.net/2451/14385 |
Appears in Collections: | IOMS: Information Systems Working Papers |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
IS-91-27.pdf | 5.45 MB | Adobe PDF | View/Open |
Items in FDA are protected by copyright, with all rights reserved, unless otherwise indicated.