Frameworks for Discrete-Event

Modeling and Design

Professor Edward A. Lee

Dept. of Electrical Engineering and Computer Science

University of California, Berkeley

Discrete-event systems, unlike more traditional computational models, embrace concurrency and time. Components in such systems interact in a rich variety of ways, not limited to the simple transfer of control of method calls in object-oriented design. I describe a view where the systems are modeled as assemblages of components within one of several models of computation, where components with well-defined interfaces are composed. The declaration of these component interfaces becomes a central problem, and the composition of properties becomes the central benefit. Unlike object-oriented interfaces, these interfaces must declare dynamic properties such as communication protocols. The model of computation must include shared information, such as time (a total ordering constraint), or causality (a partial ordering constraint).

 

Friday, September 29, 2000

3:30 - 5:00 p.m.

1500 EECS