![Page 1: Modeling Heterogeneous Semantics in Ptolemy...Modeling Heterogeneous Semantics in Ptolemy with Modular Actor Interfaces Chris Shaver working with Professor Edward A. Lee Models of](https://reader036.vdocument.in/reader036/viewer/2022062318/61190109614bb9738e604a3a/html5/thumbnails/1.jpg)
Modeling
Heterogeneous
Semantics in Ptolemy
with Modular Actor Interfaces
Chris Shaver
working with Professor Edward A. Lee
![Page 2: Modeling Heterogeneous Semantics in Ptolemy...Modeling Heterogeneous Semantics in Ptolemy with Modular Actor Interfaces Chris Shaver working with Professor Edward A. Lee Models of](https://reader036.vdocument.in/reader036/viewer/2022062318/61190109614bb9738e604a3a/html5/thumbnails/2.jpg)
![Page 3: Modeling Heterogeneous Semantics in Ptolemy...Modeling Heterogeneous Semantics in Ptolemy with Modular Actor Interfaces Chris Shaver working with Professor Edward A. Lee Models of](https://reader036.vdocument.in/reader036/viewer/2022062318/61190109614bb9738e604a3a/html5/thumbnails/3.jpg)
Models of Computation
![Page 4: Modeling Heterogeneous Semantics in Ptolemy...Modeling Heterogeneous Semantics in Ptolemy with Modular Actor Interfaces Chris Shaver working with Professor Edward A. Lee Models of](https://reader036.vdocument.in/reader036/viewer/2022062318/61190109614bb9738e604a3a/html5/thumbnails/4.jpg)
![Page 5: Modeling Heterogeneous Semantics in Ptolemy...Modeling Heterogeneous Semantics in Ptolemy with Modular Actor Interfaces Chris Shaver working with Professor Edward A. Lee Models of](https://reader036.vdocument.in/reader036/viewer/2022062318/61190109614bb9738e604a3a/html5/thumbnails/5.jpg)
![Page 6: Modeling Heterogeneous Semantics in Ptolemy...Modeling Heterogeneous Semantics in Ptolemy with Modular Actor Interfaces Chris Shaver working with Professor Edward A. Lee Models of](https://reader036.vdocument.in/reader036/viewer/2022062318/61190109614bb9738e604a3a/html5/thumbnails/6.jpg)
Reasoning About Heterogeneity
• There needs to be a way to reason about the
composition of models with different Models
of Computation.
• This is necessary for establishing a
consistent semantics for heterogeneous
systems.
• This can be used to do analyses and forms
of verification that cross the boundaries of
heterogeneous composition.
![Page 7: Modeling Heterogeneous Semantics in Ptolemy...Modeling Heterogeneous Semantics in Ptolemy with Modular Actor Interfaces Chris Shaver working with Professor Edward A. Lee Models of](https://reader036.vdocument.in/reader036/viewer/2022062318/61190109614bb9738e604a3a/html5/thumbnails/7.jpg)
Ptolemy II
• An open source research platform
for modeling systems.
• Implements an Actor Oriented
language for model development.
• Allows hierarchical design and the
heterogeneous composition of
different Models of Computation.
• ~2.5 Million Lines of Code.
• Code generation.
![Page 8: Modeling Heterogeneous Semantics in Ptolemy...Modeling Heterogeneous Semantics in Ptolemy with Modular Actor Interfaces Chris Shaver working with Professor Edward A. Lee Models of](https://reader036.vdocument.in/reader036/viewer/2022062318/61190109614bb9738e604a3a/html5/thumbnails/8.jpg)
Actors
![Page 9: Modeling Heterogeneous Semantics in Ptolemy...Modeling Heterogeneous Semantics in Ptolemy with Modular Actor Interfaces Chris Shaver working with Professor Edward A. Lee Models of](https://reader036.vdocument.in/reader036/viewer/2022062318/61190109614bb9738e604a3a/html5/thumbnails/9.jpg)
Actor Graphs
![Page 10: Modeling Heterogeneous Semantics in Ptolemy...Modeling Heterogeneous Semantics in Ptolemy with Modular Actor Interfaces Chris Shaver working with Professor Edward A. Lee Models of](https://reader036.vdocument.in/reader036/viewer/2022062318/61190109614bb9738e604a3a/html5/thumbnails/10.jpg)
Models
![Page 11: Modeling Heterogeneous Semantics in Ptolemy...Modeling Heterogeneous Semantics in Ptolemy with Modular Actor Interfaces Chris Shaver working with Professor Edward A. Lee Models of](https://reader036.vdocument.in/reader036/viewer/2022062318/61190109614bb9738e604a3a/html5/thumbnails/11.jpg)
![Page 12: Modeling Heterogeneous Semantics in Ptolemy...Modeling Heterogeneous Semantics in Ptolemy with Modular Actor Interfaces Chris Shaver working with Professor Edward A. Lee Models of](https://reader036.vdocument.in/reader036/viewer/2022062318/61190109614bb9738e604a3a/html5/thumbnails/12.jpg)
![Page 13: Modeling Heterogeneous Semantics in Ptolemy...Modeling Heterogeneous Semantics in Ptolemy with Modular Actor Interfaces Chris Shaver working with Professor Edward A. Lee Models of](https://reader036.vdocument.in/reader036/viewer/2022062318/61190109614bb9738e604a3a/html5/thumbnails/13.jpg)
Composite Actors
![Page 14: Modeling Heterogeneous Semantics in Ptolemy...Modeling Heterogeneous Semantics in Ptolemy with Modular Actor Interfaces Chris Shaver working with Professor Edward A. Lee Models of](https://reader036.vdocument.in/reader036/viewer/2022062318/61190109614bb9738e604a3a/html5/thumbnails/14.jpg)
![Page 15: Modeling Heterogeneous Semantics in Ptolemy...Modeling Heterogeneous Semantics in Ptolemy with Modular Actor Interfaces Chris Shaver working with Professor Edward A. Lee Models of](https://reader036.vdocument.in/reader036/viewer/2022062318/61190109614bb9738e604a3a/html5/thumbnails/15.jpg)
![Page 16: Modeling Heterogeneous Semantics in Ptolemy...Modeling Heterogeneous Semantics in Ptolemy with Modular Actor Interfaces Chris Shaver working with Professor Edward A. Lee Models of](https://reader036.vdocument.in/reader036/viewer/2022062318/61190109614bb9738e604a3a/html5/thumbnails/16.jpg)
![Page 17: Modeling Heterogeneous Semantics in Ptolemy...Modeling Heterogeneous Semantics in Ptolemy with Modular Actor Interfaces Chris Shaver working with Professor Edward A. Lee Models of](https://reader036.vdocument.in/reader036/viewer/2022062318/61190109614bb9738e604a3a/html5/thumbnails/17.jpg)
![Page 18: Modeling Heterogeneous Semantics in Ptolemy...Modeling Heterogeneous Semantics in Ptolemy with Modular Actor Interfaces Chris Shaver working with Professor Edward A. Lee Models of](https://reader036.vdocument.in/reader036/viewer/2022062318/61190109614bb9738e604a3a/html5/thumbnails/18.jpg)
Mathematical Representations
The fixed-point semantics of SR can be understood in
clear mathematical terms.
From "A Modular Formal Semantics for Ptolemy", Tripakis et al.
Letting
![Page 19: Modeling Heterogeneous Semantics in Ptolemy...Modeling Heterogeneous Semantics in Ptolemy with Modular Actor Interfaces Chris Shaver working with Professor Edward A. Lee Models of](https://reader036.vdocument.in/reader036/viewer/2022062318/61190109614bb9738e604a3a/html5/thumbnails/19.jpg)
Coroutine Model of Computation
"The Coroutine Model of Computation", Shaver and Lee, 2012
![Page 20: Modeling Heterogeneous Semantics in Ptolemy...Modeling Heterogeneous Semantics in Ptolemy with Modular Actor Interfaces Chris Shaver working with Professor Edward A. Lee Models of](https://reader036.vdocument.in/reader036/viewer/2022062318/61190109614bb9738e604a3a/html5/thumbnails/20.jpg)
I Conclude !
• Try out Ptolemy! It's open and free!
• Check out Modular Actor Interfaces.
• Feel free to design your systems modularly,
hierarchically, and heterogeneously.
• http://ptolemy.eecs.berkeley.edu