• DocumentCode
    2164821
  • Title

    Heterogeneous colimits

  • Author

    Codescu, Mihai ; Mossakowski, Till

  • Author_Institution
    DFKI Lab. Bremen, Bremen
  • fYear
    2008
  • fDate
    9-11 April 2008
  • Firstpage
    131
  • Lastpage
    140
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/ICSTW.2008.20
  • Filename
    4567000
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2164821