Lecture15: Models of events systems

• Lecture 15 Models of Event Systems .
• This Lecture .
• Questions to Address .
• Event Systems .
• Event Systems: Implicit versus Explicit Invocation .
• Indirect versus Implicit Invocation .
• Event Systems: Model .
• Event Systems: Example 1 .
• Event Systems: Example 2 .
• Event Systems: Example 3 .
• Event Systems: Advantages .
• Event Systems: Disadvantages .
• Event Systems: Specializations .
• Application 1: Mediators .
• Possible Solutions .
• Implicit Invocation Solution .
• Application 2: Case Study in Industrial Arch. Design .
• Case Study (continued) .
• Case Study (continued) .
• KWIC .
• KWIC: Solutions 1 & 2 .
• KWIC: Solution 3 ( ADTs ) .
• KWIC: Solution 3 (Toolies) .
• Formal Models of Event Systems .
• Formal Model Event System Components .
• Event System .
• Specialization of the Style .
• Informal Analysis .
• Formal Analysis .
• Reasoning about Events Systems .

Back

Heather L. Marko

Modified: 5/13/98