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
|
|
|
|
