| Publication type: |
Article in Proceedings |
| Author: |
Mihai Codescu, Till Mossakowski |
| Editor: |
Frédéric Boulanger, Christophe Gaston, Pierre-Yves Schobbens |
| Title: |
Heterogeneous colimits |
| Book / Collection title: |
MoVaH'08 Workshop on Modeling, Validation and Heterogeneity |
| Year published: |
2008 |
| Publisher: |
IEEE press |
| 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. |
| Internet: |
http://www.computer.org/portal/web/csdl/abs/proceedings/icstw/2008/3388/00/3388toc.htm |
| PDF Version: |
http://www.informatik.uni-bremen.de/~till/papers/weakcolimit.pdf |
| Status: |
Reviewed |
| Last updated: |
29. 01. 2010 |
