Lecture 20: Formal Models for Processes

  1. Processes Models
  2. Overview
  3. About Formal Models
  4. Z (a quick review)
  5. Changing State
  6. A larger sequence of computations
  7. But is that always the best way?
  8. Some things can be described
  9. Others are more difficult to model
  10. Shifting Point of View
  11. Events
  12. Processes
  13. Infinite Proceses (Recursion)
  14. Alternatives and Data
  15. Alternatives
  16. Machine
  17. Machine
  18. Communication
  19. CUSTOMER MACHINE
  20. Customer and Machine Must Agree
  21. Alphabets
  22. Internal Choice
  23. Making Claims about Processes
  24. Laws
  25. Definition/Use Description
  26. Architectural Description
  27. Definition/Use versus Architectural
  28. Formalizing Architectural Representation
  29. Example: Wright
  30. Model of Connectors
  31. A Formal Basis for Architectural Connection
  32. Example: Specification of a Pipe Protocol
  33. Specification of a Pipe Protocol (2)
  34. Connector Instantiation
  35. Compatibility (of a Port with a Role)
  36. Port-Role Compatibility
  37. Well-Formed Connectors
  38. Reasoning about the Specifications

© 1996 Carnegie Mellon Computer Science

Return to Software Architecture MAIN PAGE

Email the Current Maintainer

Modified: 9 December 96