信息流框架：一种描述性范畴元理论
网络与互联网体系结构
2011-09-05 v1 数字图书馆
范畴论
摘要
信息流框架（IFF）是一种描述性范畴元理论。它是一项基础性实验，遵循自底向上的逻辑描述方法。IFF 构成了 IEEE P1600.1 标准上层本体（SUO）项目的结构层面。IFF 的范畴论方法为对象层本体的模块化设计提供了原则性框架。IFF 表示元逻辑，因此在结构层面运作。在 IFF 中，元层与对象层之间存在精确的边界。IFF 的模块化架构由元层、命名空间和元本体组成。每个元层通过提供用于声明和公理化其下层的一种元语言来为下层服务。与元层相对应的是嵌套的元语言，其中每种元语言的公理化都包含对紧邻上层元语言的特化。在每个元层内，术语被划分到命名空间中，而各种命名空间被汇集到称为元本体的有意义的复合体中。IFF 中所有各种元本体都锚定在 IFF 元栈上。IFF 的开发在很大程度上由概念保证、范畴设计和制度逻辑的原则驱动。
引用
@article{arxiv.1108.4133,
title = {The Information Flow Framework: A Descriptive Category Metatheory},
author = {Robert E. Kent},
journal= {arXiv preprint arXiv:1108.4133},
year = {2011}
}
备注
Presented at the International Category Theory Conference (CT'04) July 18-24, 2004 at the University of British Columbia, Vancouver BC, Canada