New Width Inference Algorithm for Ptolemy II

Authors:
Lickly, Ben
Rodiers, Bert
Technical Report Identifier: EECS-2009-13
January 26, 2009
EECS-2009-13.pdf

Abstract: In Ptolemy II, the widths of the relations between actors have an important role in specifying the semantics of a model. In some situations, however, explicit relation widths break the modularity of a model. In these cases, we would like to infer the widths of relations from the widths of neighboring relations. There is an existing implementation in Ptolemy, but it has some severe limitations.

In this paper, we present the general needs for width inference in Ptolemy II, as well as the weaknesses of the current algorithm. We argue that a better algorithm is necessary, present a possible new algorithm, and analyze its performance over variety of metrics.