Chapter 15: Ontologies
Executable models in chapter 15:- Figure 15.8: Running an analysis. (ModelWithActorConstraints)
- Figure 15.12: Result of applying an analysis based on the ontology in Figure 15.11 to the model in Figure 15.10. (ConstAbstractInterpretation)
- Figure 15.14: A piece of a larger model that shows interesting inference of dimensions. (CarTracking)
- Figure 15.15: A model analyzing physical dimensions with too few annotations. Running the analysis reveals where additional annotations are needed. (UnderconstrainedExampleResolved)
- Figure 15.16: Adding an additional constraint allows for a complete analysis. (UnderconstrainedExampleFixed)
- Figure 15.17: An example model with conflicting dimensions due to an error in the model. Running the analysis on this model shows that the whole model is in conflict. (OverconstrainedExampleConflicts)
- With our error minimization algoritm, finding errors is easier. (OverconstrainedExampleDeltaResolved)
- Figure 15.23: An example that adds a quantity in miles per hour to one in meters per second without conversion, resulting in conflicts throughout the model. (UnitsConverterExample)
- Figure 15.24: A model that uses the UnitsConverter actor to convert from meters per second to miles per hour. (UnitsConverterExampleWithUnitsConverter