一种形式化的互联网地址机制通用框架

A Formal General Framework of Internet Address Mechanisms

地址机制作为互联网体系结构中的核心组成部分,其演进性决定了对上层网络创新应用的承载能力.传统IP地址的缺陷导致当前互联网陷入僵化,大量新型地址机制的异构性使研究者很难以统一方法论解释和把握未来互联网地址体系的演进发展.针对上述问题,通过对互联网地址机制的演化进行深入研究,抽象最小化核心特征,提出一种能够容纳异构地址策略构建乃至并存的通用框架,包括:1)完备的形式化概念模型,赋予地址常量的精确定义,并形成相关设计原则及约束规范的一致性理论基础;2)抽象多维度、可扩展的接口原语以构建3种核心交互模式,并结合通信公理化性质以及语义,构造一个地址交互过程的正确性证明框架;3)推导出通用地址引擎原型,允许灵活构建地址策略,支持异构地址机制的评估、演进以及共存,以更好地支撑互联网顶层生态的不断演化.

The address mechanism is the most essential and important part of the Internet architecture and its evolution determines the capacity of the Internet to accommodate the innovative applications.The traditional IP-based address strategy gets the current Internet into ossification which makes the architectural innovation become a consensus. Many novel address strategies make significant extensions or innovations for the traditional model but lack of common design principles and consistent expression model.It has become difficult to insight into future evolution progress of the address schemes for the diversity and heterogeneity.Moreover,we believe that a diversity address mechanism might coexist in the Internet architecture to meet the ecological evolution of network applications.To tackle the above problems,by researching the evolution of the Internet address mechanisms and abstracting a minimal architectural core,ageneral framework for accommodating the diversity and heterogeneity of various address strategies is proposed in this paper,including：1）formal and verifiable conceptual model forms a consistent theoretical framework within which the invariants and design constraints can be expressed;2）abstract multi-dimensional and extensible interface primitives and interactive patterns with the communication axioms to provide a proof framework for the Internet address schemes;3）derive working prototype implementations—Universal Engine of Address Schemes which allows us to construct the various address mechanisms with flexibility and support the evaluation,evolution and coexistence of the Internet address strategies,in order to meet the ecological evolution of network applications.