Title :
Heterogeneous colimits
Author :
Codescu, Mihai ; Mossakowski, Till
Author_Institution :
DFKI Lab. Bremen, Bremen
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.
Keywords :
ontologies (artificial intelligence); specification languages; heterogeneous colimits; heterogeneous multi-logic setting; heterogeneous tool set; logical theories; Application software; Approximation algorithms; Computer industry; Conferences; Context modeling; Equations; Logic; Ontologies; Software testing; Software tools;
Conference_Titel :
Software Testing Verification and Validation Workshop, 2008. ICSTW '08. IEEE International Conference on
Conference_Location :
Lillehammer
Print_ISBN :
978-0-7695-3388-9
DOI :
10.1109/ICSTW.2008.20
