Foundations of Heterogeneous Specification
Foundations of Heterogeneous Specification
复制标题
异构规范的基础
DOI：
10.1007/978-3-540-40020-2_21
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
Till Mossakowski
中科院分区：
文献类型：
--
作者：
Till Mossakowski
我们为异质规范提供语义基础，不仅涉及不同的逻辑，而且还涉及这些逻辑之间的不同类型的翻译。我们表明，基于（CO）形态的跨度的Grothendieck机构可以作为一个统一的框架，为异质规范提供简单但有力的语义。
We provide a semantic basis for heterogeneous specifications that not only involve different logics, but also different kinds of translations between these. We show that Grothendieck institutions based on spans of (co)morphisms can serve as a unifying framework providing a simple but powerful semantics for heterogeneous specification.