Exemplary embodiments enable generating and propagating editing suggestions for system representations implemented in different formalisms. Exemplary embodiments enable representation of one or more portions of an underlying system in different formalisms. Exemplary embodiments automatically generate suggestions for editing a particular representation based on an analysis of the particular representation, the formalism in which the particular representation is implemented, at least one other representation of the underlying system, and the formalism in which the at least one other representation is implemented. Exemplary embodiments also generate corresponding suggestions for editing at least one other representation of the underlying system based on an analysis of the at least one other representation and the formalism in which it is implemented.