wlrush@water.waterloo.edu (Wenchantress Wench Wendall) (09/18/89)
Dept. of Computer Science, will speak on
``Process and Event Abstraction for Debugging Distributed Programs.''
DEPARTMENT OF COMPUTER SCIENCE
UNIVERSITY OF WATERLOO
SEMINAR ACTIVITIES
Ph.D. THESIS PRESENTATION
-Tuesday, September 19, 1989
Mr. Wing-Hong Cheung, graduate student, Dept. of
Computer Science, will speak on ``Process and Event
Abstraction for Debugging Distributed Programs.''
TIME: 2:30 p.m.
ROOM: DC 1304
ABSTRACT
The main theme of this talk is the use of process and
event abstraction for coping with the complexity of
debugging distributed programs. The precedence ordering
among events is the crucial debugging information we
attempt to preserve during abstraction. Our goal is to
answer the question of how to perform abstraction
correctly with respect to event precedences.
In this talk, problems of preserving event
precedences during both process and event abstraction
are addressed. The notions of consistent interface cut,
representative process, and contraction are introduced
to solve the problems. The study presented answers the
question analytically, and gives a formal basis for
developing abstraction facilities in a distributed
debugger.