Professional Documents
Culture Documents
Bản Sao Của en Problem-Based Learning by Slidesgo
Bản Sao Của en Problem-Based Learning by Slidesgo
Specifications
Content
The Value of Architectural Formalism - Formalizing the
01
Architecture of a Specific System
Problem Resolution:
Utilize a formal specification language to describe the architecture of a
specific system.
Illustration with a Specific Object:
Describe the precise architecture of an oscilloscope developed at
Tektronix, Inc.
Objective: Provide an accurate characterization of the system-level
functions determining the overall product functionality.
System Architecture:
Developed an architectural framework decomposing overall processing
into a graph of transformations.
System viewed as an instance of a pipe-and-filter architecture style
(refer to Section 3.2).
User Interface and Data Processing Details:
Each individual transformer has an interface for user adjustment through
parameter settings.
Example: The transformation determining how a waveform is displayed
is parameterized by scaling and positioning factors.
Combining
Show how pipes and filter are combine to form a complete
Step 3 filters and
system.
pipes
For each of these three aspects of the architecture, we characterize both its static and its dynamic
properties.
Filters
○ Definition: A filter is characterized by its name, ports (input and output), and program.
○ Program: The program defines the filter's behavior as a state machine with legal states, a start
state, and a transition function that maps inputs to outputs while potentially changing the state.
○ State: The state of a filter includes the current program state, internal state, and data waiting to
be read or written.
○ Computation Step: A computational step involves reading data from inputs, performing
transformations based on the program and internal state, and writing data to outputs.
Pipes
● Definition: A pipe is a typed connection between two filter ports, one output and one input.
● State: The state of a pipe consists of two parts: delivered data and data waiting for delivery.
● Properties: Pipes are self-contained and independent of filters. Data is not altered or reordered during
transmission.
● Computation Step: A computational step involves delivering some data from the source port to the
sink port.
Pipe-and-Filter system
○ Definition: Composed of a collection of filters and pipes.
○ Consistency requirements:
■ Each filter has a unique name.
■ No "dangling" pipes (every pipe connects two ports).
■ Ports connect to at most one pipe.
■ Not all ports need to be connected (allows open systems and hierarchical composition).
○ State: Defined by the states of its filters and pipes, including port and pipe states.
○ Computation step: Either a filter computation step (executing a single filter) or a pipe
transmission step.
○ System computation: A sequence of steps starting from a defined start state.
■ Start state: all filters in start state, pipes empty, output ports empty (unconnected ports
not required to be empty).
03
Formalizing an
Architectural Design
Space - Toward a Theory
of Software Architecture
Formalizing an Architectural Design Space
2 Event System
5 Benefits of Formalization
1.Abstract Architectural Model