Lecture 9: Formal Models for Data Flow

  1. Formal Models for Data Flow
  2. Overview
  3. Overview
  4. What is a Software Architecture?
  5. Are pictures enough?
  6. Making descriptions precise
  7. Architectural style as description
  8. The Value of Formal Definitions
  9. Issues Raised by Formalization
  10. Two Techniques
  11. Modelling an Example System: Oscilloscopes
  12. Functional View
  13. Oscilloscope: Extended Pipe-Filter Approach
  14. Signals, Waveforms, Traces
  15. Basic Types
  16. Signals, Waveforms, Traces
  17. Channel Subsystem
  18. Coupling
  19. Acquisition
  20. Clip
  21. Channel Parameters
  22. Channel Configuration
  23. Trigger Subsystem
  24. Channel Selection
  25. Trigger Detection
  26. Trigger Parameters
  27. Trigger Configuration
  28. The Whole System
  29. Oscilloscope
  30. Modelling a Style: Pipes and Filters
  31. Formalizing PF (overview)
  32. Some Preliminary Definitions
  33. Schema Filter
  34. Schema Filter-State
  35. Schema Filter-Compute
  36. Schema Pipe
  37. Schema Pipe-State
  38. Schema Pipe-Compute
  39. Schema System
  40. Schema System-State
  41. Schema System-Filter-Step
  42. Schema System-Pipe-Step
  43. System Start and Final
  44. Complete Computation
  45. PF Graph
  46. Restrictions
  47. More than "boxes and lines"

© 1996 Carnegie Mellon Computer Science

Return to Software Architecture MAIN PAGE

Email the Current Maintainer

Modified: 9 December 96