Lecture 6: Formal Models

  1. Lecture 6 Formal Models
  2. The Purpose of This Lecture
  3. Why Formal Models of Software Architecture?
  4. What Can We Formalize?
  5. In This Course
  6. Why Specify using Z?
  7. Formal Underpinnings
  8. Structure of Z Specifications
  9. Outline
  10. The Mathematics of Z: Sets
  11. Sets (2)
  12. Set Comprehension
  13. Set Comprehension (2)
  14. Variables
  15. Enumerated Types
  16. Power Sets
  17. Tuples
  18. Relations
  19. Relations (2)
  20. Functions
  21. Functions (2)
  22. Summary: Set Constructors
  23. Outline
  24. A Simple Example
  25. The State Space
  26. BirthdayBook
  27. Example
  28. Observation
  29. Initial State
  30. Operations
  31. Operations (2)
  32. Add Birthday
  33. Derived Components
  34. Reasoning About the Specification
  35. Find Birthday
  36. Remind
  37. Summary
  38. Outline
  39. Error Handling
  40. Successful Operations
  41. Add Birthday -- revised
  42. Detecting Errors
  43. Combining the Parts
  44. The Other Operations
  45. Advantages of Approach
  46. Observation
  47. Other Uses of the Schema Calculus
  48. Summary
  49. Part III What is an Architectural Style?
  50. NAME THIS SLIDE
  51. NAME THIS SLIDE
  52. NAME THIS SLIDE
  53. Elements of Architectural Style
  54. The Specification Enterprise
  55. Making Style Precise
  56. Why Bother?

© 1996 Carnegie Mellon Computer Science

Return to Software Architecture MAIN PAGE

Email the Current Maintainer

Modified: 9 December 96