Heterogeneous colimits (2008)
by
Mihai Codescu
,
Till Mossakowski
| Venue: | In Workshop on Modeling, Validation and Heterogeneity |
| Citations: | 8 - 5 self |
BibTeX
@INPROCEEDINGS{Codescu08heterogeneouscolimits,
author = {Mihai Codescu and Till Mossakowski},
title = {Heterogeneous colimits},
booktitle = {In Workshop on Modeling, Validation and Heterogeneity},
year = {2008}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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 implemented as part of the Heterogeneous Tool Set HETS.
