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.