Skip navigation
Full metadata record
DC FieldValueLanguage
dc.contributor.authorTuzhilin, Alex-
dc.date.accessioned2006-02-13T15:15:56Z-
dc.date.available2006-02-13T15:15:56Z-
dc.date.issued1991-10-
dc.identifier.urihttp://hdl.handle.net/2451/14385-
dc.description.abstractA 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.extent5585179 bytes-
dc.format.mimetypeapplication/pdf-
dc.languageEnglishEN
dc.language.isoen_US-
dc.publisherStern School of Business, New York Universityen
dc.relation.ispartofseriesIS-91-27-
dc.titleTEMPLAR: A KNOWLEDGE-BASED LANGUAGE FOR SOFTWARE SPECIFICATIONS USING TEMPORAL LOGICen
dc.typeWorking Paperen
dc.description.seriesInformation Systems Working Papers SeriesEN
Appears in Collections:IOMS: Information Systems Working Papers

Files in This Item:
File Description SizeFormat 
IS-91-27.pdf5.45 MBAdobe PDFView/Open


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