Lecture 12: Models of Event Systems

  1. Lecture 12 Models of Event Systems
  2. This Lecture
  3. Questions to Address
  4. Event Systems
  5. Event Systems: Implicit versus Explicit Invocation
  6. Indirect versus Implicit Invocation
  7. Event Systems: Model
  8. Event Systems: Example 1
  9. Event Systems: Example 2
  10. Event Systems: Example 3
  11. Event Systems: Advantages
  12. Event Systems: Disadvantages
  13. Event Systems: Specializations
  14. Application 1: Mediators
  15. Possible Solutions
  16. Implicit Invocation Solution
  17. Application 2: Case Study in Industrial Arch. Design
  18. Case Study (continued)
  19. Case Study (continued)
  20. KWIC
  21. KWIC: Solutions 1 & 2
  22. KWIC: Solution 3 (ADTs)
  23. KWIC: Solution 3 (Toolies)
  24. Formal Model Event System Components
  25. Event System
  26. Specialization of the Style
  27. Informal Analysis
  28. Formal Analysis
  29. Reasoning about Events Systems
© 1997 Carnegie Mellon Computer Science

Email the Current Maintainer

Modified: 02/28/97