Lecture11: Formal models for objects

• Lecture 11 Formal Models: Objects .
• This Lecture .
• Recap: The Value of Formal Definitions .
• Issue 1 : What is Being Formalized/Modeled .
• Issue 2 : What Properties Do We Care About? .
• In This Course We Will See: .
• Objects in Wright .
• Modeling Interfaces .
• Structure of Z Specifications .
• Some Mathematical Preliminaries: Sets .
• Set Comprehension .
• Set Comprehension (2) .
• Variables .
• Enumerated Types .
• Power Sets .
• Tuples .
• Relations .
• Relations (2) .
• Functions .
• Functions (2) .
• Summary: Set Constructors .
• A Simple Example.
• The State Space .
• BirthdayBook .
• Example .
• Observation .
• Initial State .
• Operations .
• Operations (2) .
• Add Birthday .
• Derived Components .
• Reasoning About the Specification .
• Find Birthday .
• Remind .
• Summary .
• Error Handling .
• Successful Operations .
• Add Birthday -- revised .
• Detecting Errors .
• Combining the Parts .
• The Other Operations .
• Advantages of Approach .
• Observation .
• Other Uses of the Schema Calculus .
• Summary .
• Components & Connectors .
• Configurations .
• What is an Architectural Style? .
• _____ .
• _____ .
• _____ .
• Elements of Architectural Style .
• The Specification Enterprise .
• Making Style Precise.
• Why Bother?.

BACK

Heather L. Marko

Modified: 5/13/98