| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
Mihai Codescu, Till Mossakowski |
| Herausgeber: |
Frédéric Boulanger, Christophe Gaston, Pierre-Yves Schobbens |
| Titel: |
Heterogeneous colimits |
| Buch / Sammlungs-Titel: |
MoVaH'08 Workshop on Modeling, Validation and Heterogeneity |
| Erscheinungsjahr: |
2008 |
| Verleger: |
IEEE press |
| Abstract / Kurzbeschreibung: |
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 |
| Letzte Aktualisierung: |
29. 01. 2010 |
