论文部分内容阅读
范畴理论为各数学学科提供了一种公共的语言、工具、思维方法和研究手段，其中作为形式结构的素描是一种基于图的规范，是形式建模和验证的有效方法．文章给出了Web导航行为的线性素描，构建一个基于范畴理论的形式模型，这一模型符合由素描所描述的要求和规范，提出了通过建立自由范畴来检验模型一致性的方法，讨论了导航模型的安全性，并给出了～些相应的安全性规则和检查方法．