gasser@USC-CSE.USC.EDU (02/07/86)
From: gasser@usc-cse.usc.edu
USC DISTRIBUTED PROBLEM SOLVING GROUP
MEETING
"Formalizing the Development of
Systems of Actors"
Ed Ipser
Ph.D Student, USC
A formalization of the process of specifying and developing
distributed systems is presented, with the emphasis on the description
of multiple robot environments. The general scheme is a recursive
reduction of behaviors with constraints to actors with pre-determined
behaviors by showing that the behaviors of the actors satisfy the
behavior and constraint requirements of the system. Possible
applications of this scheme are presented, including automatic
programming, planning, theorem proving, and the description of
non-computable functions. This work is based on the work of Goldman
and Wile on GIST, and Georgeff's work on the theory of processes.
Time: 3:00 PM Wednesday, Feb 12, 1986
Place: Seaver Science Bldg., Room 319, USC
Questions: Dr. Les Gasser, CS Dept., USC (213) 743-7794