Automatic implementation generation for pervasive applications
Author(s)
Paluska, Justin Mazzola, 1981-
DownloadFull printable version (822.9Kb)
Other Contributors
Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science.
Advisor
Steve Ward.
Terms of use
Metadata
Show full item recordAbstract
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.
Date issued
2004Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer SciencePublisher
Massachusetts Institute of Technology
Keywords
Electrical Engineering and Computer Science.