|
Archive@NYU >
Stern School of Business >
IOMS: Information Systems Working Papers >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/2451/14765
|
| Title: | 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. |
| URI: | http://hdl.handle.net/2451/14765 |
| Appears in Collections: | IOMS: Information Systems Working Papers
|
All items in Faculty Digital Archive are protected by copyright, with all rights reserved.
|
