|
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
|
| Title: | TEXT EDITING AND BEYOND: A STUDY IN LOGIC MODELING |
| Authors: | Bieber, Michael
Isakowitz, Tomas |
| Keywords: | Logic Modeling
Text Editing
Operational Semantics
Hoare Logic
Horn Logic
Prolog
Hypertext |
| 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
|
All items in Faculty Digital Archive are protected by copyright, with all rights reserved.
|
