| Models | |
- Uninterpreted models
An uninterpreted model is one that does not model actual data values or data-related functionality either internally or externally. Only control information and control functionality are modeled.
- Generally used to study information flow and performance (and also known as performance models)
- Based on Petri net or queuing net theory
- Interpreted models
An interpreted model is one that models actual data values and data-related functionality and control-related functionality both internally and externally.
- Used to study function, timing, and performance from high to low abstraction levels
[Hein95]
Reprinted with permission.