Lecture8: Formal models for data flow

• Lecture 8: Formal Models of Software Architecture .
• This Lecture .
• The Role of Formalism in Software Architecture .
• Are Pictures Enough? .
• The Value of Formal Definitions .
• Example .
• Models & Analysis .
• Issue 1: What is Being Formalized/Modeled .
• Issue 2: What Properties Do We Care About? .
• In This Course We Will See: .
• Mathematical Bases .
• General Observations .
• Example 1: Simple Pipe-Filter Systems .
• Formalizing Architectural Representation .
• Wright .
• Structural Basis of Wright .
• Structural Basis of Wright .
• Wright Structure: Syntax .
• Model of Connectors .
• A Formal Basis for Architectural Connection .
• Events .
• Processes .
• Infinite Processes (Recursion) .
• Alternatives and Data .
• Alternatives .
• Machine .
• Machine .
• Communication .
• CUSTOMER || MACHINE .
• Customer and Machine Must Agree .
• Alphabets .
• Internal Choice .
• Wright Example: Specification of a Pipe Protocol .
• Specification of a Pipe Protocol (2).
• Connector Instantiation.
• Compatibility (of a Port with a Role).
• Port-Role Compatibility.
• Well-Formed Connectors.
• Reasoning about the Specifications.

Back

Heather L. Marko

Modified: 5/13/98