Heterogeneous colimits
Type of publication: | Inproceedings |
Citation: | CodescuEtAl08 |
Booktitle: | MoVaH'08 Workshop on Modeling, Validation and Heterogeneity |
Year: | 2008 |
Publisher: | IEEE press |
URL: | http://www.computer.org/portal... |
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. |
Userfields: | bdsk-url-1={http://www.computer.org/portal/web/csdl/abs/proceedings/icstw/2008/3388/00/3388toc.htm}, pdfurl={http://www.informatik.uni-bremen.de/~till/papers/weakcolimit.pdf}, project={I1-OntoSpace}, status={Reviewed}, |
Keywords: | |
Authors | |
Editors | |
Attachments
|
|
Notes
|
|
|
|
Topics
|
|
|