Heterogeneous colimits


Colimits are a useful tool for the combination of specifications and logical theories. We generalize the notion of colimit to a heterogeneous multi-logic setting. For practically realistic cases, the notion has to be weakened. We describe an algorithm that approximates the weaker notion but obtains a colimit whenever possible. This algorithm is being… (More)
DOI: 10.1109/ICSTW.2008.20


3 Figures and Tables