A characterization of passing compatibility for parameterized specifications (Q1090101)

Semantics of parameterized specifications and parameter passing may be expressed, at the model level, by means of free constructions and, at the specification level, by means of pushouts. Passing compatibility establishes the equivalence of the two semantics. In this paper, we prove that passing compatibility is almost equivalent to persistency. That is, it is proved that, except for a trivial non-interesting case ('trivial inconsistency'), passing compatibility is equivalent to persistency. This is done both for standard and parameterized parameter passing. Moreover, a stronger form of the Extension Lemma is obtained.