Automatic implementation generation for pervasive applications
Name
57138193-MIT.pdf
Description
Full printable version
Size
823 KB
Format
Adobe PDF
Checksum (MD5)
95342d47335bfcd53cc38ae620c21f30
Author(s)
Paluska, Justin Mazzola, 1981-
Advisor(s)
Steve Ward.
Date Issued
2004
Publisher
Massachusetts Institute of Technology
Abstract
Pervasive computing promises to put computers in almost every corner of our life. Unfortunately, it also promises to make programmers' jobs harder since they cannot know what components are available in the run-time environment and as such, cannot statically plan out their programs. To help this situation, we propose goal-oriented programming, which may be more amenable to programming pervasive applications. Goal-oriented programming adds a level of indirection between Goals, high-level intentions such as "make me available for chat," and Techniques, the code that implements the intentions. Each Technique is a combination of code and prerequisite subgoals, so that a Technique can be itself goal-oriented. By decomposing an application this way, it is possible to automatically build parts of it based on the runtime environment. When an application would like a Goal satisfied, the implementation Planner first finds Techniques that can satisfy the Goal, and then recurses to satisfy the Techniques' subgoals. After a sufficient number of Techniques are found, the Planner evaluates the Techniques in some user-defined way, and chooses a set to execute. This work focuses on programming framework that isolates the planning aspect of goal-oriented programming from the Goals and Techniques themselves. We provide a reference Planner and evaluate its how well the Planner performs in simulation.
Description
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2004.
Includes bibliographical references (p. 69-71).
This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
Subjects
Electrical Engineering and Computer Science.
MIT Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission.
Persistent DSpace Link