Xref: utzoo ont.events:1299 uw.talks:24 uw.cs.grad:25
Path: utzoo!attcan!utgpu!watmath!maytag!water!wlrush
From: wlrush@water.waterloo.edu (Wenchantress Wench Wendall)
Newsgroups: ont.events,uw.talks,uw.cs.grad
Subject: Ph.D Thesis Presentation
Keywords: Mr. Wing-Hong Cheung, graduate student,
Message-ID: <2649@water.waterloo.edu>
Date: 18 Sep 89 14:55:43 GMT
Distribution: ont
Organization: U of Waterloo, Ontario
Lines: 38

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.