Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Tuzhilin, Alex | - |
dc.date.accessioned | 2006-02-13T15:15:56Z | - |
dc.date.available | 2006-02-13T15:15:56Z | - |
dc.date.issued | 1991-10 | - |
dc.identifier.uri | http://hdl.handle.net/2451/14385 | - |
dc.description.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. | en |
dc.format.extent | 5585179 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language | English | EN |
dc.language.iso | en_US | - |
dc.publisher | Stern School of Business, New York University | en |
dc.relation.ispartofseries | IS-91-27 | - |
dc.title | TEMPLAR: A KNOWLEDGE-BASED LANGUAGE FOR SOFTWARE SPECIFICATIONS USING TEMPORAL LOGIC | en |
dc.type | Working Paper | en |
dc.description.series | Information Systems Working Papers Series | EN |
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.