Writing Vesta Bridges
Tools under Vesta
Tools under Vesta
Bridge = Abstraction
Good Bridge Design
Good Bridge Design
Good Bridge Design
grep Bridge
Getting the Executable
Getting the Executable
Running pkg2vesta.pl
What pkg2vesta.pl Made
If you Don't Have a .rpm/.deb
Simple Bridge
Simple Bridge Details
Simple Bridge Details
Simple Bridge Details
Simple Bridge Details
Simple Bridge Details
Simple Bridge Details
Simple Bridge Details
Simple Bridge Details
Simple Bridge Details
Simple Bridge Usage Example
Putting The Pieces Together
linux_i386.main.ves
Top-level Model Details
Top-level Model Details
Top-level Model Details
Top-level Model Details
Top-level Model Details
Call Graph of Example
Call Graph of Example
Call Graph of Example
Call Graph of Example
Construction of Dot (.)
Construction of Dot (.)
Construction of Dot (.)
Data Flow in linux_i386.main.ves
Data Flow in linux_i386.main.ves
Data Flow in linux_i386.main.ves
Data Flow in linux_i386.main.ves
Evaluating The Example
Investigating The Problem
Investigating The Problem
Investigating The Problem
Investigating The Problem
Investigating The Problem
Fixing The Problem
Switches
Switches
Switches
Usage Example with Switches
Switches vs. Abstract Options
Multiple Files
Handling Multiple Files
Details of Handling Multiple Files
Details of Handling Multiple Files
Details of Handling Multiple Files
Usage Example with Multiple Files
Finishing Touches: Generalization
Bridge Parameters
Bridge Parameters
Bridge Parameters
Bridge Parameters
New linux_i386.main.ves
Top-level Model Changes
Learning More
Learning More