8、面向代理 - 对象混合语言的状态控制执行

面向代理 - 对象混合语言的状态控制执行

在当今的软件开发领域，代理导向系统正吸引着越来越多的关注。这主要是因为多代理系统能够自然地表示由“智能”交互实体组成的复杂系统，而随着时间推移，系统的复杂性日益成为一个重要问题，这种表示能力无疑是非常受欢迎的助力。

复杂系统的挑战与协议工程的需求

系统变得复杂有多种原因。一方面，对扩展功能、更高可用性和直观性的需求增加了源代码的规模，进而加大了开发工作的难度。另一方面，对网络感知系统和实用程序的需求不断增长，导致在开发时应用层协议大量涌现，这又为软件工程增添了一层复杂性。

协议通常是非常复杂的软件部分，需要仔细分析和设计。目前，无论是通过非形式化的开发方法（如UML）还是形式化技术（如LOTOS、PROMELA/SPIN等），都需要更直接的协议工程流程。这些开发过程可以是对现有符号的改进、方法论的创新，甚至体现在编程语言的语法和语义中。

应用协议的现状与问题

随着终端用户应用程序的网络能力稳步提升，对能够建模、验证和开发通信协议的开发工具的需求也在增加。虽然通信协议并非新概念，几乎从计算机技术诞生之初就已存在，但在当前大多数开发方法中却很少涉及。

从严格意义上讲，协议是定义实体间通信过程的算法，通常使用基于有限状态自动机理论的特定方法和符号进行规范、分析和开发。然而，协议工程的方法超出了大多数软件开发人员的常规领域，他们更关注系统的理解、细分和实现，而非网络相关的细节。大多数协议非常复杂且功能重复，例如将数据包从A传输到B。

通常的做法是将协议开发交给协议专家，待协议规范和实现完成后，以传统的高级封装方式使用系统服务。这样，协议往往成为操作系统的底层服务，