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?
.
© 1998 Carnegie Mellon Computer Science
BACK
Heather L. Marko
Modified: 5/13/98