Faculty Digital Archive

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/14396

Authors: Bieber, Michael
Isakowitz, Tomas
Keywords: Logic Modeling
Text Editing
Operational Semantics
Hoare Logic
Horn Logic
Issue Date: Dec-1991
Publisher: Stern School of Business, New York University
Series/Report no.: IS-91-39
Abstract: This paper presents a logic modeling exercise in which we develop test and implement a logic model for a test editor and use it to test existing test editing software. We begin by presenting a first order Horn logic axiomatization of a text editor by providing domain equations for the primitive operations insert, delete and character retrieval. We show that this logic model captures the essential aspects of the text editing task and how more complex features are built using these primitives. We discuss possible implementations and conclude that any operational semantics - the set of algorithms that perform the task - must be strongly related to the logic model we present. In other words, each operational semantics constitutes a model of the logic theory Next, we illustrate the usefulness of the model by implementing a basic text editing system and testing the correctness of an existing text editor. We conclude by describing how we are integrating these modeling techniques into a larger and more complex knowledge-based system.
URI: http://hdl.handle.net/2451/14396
Appears in Collections:IOMS: Information Systems Working Papers

Files in This Item:

File Description SizeFormat
IS-91-39.pdf5.96 MBAdobe PDFView/Open

Items in Faculty Digital Archive are protected by copyright, with all rights reserved, unless otherwise indicated.


The contents of the FDA may be subject to copyright, be offered under a Creative Commons license, or be in the public domain.
Please check items for rights statements. For information about NYU’s copyright policy, see http://www.nyu.edu/footer/copyright-and-fair-use.html 
Valid XHTML 1.0 | CSS